Logics in Artificial Intelligence

A Compilation of Updates plus Preferences

Pages 62-74

Alferes, José Júlio (et al.)

Towards Service Description Logics

Pages 74-85

Bonatti, Piero A.

P-$$ \mathcal{S}\mathcal{H}\mathcal{O}\mathcal{Q} $$(D): A Probabilistic Extension of $$ \mathcal{S}\mathcal{H}\mathcal{O}\mathcal{Q} $$(D) for Probabilistic Ontologies in the Semantic Web

Pages 86-97

Giugno, Rosalba (et al.)

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries

Pages 98-110

Artale, Alessandro (et al.)

Polynomial-Length Planning Spans the Polynomial Hierarchy

Pages 111-124

Turner, Hudson

Complexity of Multi-agent Systems Behavior

Pages 125-136

Dekhtyar, Michael (et al.)

Complexity and Algorithms for the Matching of Bag and Set Terms

Pages 137-148

Greco, Gianluigi (et al.)

Non-commutativity and Expressive Deductive Logic Databases

Pages 149-160

Krajči, S. (et al.)

Using Institutions for the Study of Qualitative and Quantitative Conditional Logics

Pages 161-172

Beierle, Christoph (et al.)

Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment

Pages 173-185

Dix, Jürgen (et al.)

Answer Set Planning under Action Costs

Pages 186-197

Eiter, Thomas (et al.)

On Fibring Semantics for BDI Logics

Pages 198-210

Governatori, Guido (et al.)

A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning

Pages 211-222

White, Graham

Second-Order Quantifier Elimination in Modal Contexts

Pages 223-232

Szalas, Andrzej

Interpolation Theorems for Nonmonotonic Reasoning Systems

Pages 233-244

Amir, Eyal

Minimal Answer Computation and SOL

Pages 245-258

Iwanuma, Koji (et al.)

Decidability of Interval Temporal Logics over Split-Frames via Granularity

Pages 259-270

Montanari, Angelo (et al.)

Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases

Pages 271-282

Loyer, Yann (et al.)

A Qualitative Reasoning with Nuanced Information

Pages 283-295

El-Sayed, Mazen (et al.)

Dependent and Independent Variables in Propositional Satisfiability

Pages 296-307

Giunchiglia, Enrico (et al.)

A DPLL-Based Calculus for Ground Satisfiability Modulo Theories

Pages 308-319

Tinelli, Cesare

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems

Pages 320-331

Besnard, Philippe (et al.)

Three-Valued Logics for Inconsistency Handling

Pages 332-344

Konieczny, Sébastien (et al.)

Paraconsistent Logic Programs

Pages 345-356

Alcântara, João (et al.)

Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem

Pages 357-368

Zhang, Dongmo (et al.)

Reasoning about Actions in Prioritized Default Theory

Pages 369-381

Son, Tran Cao (et al.)

Towards a Conditional Logic of Actions and Causation

Pages 382-393

Giordano, Laura (et al.)

Axiomatising Nash-Consistent Coalition Logic

Pages 394-406

Hansen, Helle Hvid (et al.)

Representing Possibilities in Relation to Constraints and Agents

Pages 407-418

Wallace, Richard J.

An Abductive Logic Programming Architecture for Negotiating Agents

Pages 419-431

Sadri, Fariba (et al.)

Preferred Answer Sets for Ordered Logic Programs

Pages 432-443

Nieuwenborgh, Davy (et al.)

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

Pages 444-456

Brewka, G. (et al.)

An Infinite-Valued Semantics for Logic Programs with Negation

Pages 456-468

Rondogiannis, Panos (et al.)

More on noMoRe

Pages 468-480

Linke, Thomas (et al.)

Answer Set Programming by Ant Colony Optimization

Pages 481-492

Nicolas, Pascal (et al.)

Testing the Equivalence of Logic Programs under Stable Model Semantics

Pages 493-504

Janhunen, Tomi (et al.)

Argumentative Reasoning with ABEL

Pages 505-508

Haenni, Rolf

COBA: A Consistency-Based Belief Revision System

Pages 509-512

Delgrande, James P. (et al.)

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems

Pages 513-516

Finkel, Raphael (et al.)

$$ \mathcal{L}\mathcal{D}\mathcal{L} - \mathcal{M}_{ine} $$ : Integrating Data Mining with Intelligent Query Answering

Pages 517-520

Giannotti, Fosca (et al.)

NoMoRe: Non-monotonic Reasoning with Logic Programs

Pages 521-524

Anger, Christian (et al.)

Process Miner — A Tool for Mining Process Schemes from Event-Based Data

Pages 525-528

Schimm, Guido

SMILES: A Multi-purpose Learning System

Pages 529-532

Estruch, V. (et al.)

The aspps System

Pages 533-536

East, Deborah (et al.)

The DLV System

Pages 537-540

Leone, Nicola (et al.)

The DLVK Planning System: Progress Report

Pages 541-544

Eiter, Thomas (et al.)

Z-log: Applying System-Z

Pages 545-548

Minock, Michael (et al.)

Hypergraph Transversal Computation and Related Problems in Logic and AI

Pages 549-564

Eiter, Thomas (et al.)

Alternation

Pages 565-565

Vardi, Moshe Y.

The USA-Advisor: A Case Study in Answer Set Programming

Pages 566-567

Gelfond, Michael