Conferences in DBLP
Francesca Rossi Representing and Reasoning with Preferences. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader Engineering of Logics for the Content-Based Representation of Information. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel Formal Methods in Robotics. [Citation Graph (0, 0)][DBLP ] Conf ] Mehdi Dastani , Leendert W. N. van der Torre Games for Cognitive Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Chopra , Eric Pacuit , Rohit Parikh Knowledge-Theoretic Properties of Strategic Voting. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Endriss , Paolo Mancarella , Fariba Sadri , Giacomo Terreni , Francesca Toni The CIFF Proof Procedure for Abductive Logic Programming with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Stijn Heymans , Davy Van Nieuwenborgh , Dirk Vermeir Hierarchical Decision Making by Autonomous Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Alberto Martelli , Camilla Schwind Verifying Communicating Agents by Model Checking in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Wölfl Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. [Citation Graph (0, 0)][DBLP ] Conf ] Nivea de C. Ferreira , Michael Fisher , Wiebe van der Hoek Practical Reasoning for Uncertain Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Natasha Alechina , Brian Logan , Mark Whitsey Modelling Communicating Agents in Timed Reasoning Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten Mariën , David Gilis , Marc Denecker On the Relation Between ID-Logic and Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory R. Wheeler , Carlos Viegas Damásio An Implementation of Statistical Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen , Emilia Oikarinen Capturing Parallel Circumscription with Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce , Agustín Valverde Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Woltran Characterizations for Relativized Notions of Equivalence in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue , Chiaki Sakama Equivalence of Logic Programs Under Updates. [Citation Graph (0, 0)][DBLP ] Conf ] Tommi Syrjänen Cardinality Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Faber , Nicola Leone , Gerald Pfeifer Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Marchioni , Lluis Godo A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Miodrag Raskovic , Zoran Ognjanovic , Zoran Markovic A Logic with Conditional Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Mateus , Amílcar Sernadas Reasoning About Quantum Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Viegas Damásio , Jesús Medina , Manuel Ojeda-Aciego Sorted Multi-adjoint Logic Programs: Termination Results and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Linh Anh Nguyen The Modal Logic Programming System MProlog. [Citation Graph (0, 0)][DBLP ] Conf ] Juan José Moreno-Navarro , Susana Muñoz-Hernández Soundness and Completeness of an "Efficient" Negation for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Cabalar , David Lorenzo Logic Programs with Functions and Default Values. [Citation Graph (0, 0)][DBLP ] Conf ] Jussi Rintanen , Keijo Heljanko , Ilkka Niemelä Parallel Encodings of Classical Planning as Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Finzi , Thomas Lukasiewicz Relational Markov Games. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Broersen On the Logic of 'Being Motivated to Achieve rho, Before delta'. [Citation Graph (0, 0)][DBLP ] Conf ] Paul E. Dunne , Wiebe van der Hoek Representation and Complexity in Boolean Games. [Citation Graph (0, 0)][DBLP ] Conf ] Paul E. Dunne , Trevor J. M. Bench-Capon Complexity in Value-Based Argument Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yevgeny Kazakov A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. [Citation Graph (0, 0)][DBLP ] Conf ] Umberto Straccia Transforming Fuzzy Description Logics into Classical Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Baris Sertkaya , Anni-Yasmin Turhan Computing the Least Common Subsumer w.r.t. a Background Terminology. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Schlobach Explaining Subsumption by Optimal Interpolation. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , Torsten Schaub Two Approaches to Merging Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Flax An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Mengin Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvie Doutre , Jérôme Mengin On Sceptical Versus Credulous Acceptance for Abstract Argument Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Tinko Tinchev Line-Based Affine Reasoning in Euclidean Plane. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet Giritli Measure Logics for Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Espen H. Lian , Tore Langholm , Arild Waaler Only Knowing with Confidence Levels: Reductions and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Bresolin , Angelo Montanari , Gabriele Puppis Time Granularities and Ultimately Periodic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo Finger Polynomial Approximations of Full Propositional Logic via Limited Bivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Peltier Some Techniques for Branch-Saturation in Free-Variable Tableaux. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Wernhard Semantic Knowledge Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Linh Anh Nguyen Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Angiulli , Gianluigi Greco , Luigi Palopoli Discovering Anomalies in Evidential Knowledge by Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Aljoscha Burchardt Logic Programming Infrastructure for Inferences on FrameNet. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Ben-Naim , Salem Benferhat , Odile Papini , Eric Würbel An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Luca Compagna , Yuliya Lierler Automatic Compilation of Protocol Insecurity Problems into Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Toni Mancini Exploiting Functional Dependencies in Declarative Problem Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Cesare Tinelli , Calogero G. Zarba Combining Decision Procedures for Sorted Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Arjen Hommersom , Peter J. F. Lucas , Michael Balser Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Doherty , Steve Kertes , Martin Magnusson , Andrzej Szalas Towards a Logical Analysis of Biochemical Pathways. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Endriss , Paolo Mancarella , Fariba Sadri , Giacomo Terreni , Francesca Toni Abductive Logic Programming with CIFF: System Description. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Costantini , Arianna Tocchio The DALI Logic Programming Agent-Oriented Language. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Padovani , Alessandro Provetti Qsmodels: ASP Planning in Interactive Gaming Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Calimeri , Giovambattista Ianni , Giuseppe Ielpa , Adriana Pietramala , Maria Carmela Santoro A System with Template Answer Set Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Calimeri , Manuela Citrigno , Chiara Cumbo , Wolfgang Faber , Nicola Leone , Simona Perri , Gerald Pfeifer New DLV Features for Data Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Bösel , Thomas Linke , Torsten Schaub Profiling Answer Set Programming: The Visualization Component of the noMoRe System. [Citation Graph (0, 0)][DBLP ] Conf ] Toshiko Wakaki , Katsumi Inoue , Chiaki Sakama , Katsumi Nitta The PLP System. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Ferreira , Ricardo Rocha The MyYapDB Deductive Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Calejo InterProlog: Towards a Declarative Embedding of Logic Programming in Java. [Citation Graph (0, 0)][DBLP ] Conf ] Rui Camacho IndLog - Induction in Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Chiara Cumbo , Salvatore Iiritano , Pasquale Rullo OLEX - A Reasoning-Based Text Classifier. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Demis Ballis , Moreno Falaschi Verdi: An Automated Tool for Web Sites Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Luca Compagna SATMC: A SAT-Based Model Checker for Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Agustín Valverde tabeql: A Tableau Based Suite for Equilibrium Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Ojeda-Aciego , Agustín Valverde tascpl: TAS Solver for Classical Propositional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 