default search action
CILC 2016: Milano, Italy
- Camillo Fiorentini, Alberto Momigliano:
Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. CEUR Workshop Proceedings 1645, CEUR-WS.org 2016
Papers
- Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini:
Labelled Variables in Logic Programming: Foundations. 5-20 - Martin Sticht:
Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling. 21-36 - Gianluca Pozzato:
ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality. 37-52 - Laura Giordano, Daniele Theseider Dupré:
Reasoning in a Rational Extension of SROEL. 53-68 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Relational Program Properties by Transforming Constrained Horn clauses. 69-85 - Giorgio Delzanno:
A Logic-based Approach to Verify Distributed Protocols. 86-101 - Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani:
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. 102-117 - Federico Bergenti, Stefania Monica, Gianfranco Rossi:
Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form. 118-131 - Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou:
Compiling and Executing PDDL in Picat. 132-147 - Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli:
Logic Programming Applied to Genome Evolution in Cancer. 148-157 - Roberto Micalizio, Gianluca Pozzato:
Typicality-based Revision for Handling Exceptions in Description Logics. 158-173 - Francesca Alessandra Lisi:
Model with DLs + Solve with ASP! - A Case Study from Concept Learning. 174-189 - Loris Bozzato:
ASP Based Generation of Information Terms for Constructive EL. 190-204 - Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco:
Reasoning in High Schools: Do it with ASP! 205-213 - Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré:
ASP for Reasoning about Actions with an EL^bot Knowledge Base. 214-229
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-12-23 19:17 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: