Two Approaches to Merging Knowledge Bases, James P. Delgrande, Torsten Schaub
Line-based affine reasoning in Euclidean plane, Philippe Balbiani, Tinko Tinchev
Representation and Complexity in Boolean Games, Paul E. Dunne, Wiebe van der Hoek
Negative Hyper-Resolution as Procedural Semantics of Disjunctive Logic Programs, Linh Anh Nguyen
Explaining Subsumption by Optimal Interpolation, Stefan Schlobach
Combining Decision Procedures for Sorted Theories, Cesare Tinelli, Calogero G. Zarba
Transforming Fuzzy Description Logics into Classical Description Logics, Umberto Straccia
Complexity in Value-Based Argument Systems, Paul E. Dunne, Trevor Bench-Capon
Reasoning about Quantum Systems, P. Mateus, A. Sernadas
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning, David Pearce, Agustin Valverde
A Polynomial Translation of the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment, Yevgeny Kazakov
Soundness and Completeness of an "Efficient" Negation for Prolog, Juan José Moreno Navarro, Susana Muñoz Hernández
An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment, Lee Flax
Polynomial Approximations of Full Propositional Logic via Limited Bivalence, Marcelo Finger
Games for Cognitive Agents, Mehdi Dastani, Leendert van der Torre
A logic for reasoning about coherent conditional probability: a modal fuzzy logic approach, Lluis Godo, Enrico Marchioni
Hierarchical Decision Making by Autonomous Agents, Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
Logic Programs with Functions and Default Values, Pedro Cabalar, David Lorenzo
Exploiting functional dependencies in declarative problem specifications, Marco Cadoli, Toni Mancini
Knowledge-theoretic properties of strategic voting, Samir Chopra, Eric Pacuit, Rohit Parikh
Meta-level Verification of the Quality of Medical Guidelines using Interactive Theorem Proving, Arjen Hommersom, Peter Lucas, Michael Balser
Towards a Logical Analysis of Biochemical Pathways, Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
Discovering Anomalies in Evidential Knowledge by Logic Programming, Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli
TimeGranularities and Ultimately Periodic Automata, Davide Bresolin, Angelo Montanari, Gabriele Puppis
Measure Logics for Spatial Reasoning, Mehmet Giritli
Parallel Encodings of Classical Planning as Satisfiability, Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
Equivalence of Logic Programs under Updates, Katsumi Inoue, Chiaki Sakama
On sceptical vs credulous acceptance for abstract argument systems, Sylvie Doutre,
Jerome Mengin
Characterizations for Relativized Notions of Equivalence in Answer Set Programming, Stefan Woltran
Verifying Communicating Agents by Model Checking in a Temporal Action Logic, Laura Giordano, Alberto Martelli, Camilla Schwind
An Answer Set Programming of Prioritized Removed Sets Revision: Application to GIS, Bennaim Jonathan, Benferhat Salem, Papini Odile, Wurbel Eric
The Modal Logic Programming System MProlog, Linh Anh Nguyen
A Logic with Conditional Probabilities, Miodrag Raskoviĉ, Zoran Ognjanoviĉ, Zoran Markoviĉ
Branch-Saturation in Free-Variable Tableaux, Nicolas Peltier
Computing the Least Common Subsumer w.r.t. a Background Terminology, Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Only Knowing: Reductions and Complexity, Espen Hallenstvedt Lian, Arild Waaler, Tore Langholm
The CIFF Proof Procedure for Abductive Logic Programming with Constraints, Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Logic Programming Infrastructure for Inferences on FrameNet, Peter Baumgartner, Aljoscha Burchardt
Practical Reasoning for Uncertain Agents, Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
Relational Markov Games, Alberto Finzi, Thomas Lukasiewicz
An Implementation of Statistical Default Logic, Gregory R. Wheeler, Carlos Damásio
Epistemic logic for rule-based agents, Natasha Alechina, Brian Logan, Mark Whitsey
Capturing Parallel Circumscription with Disjunctive Logic Programs, Tomi Janhunen, Emilia Oikarinen
Cardinality Constraint Programs, Tommi Syrjänen
Semantic Knowledge Partitioning, Christoph Wernhard
Sorted multi-adjoint logic programs: termination results with applications, Carlos V. Damásio, Jesus Medina, Manuel Ojeda-Aciego
On the relation between ID-Logic and Answer Set Programming, David Gilis, Maarten Mariën, Marc Denecker
Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency, Stefan Wölfl
Logical connectives for nonmonotonicity: A choice function-based approach, Jérôme Mengin
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
A logical analysis of temporally constrained motivational attitudes, Jan Broersen
Automatic Compilation of Protocol Insecurity Problems into Logic Programming, Alessandro Armando, Yuliya Lierler, Luca Compagna
Abductive Logic Programming with CIFF: System Description, U. Endriss, P.
Mancarella, F. Sadri, G. Terreni and F. Toni
The DALI Logic Programming Agent-Oriented Language, S. Costantini and A.
Tocchio
Qsmodels: ASP Planning in Interactive Gaming Environment, L. Padovani and
A. Provetti
A system with template answer set programs, F. Calimeri, G. Ianni, G.
Ielpa, A. Pietramala and M. C. Santoro
New DLV Features for Data Integration, F. Calimeri, M. Citrigno, C.
Cumbo, W. Faber, N. Leone, S. Perri and G. Pfeifer
Profiling Answer Set Programming: The Visualization Component of the noMoRe
System, A. Bösel, T. Linke and T. Schaub
The PLP System, T. Wakaki, K. Inoue, C. Sakama and K. Nitta
The MyYapDB Deductive Database System, M. Ferreira and R. Rocha
InterProlog: towards a declarative embedding of logic programming in Java,
M. Calejo
IndLog - Induction in Logc, R. Camacho
OLEX - A reasoning-based text classifier, C. Cumbo, S. Iiritano and P.
Rullo
Verdi: an Automated Tool for Web Sites Verification, M. Alpuente, D.
Ballis and M. Falaschi
SATMC: a SAT-based Model Checker for Security Protocols, A. Armando and
L. Compagna
tabeql: a tableau based suite for Equilibrium Logic, A. Valverde
tascpl: TAS solver for Classical Propositional Logic, M. Ojeda-Aciego and
A. Valverde