Robert Weida, Diane Litman  Home/Search
Context Related
| att.com/~diane/kr92.ps Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: att.com/~diane/krpubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Terminological systems, such as KL-ONE and K-Rep, are widely used in AI to represent and reason with concept descriptions. They compute subsumption relations between concepts and automatically classify concepts into a taxonomy. Each concept in the taxonomy describes a set of possible instances which are a superset of those described by its descendants. One limitation of current systems is their inability to handle complex compositions of concepts, such as constraint networks where... (Update)
Context of citations to this paper: More
...1992] Abstraction and de composition hierarchies can be logically formalised, as Kautz (see, e.g. Kautz, 1991] has shown. [Weida and Litman, 1992] attempt to implement such a plan representation with a KL ONE alike formalism that is extended by means for representing...
.... CAPABILITIES The way in which plan knowledge is represented in the field of user modeling (specifically in plan recognition, see e.g. [9]) is not sufficient for plan presentation purposes. One reason is that plan recognition algorithms do not have to take the relationship...
Cited by: More
Molecular Structure Databases - Darrell Conklin In (Correct)
A Framework for the Retrieval of Multimedia Objects Based on.. - Straccia (1999) (Correct)
Using Description Logics for Indexing Audiovisual Documents - Carrive, Pachet, Ronfard (1998) (Correct)
Similar documents (at the sentence level):
66.1%: Terminological Constraint Network Reasoning and its Application to .. - Weida (1993) (Correct)
11.2%: Closed Terminologies and Temporal Reasoning in Description Logic.. - Weida (1996) (Correct)
Active bibliography (related documents): More All
0.7: Subsumption and Recognition of Heterogeneous Constraint Networks - Weida, Litman (1994) (Correct)
0.3: Knowledge Representation for Plan Recognition - Weida (1995) (Correct)
0.2: Natural Conversational Interfaces to Geospatial Databases - Cai (2005) (Correct)
Similar documents based on text: More All
0.2: Towards Emotion Prediction in Spoken Tutoring Dialogues - Diane Litman Dept (Correct)
0.2: Using Terminological Knowledge Representation Languages.. - Pamela Jordan.. (Correct)
0.2: A Computational Account for a Description Logic of Time and.. - Artale, Franconi (1994) (Correct)
Related documents from co-citation: More All
13: A formal theory of plan recognition and its implementation - Kautz - 1991
12: CLASSIC: A Structural Data Model for Objects - Borgida, Brachman et al. - 1989
10: A computational account for a description logic of time and action - Artale, Franconi - 1994
BibTeX entry: (Update)
R. Weida and D. Litman. Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. In Proc. 3rd Int. Conf. Principles of Knowledge Representation and Reasoning, October 1992. http://citeseer.ist.psu.edu/weida92terminological.html More
@inproceedings{ weida92terminological,
author = "Robert Weida and Diane J. Litman",
title = "Terminological Reasoning with Constraint Networks and an Application to Plan Recognition",
booktitle = "Principles of Knowledge Representation and Reasoning",
pages = "282-293",
year = "1992",
url = "citeseer.ist.psu.edu/weida92terminological.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
702 Consistency in networks of relations (context) - Mackworth - 1977
480 An overview of the kl-one knowledge representation system (context) - Brachman, Schmolze - 1985
284 Constraint propagation algorithms for temporal reasoning: a .. (context) - Vilain, Kautz et al. - 1989
231 Classic: A structural data model for objects - Borgida, Brachman et al. - 1989
192 Plans as complex mental attitudes - Pollack - 1990
191 Algorithms for constraintsatisfaction problems: A survey - Kumar - 1992
156 Rational interaction as the basis for communication (context) - Cohen, Levesque - 1990
144 Analyzing intention in utterances (context) - Allen, Perrault - 1980
113 A plan recognition model for subdialogues in conversation (context) - Litman, Allen - 1987
111 The evolving technology of classification-based knowledge re.. (context) - MacGregor - 1991
100 Plan Recognition in Natural Language Dialogue (context) - Carberry - 1990
88 Two theses of knowledge representation: Language restriction.. - Doyle, Patil - 1991
82 Integrating metric and qualitative temporal reasoning - Kautz, Ladkin - 1991
74 The loom knowledge representation language (context) - MacGregor, Bates - 1987
74 Formulation of Tradeoffs in Planning Under Uncertainty (context) - Wellman - 1990
68 A qualitative model for space (context) - Mukerjee, Joe - 1990
67 A formal theory of plan recognition and its implementation - Kautz - 1991
66 Temporal logics in ai: Semantical and ontological considerat.. (context) - Shoham - 1987
36 A temporal terminological logic (context) - Schmiedel - 1990
36 Plan parsing for intended response recognition in discourse (context) - Sidner - 1985
28 Plan-based terminological reasoning (context) - Devanbu, Litman - 1991
24 Technische Universitat Berlin (context) - von Luck, Nebel et al. - 1987
22 Rat: Representation of actions using terminological logics (context) - Heinsohn, Kudenko et al. - 1992
12 Towards the systematic development of terminological reasone.. (context) - Borgida - 1992
10 A persistent store for large shared knowledge bases (context) - Mays, Lanka et al. - 1991
10 Clasp: Integrating term subsumption systems and production s.. - Yen, Neches et al. - 1991
8 Special Issue on Implemented Knowledge Representation and Re.. (context) - Mays, Dionne et al. - 1991
5 Important issues in knowledge representation (context) - Woods - 1986
5 An experiment in constructing an open expert system using a .. (context) - Apte, Dionne et al. - 1992
1 Forthcoming dissertation proposal (context) - Weida - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.att.com/~diane/kr-pubs.html):
Subsumption and Recognition of Heterogeneous Constraint Networks - Weida, Litman (1994) (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