Volume 9,
Number 1,
February 1999
Volume 9,
Number 2,
April 1999
Volume 9,
Number 3,
June 1999
Description Logics
- Peter F. Patel-Schneider, Marie-Christine Rousset:
Editorial: Special Issue on Description Logics.
265-266
Electronic Edition (link) BibTeX
- Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Description Logic Subsumption.
267-293
Electronic Edition (link) BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on XML Documents: A Description Logic Approach.
295-318
Electronic Edition (link) BibTeX
- Franz Baader, Ulrike Sattler:
Expressive Number Restrictions in Description Logics.
319-350
Electronic Edition (link) BibTeX
- Volker Haarslev, Carsten Lutz, Ralf Möller:
A Description Logic with Concrete Domains and a Role-forming Predicate Operator.
351-384
Electronic Edition (link) BibTeX
- Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
385-410
Electronic Edition (link) BibTeX
- Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness:
Matching in Description Logics.
411-447
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Volume 9,
Number 4,
August 1999
Volume 9,
Number 5,
October 1999
- Yde Venema:
Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes.
601-621
Electronic Edition (link) BibTeX
- Lars Karlsson, Joakim Gustafsson:
Reasoning about Concurrent Interaction.
623-650
Electronic Edition (link) BibTeX
- Jürg Kohlas, Rolf Haenni, Serafín Moral:
Propositional Information Systems.
651-681
Electronic Edition (link) BibTeX
- Reinhard Kahle:
Frege Structures for Partial Applicative Theories.
683-700
Electronic Edition (link) BibTeX
- Marcos A. Castilho, Olivier Gasquet, Andreas Herzig:
Formalizing Action and Change in Modal Logic I: the frame problem.
701-735
Electronic Edition (link) BibTeX
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Declarative PTIME Queries for Relational Databases using Quantifier Elimination.
737-758
Electronic Edition (link) BibTeX
- Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
A Theory and Implementation of Cognitive Mobile Robots.
759-785
Electronic Edition (link) BibTeX
Volume 9,
Number 6,
December 1999
- Fernando Tohmé, Tuomas Sandholm:
Coalition Formation Processes with Belief Revision among Bounded-rational Self-interested Agents.
793-815
Electronic Edition (link) BibTeX
- Shai Berger, Daniel J. Lehmann, Karl Schlechta:
Preferred History Semantics for Iterated Updates.
817-833
Electronic Edition (link) BibTeX
- Valérie Gouranton, Daniel Le Métayer:
Dynamic Slicing: a generic analysis based on a natural semantics format.
835-871
Electronic Edition (link) BibTeX
- Salem Benferhat, Didier Dubois, Henri Prade:
Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases.
873-895
Electronic Edition (link) BibTeX
- Maarten Marx, Mark Reynolds:
Undecidability of Compass Logic.
897-914
Electronic Edition (link) BibTeX
- A. A. Arratia-Quesada, S. R. Chauhan, Iain A. Stewart:
Hierarchies in Classes of Program Schemes.
915-957
Electronic Edition (link) BibTeX
- Raymond Turner:
Sets, Types and Type-checking.
959-975
Electronic Edition (link) BibTeX
- Arnon Avron:
On the Expressive Power of Three-Valued and Four-Valued Languages.
977-994
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:13:04 2009
by Michael Ley (ley@uni-trier.de)
