Jennifer Elgot-Drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis  Home/Search
Context
Related
| umd.edu/pub/papers/pa...CSTR4072.ps.Z umd.edu/Library/TRs/C...CSTR4072.ps.Z 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: umd.edu/TRs/TRumiacs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Artificial intelligence research falls roughly into two categories: formal and implementational. This division is not completely firm: there are implementational studies based on (formal or informal) theories (e.g., CYC, SOAR, OSCAR), and there are theories framed with an eye toward implementability (e.g., predicate circumscription). Nevertheless, formal /theoretical work tends to focus on very narrow problems (and even on very special cases of very narrow problems) while trying to get them... (Update)
Similar documents (at the sentence level):
9.0%: Presentations and This and That: Logic in Action - Miller, Perlis (1994) (Correct)
8.2%: Reasoning Situated in Time I: Basic Concepts - Elgot-Drapkin, Perlis (1990) (Correct)
Active bibliography (related documents): More All
2.2: Active Logics: A Unified Formal Approach to Episodic.. - Elgot-Drapkin, Kraus, .. (Correct)
0.8: Stop the World - I Want to Think - Perlis, Elgot-Drapkin, al. (1991) (Correct)
0.6: Step-logic and the Three-wise-men Problem - Elgot-Drapkin (1991) (Correct)
Similar documents based on text: More All
0.7: Thinking Takes Time: A Modal Active-logic for Reasoning IN.. - Nirkhe, Kraus, Perlis (1994) (Correct)
0.7: Calibrating, Counting, Grounding, Grouping* - Jennifer Elgot-Drapkin Diana (Correct)
0.6: Calibrating, Counting, Grounding, Grouping - Elgot-Drapkin, Miller, Gordon.. (1994) (Correct)
BibTeX entry: (Update)
@techreport{ elgotdrapkin99active,
author = "Jennifer Elgot-Drapkin and Sarit Kraus and Michael Miller and Madhura Nirkhe and Donald Perlis",
title = "Active Logics: {A} Unified Formal Approach to Episodic Reasoning",
number = "CS-TR-4072",
year = "1999",
url = "citeseer.ist.psu.edu/235125.html" }
Citations (may not include all citations):1364 A robust layered control system for a mobile robot (context) - Brooks - 1986
759 Negation as failure (context) - Clark - 1978
604 Reasoning about knowledge (context) - Fagin, Halpern et al. - 1995
458 Intelligence without reason - Brooks - 1991
444 Towards a general theory of action and time (context) - Allen - 1984
402 An analysis of time-dependent planning (context) - Dean, Boddy - 1988
334 A truth maintenance system (context) - Doyle - 1979
227 Harvard University Press (context) - Fodor, of - 1979
188 Knowledge in Flux: Modeling the Dynamics of Epistemic States (context) - Gardenfors - 1988
125 An assumption-based TMS (context) - deKleer - 1986
115 Coordination of Distributed Problem Solvers (context) - Durfee - 1988
113 Cambridge University Press (context) - Chellas - 1980
102 Readings in Nonmonotonic Reasoning (context) - Ginsberg - 1987
89 Deliberation scheduling for problem solving in time-constrai.. (context) - Boddy, Dean - 1994
86 Rationality and its roles in reasoning - Doyle - 1992
67 Intention is choice with commitment (context) - Cohen, Levesque - 1990
58 in and J. Halpern. Belief, awareness, and limited reasoning (context) - Fag - 1988
51 Anytime deduction for probabilistic logic - Frisch, Haddawy - 1994
49 An analysis of problems and research in DAI (context) - Bond, Gasser - 1988
42 A simple solution to the Yale Shooting Problem - Baker - 1989
38 A survey of research in deliberative real-time artificial in.. - Garvey, Lesser - 1994
33 Autoepistemic logic and formalization of common-sense reason.. (context) - Gelfond - 1988
33 Some theories of reasoned assumptions: An essay in rational .. - Doyle - 1982
29 Artificial intelligence and rational self-government - Doyle - 1988
28 A nonstandard approach to the logical omniscience problem - Fagin, Halpern et al. - 1995
24 Reasoning situated in time I: Basic concepts (context) - Elgot-Drapkin, Perlis - 1990
20 Step-logic: Reasoning Situated in Time (context) - Elgot-Drapkin - 1988
18 Coordination without communication: Experimental validation .. (context) - Fenster, Kraus et al. - 1995
13 the logic of theory change (context) - Alchourron, Gardenfors et al. - 1985
10 A preliminary excursion into step-logics (context) - Drapkin, Perlis - 1986
9 Step-logics: An alternative approach to limited reasoning (context) - Drapkin, Perlis - 1986
9 Artificial Believers: The Ascription of Belief (context) - Ballim, Wilks - 1991
8 Department of Computer Science (context) - Drapkin, Perlis et al. - 1986
7 Many agents are better than one (context) - Georgeff - 1987
7 Step-logic and the three-wise-men problem (context) - Elgot-Drapkin - 1991
5 Life on a desert island: Ongoing work on real-time reasoning (context) - Elgot-Drapkin, Miller et al. - 1987
4 RABIT: A spreading activation approach to real-time commonse.. (context) - Gary - 1993
4 RABIT: Bridging formal and implementational approaches to co.. (context) - Gary, Elgot-Drapkin - 1996
3 A real-time solution to the wise-men problem (context) - Elgot-Drapkin - 1991
3 A modal active logic with focus of attention for reasoning i.. - Globerman, Kraus
2 Reasoning situated in time II: The three-wise-men problem (context) - Elgot-Drapkin - 1996
2 An epistemological science of comon sense (context) - Giunchiglia - 1995
Documents on the same site (http://www.cs.umd.edu/TRs/TRumiacs.html): More
ViPEr-HiSS: A Case for Storage Design Tools - Golubchik, Dunnick, Hollingsworth (Correct)
SHOE: A Knowledge Representation Language for Internet.. - Heflin, Hendler, Luke (1999) (Correct)
Probabilistic Object Bases - Eiter, Lu, Lukasiewicz, Subrahmanian (2001) (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