James F. Allen, Bradford W. Miller  Home/Search
Context
Related
| rochester.edu/pub/packa...shocker.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: mcc.com/projects/c3/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The SHOCKER system is a knowledge representation tool that is intended to support the development of advanced prototype natural language understanding and planning systems. It is what is currently called a "hybrid" representation, which consists of a set of separately defined specialized reasoning systems that are presented to the user within a single uniform framework. It can be used as a Horn clause based theorem proving system, or it can be used as a rich frame-based representation, or used... (Update)
Active bibliography (related documents): More All
1.7: The SHOCKER System: A Sequence of Self-Guided Tutorials - Allen, Miller (1993) (Correct)
0.3: Higher-Order Substitution Tree Indexing - Pientka (2003) (Correct)
0.1: Intelligent Backtracking in the Echidna Constraint Logic.. - Havens (1992) (Correct)
Similar documents based on text: More All
2.2: The Design of Mona Specifications Hierarchy - Marin (1997) (Correct)
1.9: The Fourth Generation Make - Fowler (1985) (Correct)
1.9: Conveying Problem Structure from an Algebraic Modeling Language .. - Fourer, Gay (Correct)
BibTeX entry: (Update)
@misc{ allen-shocker,
author = "James F. Allen and Bradford W. Miller",
title = "The SHOCKER System: A Sequence of Self-Guided Tutorials",
url = "citeseer.ist.psu.edu/allen93shocker.html" }
Citations (may not include all citations):440 The Art of Prolog (context) - Sterling, Shapiro - 1986
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
75 Reasoning about knowledge and action (context) - Moore - 1985
71 KRYPTON: A functional approach to knowledge representation (context) - Brachman, Fikes et al. - 1983
43 On knowing what to say: Planning speech acts (context) - Cohen - 1978
35 A syntactic theory of belief and action (context) - Haas - 1986
25 Digital Press (context) - Jr, Lisp - 1990
22 Semantics for propositional attitudes (context) - Hintikka - 1969
9 A computational theory of belief introspection (context) - Konolige - 1985
9 An overview of KRL: A knowledge representation language (context) - Bobrow, Winograd - 1977
3 An Overview of AProlog (context) - Nadathur, Miller - 1988
2 The SHOCKER knowledge representation system ref- erence manu.. (context) - Miller - 1993
2 SHOCKER Programmer's Guide (context) - Miller - 1993
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