default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCILC 2010: Rende, Italy
- Wolfgang Faber, Nicola Leone:
Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010. CEUR Workshop Proceedings 598, CEUR-WS.org 2010
Technical Session 1
- Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based Protein Fragment Assembly. - Marco Alberti, Marco Gavanelli, Evelina Lamma:
Runtime Addition of Integrity Constraints in SCIFF. - 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. - Stefania Costantini, Alessio Paolucci:
Towards Translating Natural Language Sentences into ASP. - Simona Perri, Francesco Ricca, Marco Sirianni:
Parallel Instantiation in DLV. - 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. - Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma:
Probabilistic Logic-Based Process Mining.
Technical Session 6
- Stefano Bistarelli, Daniele Pirolandi, Francesco Santini:
Solving Weighted Argumentation Frameworks with Soft Constraints. - Francesco Mele, Antonio Sorgente, Giuseppe Vettigli:
Evoluzioni di Ontologie in Frame Logic. - Onofrio Febbraro, Kristian Reale, Francesco Ricca:
A Visual Interface for Drawing ASP Programs. - Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise:
Team-building with Answer Set Programming in the Gioia-Tauro Seaport.
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-19 22:20 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:
