Olivier Brunet  Home/Search
Context
Related
| exmo.inrialpes.fr/people...IMLA2002.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: exmo.inrialpes.fr/people/obrun... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we introduce and explore ways to include a notion of partiality of information in knowledge representation formalisms. This leads to the definition of an algebraic structure based on observation and partial representation, and to the study of the logical behaviour of those structures, with the characterization of a new modal logic called OL. (Update)
Active bibliography (related documents): More All
2.0: A Modal Logic for Observation-Based Knowledge Representation - Brunet (2002) (Correct)
0.0: Linear Structures for Concurrency in Probabilistic.. - Di Pierro, Wiklicky (2001) (Correct)
0.0: A Model for Knowledge Representation in Distributed Systems - Brunet (2002) (Correct)
Similar documents based on text: More All
0.1: A Lazy Approach to Partial Algebras - Cerioli (1995) (Correct)
0.1: Quantifiers and Partiality - van Eijck (1995) (Correct)
0.0: Phenomena of Autonomy with Explanations in Introspective Language - Löfgren (Correct)
BibTeX entry: (Update)
@misc{ brunet-modal,
author = "Olivier Brunet",
title = "A Modal Logic for Observation-Based Knowledge Representation",
url = "citeseer.ist.psu.edu/brunet02modal.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995 ACM
113 Cambridge University Press (context) - Chellas, Logic et al. - 1980
107 A New Introduction to Modal Logic (context) - Hughes, Cresswell - 1996
35 Domain Theory and the Logic of Observable Properties (context) - Abramsky - 1987
34 Intuitionism: An Introduction (context) - Heyting - 1956
2 Proof Methods for Modal and Intuitionnistic Logics (context) - Fitting - 1983
2 A Model for Knowledge Representation in Distributed Systems - Brunet - 2001
2 Intuitionnistic Logic (context) - van Dalen - 1986
2 Topology via Logics Number 6 in Cambridge Tracts in Theoreti.. (context) - Vickers - 1989
Documents on the same site (http://exmo.inrialpes.fr/people/obrunet/): More
Lattice Approach to Classifications - Brunet (2002) (Correct)
Classifications et Treillis - Brunet (2002) (Correct)
A Model for Knowledge Representation in Distributed Systems - Brunet (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC