Abstract is missing.
- Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi ScrittiMichele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi. [doi]
- Runtime Addition of Integrity Constraints in SCIFFMarco Alberti, Marco Gavanelli, Evelina Lamma. [doi]
- A Transformation Strategy for Verifying Logic Programs on Infinite ListsAlberto Pettorossi, Maurizio Proietti, Valerio Senni. [doi]
- Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and LindaAgostino Dovier, Andrea Formisano, Enrico Pontelli. [doi]
- Parallel Instantiation in DLVSimona Perri, Francesco Ricca, Marco Sirianni. [doi]
- Reasoning about Actions with Temporal Answer SetsLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. [doi]
- An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient ImplementationFabrizio Riguzzi, Terrance Swift. [doi]
- Constraints among Commitments: Regulative Specification of Interaction ProtocolsMatteo Baldoni, Cristina Baroglio, Elisa Marengo. [doi]
- CLP-based Protein Fragment AssemblyAlessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli. [doi]
- Team-building with Answer Set Programming in the Gioia-Tauro SeaportGiovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise. [doi]
- Evoluzioni di Ontologie in Frame LogicFrancesco Mele, Antonio Sorgente, Giuseppe Vettigli. [doi]
- Dual Tableau-based Decision Procedures for Some Relational LogicsDomenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska. [doi]
- Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational EntailmentLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. [doi]
- Probabilistic Logic-Based Process MiningElena Bellodi, Fabrizio Riguzzi, Evelina Lamma. [doi]
- Generalization Strategies for the Verification of Infinite State SystemsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. [doi]
- A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map ConstructsDomenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. [doi]
- A Visual Interface for Drawing ASP ProgramsOnofrio Febbraro, Kristian Reale, Francesco Ricca. [doi]
- A Constructive Conditional Logic for Access ControlValerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato. [doi]
- Optimized Encodings for Consistent Query Answering via ASP from Different PerspectivesMarco Manna, Francesco Ricca, Giorgio Terracina. [doi]
- Towards Translating Natural Language Sentences into ASPStefania Costantini, Alessio Paolucci. [doi]
- Solving Weighted Argumentation Frameworks with Soft ConstraintsStefano Bistarelli, Daniele Pirolandi, Francesco Santini. [doi]