Wolfgang Bibel, Michael Thielscher  Home/Search
Context
Related
| pikas.inf.tudresden.de/~mi...AISB95.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: pikas.inf.tudr...deredabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: undamental. Resource-sensitivity is an important aspect of reasoning about actions and change [9, 10]. A straightforward use of classical logic lacks the essential property that facts describing a world state may change in the course of time. To overcome this problem, the truth value of a particular fact has to be associated with a particular state. This solution brings on the famous technical frame problem [11]. In [1, 4, 5, 6] we have developed the linear connection method for solving the... (Update)
Active bibliography (related documents): More All
0.8: Non-Classical Automated Deduction - Bibel, Thielscher (1996) (Correct)
0.3: Deductive Plan Generation - Bibel, Thielscher (1994) (Correct)
0.3: Prioritized Default Theories: a new characterization. - Benhammadi, Nicolas (Correct)
Similar documents based on text: More All
0.4: What Is A Skeptical Proof? - Michael Thielscher Fg (Correct)
0.4: Representing Concurrent Actions and Solving Conflicts - Bornscheuer, Thielscher (1994) (Correct)
0.3: Spatial Reasoning and Connectionist Inference - Beringer, Hölldobler, Kurfeß (1993) (Correct)
BibTeX entry: (Update)
@misc{ bibel-role,
author = "Wolfgang Bibel and Michael Thielscher",
title = "The Role of Automated Deduction in Intellectics",
url = "citeseer.ist.psu.edu/289803.html" }
Citations (may not include all citations):850 A Logic for Default Reasoning (context) - Reiter - 1980
304 A framework for representing knowledge (context) - Minsky - 1975
163 Application of theorem proving to problem solving (context) - Green - 1969
142 Automated Theorem Proving (context) - Bibel - 1987
111 A Deductive Solution for Plan Generation (context) - Bibel - 1986
90 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
16 Plan generation by linear proofs: on semantics (context) - Bibel, nas et al. - 1989
16 Disjunction in Resource-Oriented Deductive Planning (context) - Bruning, Holldobler et al. - 1993
16 Disjunction in Resource-Oriented Deductive Planning (context) - Bruning, Holldobler et al. - 1994
16 Deduction: Automated Logic (context) - Bibel - 1993
11 Default Reasoning by Deductive Planning (context) - Thielscher, Schaub - 1995
8 Skeptical Query-Answering in Constrained Default Logic - Schaub, Thielscher - 1995
6 Reasoning Agents in a Dynamic World : The Frame Problem (context) - Ford, Hayes - 1991
6 Resources---Solving Simple Frame Problems (context) - Holldobler, Thielscher - 1995
5 On Deductive Planning and the Frame Problem - Holldobler - 1992
3 A computational approach to default logics (context) - Rothschild, Schaub - 1993
Documents on the same site (http://pikas.inf.tu-dresden.de/~mit/publications/misc/ordered-abstracts.html): More
Non-Classical Automated Deduction - Bibel, Thielscher (1996) (Correct)
From Situation Calculus To Fluent Calculus: A New Motivation - Thielscher (1998) (Correct)
Skeptical Query-Answering in Constrained Default Logic - Torsten Schaub (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