Conferences in DBLP
Saso Dzeroski From Inductive Logic Programming to Relational Data Mining. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä Answer Set Programming: A Declarative Approach to Solving Search Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov Inconsistencies in Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Aleksic , Anatoli Degtyarev On Arbitrary Selection Strategies for Basic Superposition. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Federico Banti , Antonio Brogi An Event-Condition-Action Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Ofer Arieli , Marc Denecker , Maurice Bruynooghe Distance-Based Repairs of Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bolotov , Artie Basukoski , Oleg Grigoriev , Vasilyi Shangin Natural Deduction Calculus for Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Broersen , Andreas Herzig , Nicolas Troquard A STIT-Extension of ATL. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Cabalar , Sergei P. Odintsov , David Pearce , Agustín Valverde On the Logic and Computation of Partial Equilibrium Models. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Calimeri , Susanna Cozza , Giovambattista Ianni Decidable Fragments of Logic Programming with Value Invention. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Caminada On the Issue of Reinstatement in Argumentation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Esra Erdem , Michael Fink , Ján Senko Comparing Action Descriptions Based on Semantic Preferences. [Citation Graph (0, 0)][DBLP ] Conf ] Ulle Endriss , Eric Pacuit Modal Logics of Negotiation and Preference. [Citation Graph (0, 0)][DBLP ] Conf ] Esra Erdem , Alfredo Gabaldon Representing Action Domains with Numeric-Valued Fluents. [Citation Graph (0, 0)][DBLP ] Conf ] Christian G. Fermüller , Reinhard Pichler Model Representation over Finite and Infinite Signatures. [Citation Graph (0, 0)][DBLP ] Conf ] Silvio Ghilardi , Enrica Nicolini , Silvio Ranise , Daniele Zucchelli Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Valentina Gliozzi , Nicola Olivetti , Gian Luca Pozzato Analytic Tableau Calculi for KLM Rational Logic R. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Greco , Irina Trubitsyna , Ester Zumpano On the Semantics of Logic Programs with Preferences. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Herzig , Ivan José Varzinczak A Modularity Approach for a Fragment of ALC . [Citation Graph (0, 0)][DBLP ] Conf ] Luke Hunsberger Whatever You Say. [Citation Graph (0, 0)][DBLP ] Conf ] Yulia Korukhova Automatic Deductive Synthesis of Lisp Programs in the System ALISA. [Citation Graph (0, 0)][DBLP ] Conf ] Zhangang Lin , Yue Ma , Zuoquan Lin A Fault-Tolerant Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter Reasoning About Actions Using Description Logics with General TBoxes. [Citation Graph (0, 0)][DBLP ] Conf ] Emiliano Lorini , Andreas Herzig , Cristiano Castelfranchi Introducing Attempt in a Modal Logic of Intentional Action. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander V. Lyaletski , Boris Konev On Herbrand's Theorem for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick Maier , Donald Nute Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Modgil Hierarchical Argumentation. [Citation Graph (0, 0)][DBLP ] Conf ] Cláudia Nalon , Clare Dixon Anti-prenexing and Prenexing for Modal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Linh Anh Nguyen A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC . [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Martine De Cock , Dirk Vermeir Fuzzy Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Nittka Reasoning About an Agent Based on Its Revision History with Missing Inputs. [Citation Graph (0, 0)][DBLP ] Conf ] Guilin Qi , Weiru Liu , David A. Bell Knowledge Base Revision in Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Emad Saad Incomplete Knowledge in Hybrid Probabilistic Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fariba Sadri , Francesca Toni A Formal Analysis of KGP Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Ján Sefránek Irrelevant Updates and Nonmonotonic Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] Umberto Straccia Towards Top-k Query Answering in Description Logics: The Case of DL-Lite. [Citation Graph (0, 0)][DBLP ] Conf ] Joost Vennekens , Marc Denecker , Maurice Bruynooghe Representing Causal Information About a Probabilistic Process. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Bryant , Paul Krause , Sotiris Moschoyiannis A Tool to Facilitate Agent Deliberation. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Bryant , Paul Krause An Implementation of a Lightweight Argumentation Engine for Agent Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Michael Fink , Ján Senko A Tool for Answering Queries on Action Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Patrick Traxler , Stefan Woltran An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Fonseca , Fernando M. A. Silva , Rui Camacho April - An Inductive Logic Programming System. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia , Marco Maratea optsat: A Tool for Solving SAT Related Optimization Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Ullrich Hustadt , Dmitry Tishkovsky , Frank Wolter , Michael Zakharyaschev Automated Reasoning About Metric and Topology. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Narizzano , Luca Pulina , Armando Tacchella The QBFEVAL Web Portal. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Ochoa , Josep Silva , Germán Vidal A Slicing Tool for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Oetsch , Martina Seidl , Hans Tompits , Stefan Woltran ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Ruffolo , Marco Manna , Lorenzo Gallucci , Nicola Leone , Domenico Saccà A Logic-Based Tool for Semantic Information Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Soler-Toscano , Ángel Nepomuceno-Fernández : Tableaux and Resolution for Finite Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] 