Practical reasoning for very expressive description

, &
Logic Journal of the IGPL 8 (3):239-263 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Practical reasoning for very expressive description logics.I. Horrocks, U. Sattler & S. Tobies - 2000 - Logic Journal of the IGPL 8 (3):239-263.
Zenon Bankowski, Ian White, and Ulrike Hahn, Informatics and the Foundations of Legal Reasoning.Trevor J. M. Bench-Capon - 1999 - Artificial Intelligence and Law 7 (4):363-365.
International Conference on Formal and Applied Practical Reasoning.[author unknown] - 1995 - Logic Journal of the IGPL 3 (1):153-154.
Simple Reasoning with Time-Dependent Propositions.Maroua Bouzid & Peter Ladkin - 2002 - Logic Journal of the IGPL 10 (4):379-399.
Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8. [REVIEW]Xavier Parent - 2005 - Logic Journal of the IGPL 13 (3):353-359.
Review: Relation algebras by games Robin Hirsch, Ian Hodkinson: Relation algebras by games. [REVIEW]Roger Maddux - 2003 - Logic Journal of the IGPL 11 (5):577-581.
Practical reasoning about knowledge states for open world planning with sensing.Tamara Babaian & James G. Schmolze - 2009 - Journal of Applied Non-Classical Logics 19 (1):7-41.
Relative expressive power of navigational querying on graphs using transitive closure.Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren & Yuqing Wu - 2015 - Logic Journal of the IGPL 23 (5):759-788.
A hybrid qualitative approach for relative movements.Joanna Golińska-Pilarek & Emilio Muñoz-Velasco - 2015 - Logic Journal of the IGPL 23 (3):410-420.
Bisimulation, modal logic and model checking games.C. Stirling - 1999 - Logic Journal of the IGPL 7 (1):103-124.

Analytics

Added to PP
2014-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references