Volume 9, Number 1, February 1999

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

Volume 9, Number 2, April 1999

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

Volume 9, Number 3, June 1999

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

Volume 9, Number 4, August 1999

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

Volume 9, Number 5, October 1999

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

Volume 9, Number 6, December 1999

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

last updated on Sat May 18 06:27:40 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page