CILC 2010: Rende, Italy
Wolfgang Faber, Nicola Leone (Eds.): Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR-WS.org 2010 CEUR Workshop Proceedings 598
Technical Session 1
- Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based Protein Fragment Assembly.
- Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda.
- Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Constraints among Commitments: Regulative Specification of Interaction Protocols.
Technical Session 2
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: A Transformation Strategy for Verifying Logic Programs on Infinite Lists.
- Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Generalization Strategies for the Verification of Infinite State Systems.
- Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi: Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti.
Technical Session 3
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.
- Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A Constructive Conditional Logic for Access Control.
- Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska: Dual Tableau-based Decision Procedures for Some Relational Logics.
- Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo: A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs.
Technical Session 4
- Marco Manna, Francesco Ricca, Giorgio Terracina: Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives.
- Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about Actions with Temporal Answer Sets.
Technical Session 5
- Fabrizio Riguzzi, Terrance Swift: An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation.
Technical Session 6
- Stefano Bistarelli, Daniele Pirolandi, Francesco Santini: Solving Weighted Argumentation Frameworks with Soft Constraints.
- Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise: Team-building with Answer Set Programming in the Gioia-Tauro Seaport.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team