The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CILC"( http://dblp.L3S.de/Venues/CILC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cilc

Publication years (Num. hits)
2010 (22) 2011 (29) 2012 (21) 2013 (23) 2014 (30) 2015 (21) 2016 (16) 2018-2019 (55)
Publication types (Num. hits)
inproceedings(208) proceedings(9)
Venues (Conferences, Journals, ...)
CILC(217)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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