Journal of Logic and Computation, Volume 9

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 update Thu May 23 19:14:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page