CILC2010, XXV Italian Conference on Computational Logic
http://www.mat.unical.it/CILC2010
Accepted papers:
- “CLP-based Protein Fragment Assembly” Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
- “Runtime Addition of Integrity Constraints in SCIFF” Marco Alberti, Marco Gavanelli, Evelina Lamma
- “Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda” Agostino Dovier, Andrea Formisano, Enrico Pontelli
- “Constraints among Commitments: Regulative Specification of Interaction Protocols” Matteo Baldoni, Cristina Baroglio, Elisa Marengo
- “A Transformation Strategy for Verifying Logic Programs on Infinite Lists” Alberto Pettorossi, Maurizio Proietti, Valerio Senni
- “Generalization Strategies for the Verification of Infinite State Systems” Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
- “Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti” Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi
- “Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment” Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
- “A Constructive Conditional Logic for Access Control” Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
- “Dual Tableau-based Decision Procedures for Some Relational Logics” Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska=
- “A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs” Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
- “Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives” Marco Manna, Francesco Ricca, Giorgio Terracina
- “Towards Translating Natural Language Sentences into ASP” Stefania Costantini, Alessio Paolucci
- “Parallel Instantiation in DLV” Simona Perri, Francesco Ricca, Marco Sirianni
- “Reasoning about Actions with Temporal Answer Sets” Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
- “An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation” Fabrizio Riguzzi, Terrance Swift
- “Probabilistic Logic-Based Process Mining” Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
- “Solving Weighted Argumentation Frameworks with Soft Constraints” Stefano Bistarelli, Daniele Pirolandi, Francesco Santini
- “Evoluzioni di Ontologie in Frame Logic” Francesco Mele, Antonio Sorgente, Giuseppe Vettigli
- “A Visual Interface for Drawing ASP Programs” Onofrio Febbraro, Kristian Reale, Francesco Ricca
- “Team-building with Answer Set Programming in the Gioia-Tauro Seaport” Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise