Robert (Tony) Weida  Home/Search
Context Related
| dfki.unisb.de/~bauer/IJC...weida.ps.gz 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: dfki.unisb.de/~bauer/workshop (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction My background is in knowledge representation, especially description logic [ Brachman and Schmolze, 1985; Woods, 1991; Woods and Schmolze, 1992 ] . In particular, my work with the k-rep system has focused on practical applications such as expert systems and computer system configuration, as well as issues of persistence, scalability and collaboration [ Mays et al., 1991a; 1991b; Weida, 1995 ] . For context, this position paper begins with a brief review of my work on plan... (Update)
Context of citations to this paper: More
.... and predictive plan recognition are both implemented in the t rex system [Weida 8 and Litman, 1992; Weida and Litman, 1994; Weida, 1995b] To date, t rex is the only system to harness a description logic system, a choice of either k rep or classic [Borgida et al. 1989]...
...to that specialization. More recently, researchers have developed representational systems based on description logic[WL92b, WL92a, DEW92, Wei95, DiE95]. For example, Weida and Litman[WL92a, Wei95] developed an automatic classification system that incorporates temporal...
Cited by: More
Representing a Robotic Domain Using Temporal Description Logics - Artale, Franconi (1999) (Correct)
Exploiting Focal Points Among Alternative Solutions: Two.. - Kraus, al. (Correct)
Plan Recognition: Achievements, Problems, and Prospects - Carberry (Correct)
Similar documents (at the sentence level):
7.4%: Closed Terminologies and Temporal Reasoning in Description Logic.. - Weida (1996) (Correct)
Active bibliography (related documents): More All
0.4: Terminological Constraint Network Reasoning and its Application to .. - Weida (1993) (Correct)
0.3: Terminological Reasoning with Constraint Networks and an.. - Weida, Litman (1992) (Correct)
0.2: Subsumption and Recognition of Heterogeneous Constraint Networks - Weida, Litman (1994) (Correct)
Similar documents based on text: More All
0.7: REX: Secure, modular remote execution through file .. - Kaminsky.. (Correct)
0.5: P.rex: An Interactive Proof Explainer - Fiedler (2001) (Correct)
0.4: Closed Terminologies in Description Logics - Weida (1996) (Correct)
Related documents from co-citation: More All
5: Taxonomic plan reasoning (context) - Devanbu, Litman - 1996
4: A formal theory of plan recognition and its implementation - Kautz - 1991
3: Decidable reasoning in terminological knowledge representation systems - Buchheit, Donini et al. - 1993
BibTeX entry: (Update)
R. Weida. Knowledge representation for plan recognition. In The Next Generation of Plan Recognition Systems: Challenges for and Insight from Related Areas of AI, pages 119--123, Montreal, Canada, 1995. http://citeseer.ist.psu.edu/weida95knowledge.html More
@misc{ weida95knowledge,
author = "R. Weida",
title = "Knowledge representation for plan recognition",
text = "R. Weida. Knowledge representation for plan recognition. In The Next Generation
of Plan Recognition Systems: Challenges for and Insight from Related Areas
of AI, pages 119--123, Montreal, Canada, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/weida95knowledge.html" }
Citations (may not include all citations):480 An overview of the kl-one knowledge representation system (context) - Brachman, Schmolze - 1985
231 Classic: A structural data model for objects - Borgida, Brachman et al. - 1989
88 A bayesian model of plan recognition (context) - Charniak, Goldman - 1993
82 Integrating metric and qualitative temporal reasoning - Kautz, Ladkin - 1991
74 Formulation of Tradeoffs in Planning Under Uncertainty (context) - Wellman - 1990
68 Understanding subsumption and taxonomy: A framework for prog.. (context) - Woods - 1991
67 A formal theory of plan recognition and its implementation - Kautz - 1991
64 Computing least common subsumers in description logics - Cohen, Borgida et al. - 1992
41 Terminological reasoning with constraint networks and an app.. - Weida, Litman - 1992
31 A computational account for a description logic of time and .. - Artale, Franconi - 1994
28 Plan-based terminological reasoning (context) - Devanbu, Litman - 1991
24 Computers and Mathematics with Applications (context) - Woods, Schmolze et al. - 1992
23 An application of terminological logics to case-based reason.. - Koehler - 1994
22 Rat: Representation of actions using terminological logics (context) - Heinsohn, Kudenko et al. - 1992
11 Subsumption and recognition of heterogeneous constraint netw.. - Weida, Litman - 1994
10 A persistent store for large shared knowledge bases (context) - Mays, Lanka et al. - 1991
8 Special Issue on Implemented Knowledge Representation and Re.. (context) - Mays, Dionne et al. - 1991
6 Plan recognition in understanding instructions (context) - DiEugenio, Webber - 1992
1 Closed-world reasoning and temporal reasoning in description.. (context) - Weida - 1995
Documents on the same site (http://www.dfki.uni-sb.de/~bauer/workshop.html): More
Planning Text Interactively Using Plan Recognition - Haller (1995) (Correct)
Multi-agent Protocol Recognition during Simulation - Eliot, Woolf (Correct)
Plan Recognition and Natural Language Understanding - Di Eugenio (1995) (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