default search action
34th CILC 2019: Trieste, Italy
- Alberto Casagrande, Eugenio G. Omodeo:
Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. CEUR Workshop Proceedings 2396, CEUR-WS.org 2019
Tutorials
- Agostino Dovier:
The SATisfiability problem and its impact. 1 - Enrico Pontelli:
Multi-Agent Epistemic Planning. 2 - Angelo Montanari:
Model Checking: The Interval Way. 3
Session 1: Analysis and Verification of Programs
- Alberto Momigliano, Mario Ornaghi:
The Blame Game for Property-based Testing. 4-13
Session 2a: Knowledge Representation and Reasoning Languages
- Stefania Costantini, Andrea Formisano:
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. 14-29 - Faranak Sobhani, Umberto Straccia:
Towards a Forensic Event Ontology to Assist Video Surveillance-based Vandalism Detection. 30-47 - Abdullah Khan, Luciano Serafini, Loris Bozzato, Beatrice Lazzerini:
Event Detection from Video Using Answer Set Programing. 48-58 - Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino:
An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania. 59-67 - Laura Giordano, Valentina Gliozzi:
Strengthening the Rational Closure for Description Logics: An Overview. 68-81
Session 2b: Computational Logics and Formal Methods in AI
- Francesca Alessandra Lisi:
Logics in Machine Learning and Data Mining: Achievements and Open Issues. 82-88 - Federico Bergenti, Stefania Monica:
Simple and Effective Sign Consistency Using Interval Arithmetic. 89-103 - Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo:
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? 104-122 - Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo:
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. 123-137
Ambassador Talk
- Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri:
DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics. 138-146
Session 3: Tools and Applications
- Gian Luca Pozzato, Gabriele Soriano:
PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper). 147-156 - Antonio Lieto, Federico Perrone, Gian Luca Pozzato:
GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper). 157-166 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Empowering ASPQ to Win in QBFEval 2018. 167-178 - Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris:
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. 179-192 - Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi:
A Tool For Ranking Arguments Through Voting-Games Power Indexes. 193-201 - Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma:
KRaider: a Crawler for Linked Data. 202-216
Session 4a: Multi-Agent Systems
- Stefania Costantini, Valentina Pitoni:
Reasoning about Memory Management in Resource-Bounded Agents. 217-228 - Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. 229-241 - Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli:
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. 242-259
Session 4b: Databases
- Francesco Di Cosmo:
FO Queries Strongly Distributing over Components in Arbitrary Cardinality. 260-268 - Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
An Infrastructure for Multi-shot Reasoning with Incremental Grounding. 269-278
Session 5: Answer Sets
- Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Computing Modular Paracoherent Answer Sets: Preliminary Result. 279-288 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Debugging of Answer Set Programs Using Paracoherent Reasoning. 289-299 - Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi:
Learning Answer Set Programming Rules For Ethical Machines. 300-315 - Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis
, Agostino Dovier, Enrico Pontelli:
Towards Distributed Computation of Answer Sets. 316-326 - Alice Tarzariol:
Evolution of Algorithm Portfolio for Solving Strategies. 327-341
CILC 2019 also featured presentations of the following papers
- Ezgi Iraz Su:
Epistemic Answer Set Programming: A New Perspective. CILC 2019 - Laura Giordano, Alberto Policriti:
Extending ALC with the power-set construct. CILC 2019 - Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. CILC 2019 - Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - Lorenzo De Lauretis, Stefania Costantini:
An Ontology to Improve the First Aid Service Quality. CILC 2019 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. CILC 2019 - Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
An ASP-based Approach for Optimizing DLV Evaluation. CILC 2019 - Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Large Scale DLV: Preliminary Results. CILC 2019 - Andrea Marin, Carla Piazza, Sabina Rossi:
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. CILC 2019 - Matteo Baldoni, Cristina Baroglio, Roberto Micalizio:
Accountability, Responsibility and Robustness in Agent Organizations. CILC 2019
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 2025-02-20 00:33 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: