Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cilc/cilc2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/cilc/AlbertiGS14,
author = {Francesco Alberti and
Silvio Ghilardi and
Natasha Sharygina},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A Framework for the Verification of Parameterized Infinite-State Systems},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {303--308},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short0.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AlbertiGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AnconaBFMT14,
author = {Davide Ancona and
Daniela Briola and
Amal El Fallah Seghrouchni and
Viviana Mascardi and
Patrick Taillibert},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Exploiting Prolog for Projecting Agent Interaction Protocols},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {30--45},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AnconaBFMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AngelisFPP14,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Program Verification using Constraint Handling Rules and Array Constraint
Generalizations},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {114--131},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BenedettiBP14,
author = {Irene Benedetti and
Stefano Bistarelli and
Paolo Piersanti},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {On Relating Voting Systems and Argumentation Frameworks},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {309--313},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BenedettiBP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BonattiSP14,
author = {Piero A. Bonatti and
Luigi Sauro and
Iliana M. Petrova},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A Mechanism for Ontology Confidentiality},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {147--161},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BonattiSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BozzatoES14,
author = {Loris Bozzato and
Thomas Eiter and
Luciano Serafini},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Defeasibility in Contextual Reasoning with {CKR}},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {132--146},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BozzatoES14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BresolinMS14,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A First Study of the Horn Fragment of the Modal Logic of Time Intervals},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {314--318},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BresolinMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BriolaMA14,
author = {Daniela Briola and
Viviana Mascardi and
Davide Ancona},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Distributed Runtime Verification of {JADE} and Jason Multiagent Systems
with Prolog},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {319--323},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BriolaMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneAO14,
author = {Domenico Cantone and
Marianna Nicolosi Asmundo and
Ewa Orlowska},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A Dual Tableau-based Decision Procedure for a Relational Logic with
the Universal Relation},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {194--209},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneAO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CantoneLA14,
author = {Domenico Cantone and
Cristiano Longo and
Marianna Nicolosi Asmundo},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Herbrand-Satisfiability of a Quantified Set-theoretical Fragment},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {162--177},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CantoneLA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CeterchiOT14,
author = {Rodica Ceterchi and
Eugenio G. Omodeo and
Alexandru I. Tomescu},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {The Representation of Boolean Algebras in the Spotlight of a Proof
Checker},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {287--301},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CeterchiOT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ColucciGDS14,
author = {Simona Colucci and
Silvia Giannini and
Francesco M. Donini and
Eugenio Di Sciascio},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Finding Commonalities in Linked Open Data},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {324--329},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ColucciGDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CombiS14,
author = {Carlo Combi and
Pietro Sala},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Keeping Interval-Based Functional Dependencies Up-to-Date},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {330--334},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CombiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniF14,
author = {Stefania Costantini and
Andrea Formisano},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Query Answering in Resource-Based Answer Set Semantics},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {69--83},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniG14,
author = {Stefania Costantini and
Giovanni De Gasperis},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of
Logical Agent Systems},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {241--255},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CostantiniR14,
author = {Stefania Costantini and
R{\'{e}}gis Riveret},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Complex Events and Actions in Logical Agents},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {256--271},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CostantiniR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Dovier14,
author = {Agostino Dovier},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Set Graphs {VI:} Logic Programming and Bisimulation},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {14--29},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Dovier14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Ferilli14,
author = {Stefano Ferilli},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Toward an Improved Downward Refinement Operator for Inductive Logic
Programming},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {99--113},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Ferilli14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/FerrariFF14,
author = {Mauro Ferrari and
Camillo Fiorentini and
Guido Fiorino},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {JTabWb: a Java Framework for Implementing Terminating Sequent and
Tableau Calculi},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {46--53},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/FerrariFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GavanelliMBCMC14,
author = {Marco Gavanelli and
Michela Milano and
Stefano Bragaglia and
Federico Chesani and
Elisa Marengo and
Paolo Cagnoli},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Multi-Criteria Optimal Planning for Energy Policies in {CLP}},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {54--68},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GavanelliMBCMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/JosephKS14,
author = {Mathew Joseph and
Gabriel M. Kuper and
Luciano Serafini},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Query Answering over Contextualized {RDF} Knowledge with Forall-Existential
Bridge Rules: Attaining Decidability Using Acyclicity},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {210--224},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/JosephKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/KakasTM14,
author = {Antonis C. Kakas and
Francesca Toni and
Paolo Mancarella},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Argumentation for Propositional Logic and Nonmonotonic Reasoning},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {272--286},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/KakasTM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/LisiE14,
author = {Francesca Alessandra Lisi and
Floriana Esposito},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Semantic Web Services for Integrated Tourism in the Apulia Region},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {178--193},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/LisiE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MicalizioP14,
author = {Roberto Micalizio and
Gianluca Pozzato},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Revising Description Logic Terminologies to Handle Exceptions: a First
Step},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {225--240},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MicalizioP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MontaliCG14,
author = {Marco Montali and
Diego Calvanese and
Giuseppe De Giacomo},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Specification and Verification of Commitment-Regulated Data-Aware
Multiagent Systems},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {84--98},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MontaliCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/NoiaMS14,
author = {Tommaso Di Noia and
Marina Mongiello and
Eugenio Di Sciascio},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {A Computational Model for Mapreduce Job Flow},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {335--340},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/NoiaMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/OmodeoPPT14,
author = {Eugenio G. Omodeo and
Carla Piazza and
Alberto Policriti and
Alexandru I. Tomescu},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Hyper-Extensionality and One-Node Elimination on Membership Graphs},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {341--346},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/OmodeoPPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Rosati14,
author = {Riccardo Rosati},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Tractable Approaches to Consistent Query Answering in Ontology-Based-Data
Access},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {12},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Rosati14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Toni14,
author = {Francesca Toni},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {From Logic Programming to Argumentation and Back},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {11},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/invited1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Toni14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2014,
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195},
urn = {urn:nbn:de:0074-1195-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 17:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
