default search action
CILC 2013: Catania, Italy
- Domenico Cantone, Marianna Nicolosi Asmundo:
Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. CEUR Workshop Proceedings 1068, CEUR-WS.org 2013
Abstracts of Invited Talks and Tutorial
- Maria Paola Bonacina:
On Model-Based Reasoning: Recent Trends and Current Developments. 9 - Eugenio G. Omodeo:
Proof Verification within Set Theory. 11 - Alberto Policriti:
On the Decidability of the ∃*∀* Prefix Class in Set Theory. 13 - Joanna Golinska-Pilarek:
Relational Dual Tableaux: Foundations and Applications. 15-16
Long presentations
- Stefania Costantini, Andrea Formisano:
Negation as a Resource: a Novel View on Answer Set Semantics. 17-31 - Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi:
A Description Logics Tableau Reasoner in Prolog. 33-47 - Nicola Olivetti, Gian Luca Pozzato:
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. 49-63 - Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano:
Focusing on Contraction. 65-81 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Transforming Constraint Logic Programs. 83-98 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Semantics for Rational Closure: Preliminary Results. 99-113 - Fabio Leuzzi, Stefano Ferilli:
Reasoning by Analogy Using Past Experiences. 115-129 - Fulvio Rotella, Stefano Ferilli:
Probabilistic Abductive Logic Programming using Possible Worlds. 131-145 - Paolo Gentilini, Maurizio Martelli:
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. 147-162 - Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@ASP: Experimenting with GPGPUs in ASP solving. 163-177 - Francesca Alessandra Lisi, Umberto Straccia:
Dealing with Incompleteness and Vagueness in Inductive Logic Programming. 179-193 - Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli:
Constraint and Optimization techniques for supporting Policy Making. 195-209 - Gianfranco Rossi, Federico Bergenti:
Nondeterministic Programming in Java with JSetL. 211-226
Short Presentations
- Pierpaolo Calligaris, Eugenio G. Omodeo, Alexandru I. Tomescu:
A Proof-checking Experiment on Representing Graphs as Membership Digraphs. 227-233 - Alberto Policriti:
Encodings of Sets and Hypersets. 235-240 - Stefano Bistarelli, Fabio Rossi, Francesco Santini:
A First Comparison of Abstract Argumentation Systems: A Computational Perspective. 241-245 - Fabrizio Smith, Dario De Sanctis, Maurizio Proietti:
A Platform for Managing Business Process Knowledge Bases via Logic Programming. 247-251 - Stefania Costantini, Giovanni De Gasperis, Niva Florio, Claudia Zuppella:
An ASP-based System for Preference Handling and Planning. 253-257
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.
last updated on 2024-11-19 20:33 CET 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: