| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ezgi Iraz Su |
Epistemic Answer Set Programming: A New Perspective.  |
CILC  |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma |
KRaider: a Crawler for Linked Data. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Alberto Casagrande, Eugenio G. Omodeo (eds.) |
Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Abdullah Khan, Luciano Serafini, Loris Bozzato, Beatrice Lazzerini |
Event Detection from Video Using Answer Set Programing. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Marco Alberti 0001, Evelina Lamma |
Accountable Protocols in Abductive Logic Programming. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Antonio Lieto, Federico Perrone, Gian Luca Pozzato |
GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper). |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri |
DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Alberto Momigliano, Mario Ornaghi |
The Blame Game for Property-based Testing. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo |
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio |
Accountability, Responsibility and Robustness in Agent Organizations. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Policriti |
Extending ALC with the power-set construct. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Debugging of Answer Set Programs Using Paracoherent Reasoning. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Francesco Pacenza, Jessica Zangari |
An Infrastructure for Multi-shot Reasoning with Incremental Grounding. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Francesca Alessandra Lisi |
Logics in Machine Learning and Data Mining: Achievements and Open Issues. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Valentina Pitoni |
Reasoning about Memory Management in Resource-Bounded Agents. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Gian Luca Pozzato, Gabriele Soriano |
PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper). |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli |
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Alice Tarzariol |
Evolution of Algorithm Portfolio for Solving Strategies. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Angelo Montanari |
Model Checking: The Interval Way. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Faloci, Francesco Santini 0001, Carlo Taticchi |
A Tool For Ranking Arguments Through Voting-Games Power Indexes. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo |
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Luca Ciccone, Angelo Ferrando 0001, Davide Ancona, Viviana Mascardi |
Timed Trace Expressions. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Faranak Sobhani, Umberto Straccia |
Towards a Forensic Event Ontology to Assist Video Surveillance-based Vandalism Detection. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo De Lauretis, Stefania Costantini |
An Ontology to Improve the First Aid Service Quality. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Computing Modular Paracoherent Answer Sets: Preliminary Result. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Model Completeness, Covers and Superposition (Abridged Version). |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Federico Bergenti, Stefania Monica |
Simple and Effective Sign Consistency Using Interval Arithmetic. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier |
The SATisfiability problem and its impact. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Enrico Pontelli |
Multi-Agent Epistemic Planning. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli |
Towards Distributed Computation of Answer Sets. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Francesco Di Cosmo |
FO Queries Strongly Distributing over Components in Arbitrary Cardinality. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Gian Luca Pozzato |
On Probabilities of Exceptions in Description Logics of Typicality. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Giovanni De Gasperis |
Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pietro Sala |
An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Forward Countermodel Construction in Modal Logic K. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC (Extended Abstract). |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Paolo Felli, Marco Montali (eds.) |
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Antonio Lieto, Gian Luca Pozzato, Alberto Valese |
COCOS: a typicality based COncept COmbination System. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Laura Pandolfo, Luca Pulina, Marek Zielinski |
ARKIVO: an Ontology for Describing Archival Resources. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Francesco Komauli, Alberto Momigliano |
Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001 |
2D object reconstruction with ASP. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi |
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Eugenio G. Omodeo |
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Abeer Dyoub, Valentina Pitoni |
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection. |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verifying Relational Program Properties by Transforming Constrained Horn clauses. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Pozzato |
ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roberto Micalizio, Gianluca Pozzato |
Typicality-based Revision for Handling Exceptions in Description Logics. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupré |
ASP for Reasoning about Actions with an EL^bot Knowledge Base. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini |
Labelled Variables in Logic Programming: Foundations. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno |
A Logic-based Approach to Verify Distributed Protocols. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco |
Reasoning in High Schools: Do it with ASP! |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Francesca Alessandra Lisi |
Model with DLs + Solve with ASP! - A Case Study from Concept Learning. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Federico Bergenti, Stefania Monica, Gianfranco Rossi |
Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Daniele Theseider Dupré |
Reasoning in a Rational Extension of SROEL. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou |
Compiling and Executing PDDL in Picat. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Martin Sticht |
Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani |
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Loris Bozzato |
ASP Based Generation of Information Terms for Constructive EL. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Alberto Policriti, Enrico Pontelli |
Logic Programming Applied to Genome Evolution in Cancer. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Camillo Fiorentini, Alberto Momigliano (eds.) |
Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando 0001, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella |
Computational thinking for beginners: A successful experience using Prolog. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri |
How Answer Set Programming can help in digital forensic investigation. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Luca Vallata, Eugenio G. Omodeo |
A Diophantine representation of Wolstenholme's pseudoprimality. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani |
Ontoceramic: an OWL ontology for ceramics classification. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nicola Olivetti, Gian Luca Pozzato |
A natural sequent calculus for Lewis' logic of counterfactuals. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti |
A case study on graph-based planning for emergency evacuation. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Andrea Pazienza, Floriana Esposito, Stefano Ferilli |
An authority degree-based evaluation strategy for abstract argumentation frameworks. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota |
Abductive logic programming for Datalog +/- ontologies. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu, Camillo Tidore |
Leveraging semantic web technologies for analysis of crime in social science. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001, Carlo Taticchi |
Towards visualising security with arguments. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Vadim Malvone, Aniello Murano, Loredana Sorrentino |
Games with additional winning strategies. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Evaluating compliance: from LTL to abductive logic programming. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Angelo Ferrando 0001 |
Parametric protocol-driven agents and their integration in JADE. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Gian Luca Pozzato |
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio |
Leveraging commitments and goals in agent interaction. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Cristina Civili, Riccardo Rosati 0001 |
On the first-order rewritability of conjunctive queries over binary guarded existential rules. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Andrea Corradi, Federico Frassetto |
Infinite derivations as failures. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Davide Ancona, Marco Maratea, Viviana Mascardi (eds.) |
Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu 0004, Jacopo Mauro |
SUNNY for algorithm selection: a preliminary study. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Francesca Alessandra Lisi, Corrado Mencar |
Towards fuzzy granulation in OWL ontologies. |
CILC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Irene Benedetti, Stefano Bistarelli, Paolo Piersanti |
On Relating Voting Systems and Argumentation Frameworks. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli |
Multi-Criteria Optimal Planning for Energy Policies in CLP. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
A Framework for the Verification of Parameterized Infinite-State Systems. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Rodica Ceterchi, Eugenio G. Omodeo, Alexandru I. Tomescu |
The Representation of Boolean Algebras in the Spotlight of a Proof Checker. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert |
Exploiting Prolog for Projecting Agent Interaction Protocols. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Francesca Alessandra Lisi, Floriana Esposito |
Semantic Web Services for Integrated Tourism in the Apulia Region. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Giovanni De Gasperis |
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo |
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Daniela Briola, Viviana Mascardi, Davide Ancona |
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Simona Colucci, Silvia Giannini 0001, Francesco M. Donini, Eugenio Di Sciascio |
Finding Commonalities in Linked Open Data. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mathew Joseph, Gabriel M. Kuper, Luciano Serafini |
Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001 |
Query Answering in Resource-Based Answer Set Semantics. |
CILC |
2014 |
DBLP BibTeX RDF |
|
| 1 | Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco |
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. |
CILC |
2014 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license