Journal: Journal of Logic and Computation

Volume 9, Issue 6

793 -- 815Fernando Tohmé, Tuomas Sandholm. Coalition Formation Processes with Belief Revision among Bounded-rational Self-interested Agents
817 -- 833Shai Berger, Daniel J. Lehmann, Karl Schlechta. Preferred History Semantics for Iterated Updates
835 -- 871Valérie Gouranton, Daniel Le Métayer. Dynamic Slicing: a generic analysis based on a natural semantics format
873 -- 895Salem Benferhat, Didier Dubois, Henri Prade. Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases
897 -- 914Maarten Marx, Mark Reynolds. Undecidability of Compass Logic
915 -- 957A. A. Arratia-Quesada, S. R. Chauhan, Iain A. Stewart. Hierarchies in Classes of Program Schemes
959 -- 975Raymond Turner. Sets, Types and Type-checking
977 -- 994Arnon Avron. On the Expressive Power of Three-Valued and Four-Valued Languages

Volume 9, Issue 5

601 -- 621Yde Venema. Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes
623 -- 650Lars Karlsson, Joakim Gustafsson. Reasoning about Concurrent Interaction
651 -- 681Jürg Kohlas, Rolf Haenni, Serafín Moral. Propositional Information Systems
683 -- 700Reinhard Kahle. Frege Structures for Partial Applicative Theories
701 -- 735Marcos A. Castilho, Olivier Gasquet, Andreas Herzig. Formalizing Action and Change in Modal Logic I: the frame problem
737 -- 758Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas. Declarative PTIME Queries for Relational Databases using Quantifier Elimination
759 -- 785Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati. A Theory and Implementation of Cognitive Mobile Robots

Volume 9, Issue 4

457 -- 462Karl Schlechta. A Topological Construction of a Non-smooth Model of Cumulativity
463 -- 500Ulrich Hensel, Bart Jacobs. Coalgebraic Theories of Sequences in PVS
501 -- 513J. W. Rosenthal, J. W. Plotkin, J. Franco. The Probability of Pure Literals
515 -- 562Antonis C. Kakas, Francesca Toni. Computing Argumentation in Logic Programming
563 -- 592Michael Wooldridge, Nicholas R. Jennings. The Cooperative Problem-solving Process

Volume 9, Issue 3

265 -- 266Peter F. Patel-Schneider, Marie-Christine Rousset. Editorial: Special Issue on Description Logics
267 -- 293Ian Horrocks, Peter F. Patel-Schneider. Optimizing Description Logic Subsumption
295 -- 318Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Representing and Reasoning on XML Documents: A Description Logic Approach
319 -- 350Franz Baader, Ulrike Sattler. Expressive Number Restrictions in Description Logics
351 -- 384Volker Haarslev, Carsten Lutz, Ralf Möller. A Description Logic with Concrete Domains and a Role-forming Predicate Operator
385 -- 410Ian Horrocks, Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies
411 -- 447Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness. Matching in Description Logics
449 -- 456Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty. Report on the 1998 International Workshop on Description Logics (DL 98)

Volume 9, Issue 2

135 -- 147Orna Kupferman. Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions
149 -- 179Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro. Fibring of Logics as a Categorial Construction
181 -- 195Zoran Ognjanovic, Miodrag Raskovic. Some Probability Logics with New Types of Probability Operators
197 -- 214Maarten Marx. Complexity of Products of Modal Logics
215 -- 261Hadassa Jakobovits, Dirk Vermeir. Robust Semantics for Argumentation Frameworks

Volume 9, Issue 1

3 -- 6Dov M. Gabbay. What s on My Mind..
7 -- 24Antonio Brogi, Simone Contiero, Franco Turini. Programming by Combining General Logic Programs
25 -- 45Dov M. Gabbay, Rolf Nossum, Michael Thielscher. Agents in Proactive Environments
47 -- 61Robert F. Stärk. A Direct Proof of the Completeness of SLDNF-Resolution
63 -- 80D. Walton. Applying Labelled Deductive Systems and Multi-Agent Systems to Source-Based Argumentation
81 -- 103Luca Boldrin, Alessandro Saffiotti. A Modal Logic for Fusing Partial Belief of Multiple Reasoners
105 -- 130Zhaohui Luo. Coercive Subtyping