![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
CILC 2014: Torino, Italy
- Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CEUR Workshop Proceedings 1195, CEUR-WS.org 2014
Abstracts of invited talks
- Francesca Toni:
From Logic Programming to Argumentation and Back. 11 - Riccardo Rosati:
Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access. 12
Full papers
- Agostino Dovier:
Set Graphs VI: Logic Programming and Bisimulation. 14-29 - Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert:
Exploiting Prolog for Projecting Agent Interaction Protocols. 30-45 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. 46-53 - Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli:
Multi-Criteria Optimal Planning for Energy Policies in CLP. 54-68 - Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. 69-83 - Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. 84-98 - Stefano Ferilli:
Toward an Improved Downward Refinement Operator for Inductive Logic Programming. 99-113 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. 114-131 - Loris Bozzato, Thomas Eiter, Luciano Serafini:
Defeasibility in Contextual Reasoning with CKR. 132-146 - Piero A. Bonatti, Luigi Sauro, Iliana M. Petrova:
A Mechanism for Ontology Confidentiality. 147-161 - Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo:
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. 162-177 - Francesca Alessandra Lisi, Floriana Esposito:
Semantic Web Services for Integrated Tourism in the Apulia Region. 178-193 - Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. 194-209 - Mathew Joseph, Gabriel M. Kuper, Luciano Serafini:
Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. 210-224 - Roberto Micalizio, Gianluca Pozzato:
Revising Description Logic Terminologies to Handle Exceptions: a First Step. 225-240 - Stefania Costantini, Giovanni De Gasperis:
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems. 241-255 - Stefania Costantini, Régis Riveret:
Complex Events and Actions in Logical Agents. 256-271 - Antonis C. Kakas, Francesca Toni, Paolo Mancarella:
Argumentation for Propositional Logic and Nonmonotonic Reasoning. 272-286 - Rodica Ceterchi, Eugenio G. Omodeo, Alexandru I. Tomescu:
The Representation of Boolean Algebras in the Spotlight of a Proof Checker. 287-301
Short papers
- Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
:
A Framework for the Verification of Parameterized Infinite-State Systems. 303-308 - Irene Benedetti, Stefano Bistarelli, Paolo Piersanti:
On Relating Voting Systems and Argumentation Frameworks. 309-313 - Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. 314-318 - Daniela Briola, Viviana Mascardi, Davide Ancona:
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. 319-323 - Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio:
Finding Commonalities in Linked Open Data. 324-329 - Carlo Combi, Pietro Sala:
Keeping Interval-Based Functional Dependencies Up-to-Date. 330-334 - Tommaso Di Noia, Marina Mongiello, Eugenio Di Sciascio:
A Computational Model for Mapreduce Job Flow. 335-340 - Eugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu:
Hyper-Extensionality and One-Node Elimination on Membership Graphs. 341-346
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.