Sven-Erik Bornscheuer, Michael Thielscher  Home/Search
Context Related
Links: ACM DBLP | ki.inf.tudresden.de/~mit/pu...KI94.pdf 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: ki.inf.tudresd...deredabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As an extension of the well--known Action Description language introduced by M. Gelfond and V. Lifschitz [7], C. Baral and M. Gelfond recently defined the dialect which allows the description of concurrent actions [1]. Also, a sound but incomplete encoding of by means of an extended logic program was presented there. In this paper, we work on interpretations of contradictory inferences from partial action descriptions. Employing an interpretation di#erent from the one implicitly... (Update)
Context of citations to this paper: More
.... credulous agents depending on whether they believe a fluent if it holds in each or only one successor situation, respectively [11, 7] In [5] it was shown how the approach can be extended to parallel actions. In particular, if concurrently executed actions yield conflicting...
...based approach. Analogously, we have integrated another extension of the Action Description Language dealing with concurrent actions [6, 9]. Moreover, in [53] the Action Description Language is related to E. Sandewall s so called Ego World Semantics [45, 46] which...
Cited by: More
The Logic of Dynamic Systems - Thielscher (1995) (Correct)
Computing Ramifications by Postprocessing - Thielscher (1995) (Correct)
Deductive Plan Generation - Bibel, Thielscher (1994) (Correct)
Similar documents (at the sentence level):
22.2%: Representing Concurrent Actions and Solving Conflicts - Bornscheuer, Thielscher (1996) (Correct)
5.6%: Explicit and Implicit Indeterminism: Reasoning About.. - Bornscheuer, Thielscher (1997) (Correct)
5.6%: Massively Parallel Reasoning about Actions - Bornscheuer, Seiler (1996) (Correct)
Active bibliography (related documents): More All
0.4: Representing Actions in Equational Logic Programming - Thielscher (1994) (Correct)
0.3: Actions and Specificity - Hölldobler, Thielscher (1993) (Correct)
0.3: Computing Change and Specificity with Equational Logic.. - Hölldobler, Thielscher (Correct)
Similar documents based on text: More All
0.4: What Is A Skeptical Proof? - Thielscher (1995) (Correct)
0.4: The Role of Automated Deduction in Intellectics - Bibel, Thielscher (Correct)
0.4: Towards Efficient Calculi for Resource-Oriented Deductive Planning - Brüning (1993) (Correct)
Related documents from co-citation: More All
13: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
11: Representing Concurrent Actions in Extended Logic Programming (context) - Baral, Gelfond - 1993
9: Computing Change and Specificity with Equational Logic Programs (context) - Holldobler, Thielscher - 1995
BibTeX entry: (Update)
S.-E. Bornscheuer and M. Thielscher. Representing Concurrent Actions and Solving Conflicts. Journal of the IGPL, 4(3):355--368, 1996. ISSN 0945--9103. http://citeseer.ist.psu.edu/bornscheuer94representing.html More
@inproceedings{ bornscheuer94representing,
author = "Sven-Erik Bornscheuer and Michael Thielscher",
title = "Representing Concurrent Actions and Solving Conflicts",
booktitle = "{KI} - Kunstliche Intelligenz",
pages = "16-27",
year = "1994",
url = "citeseer.ist.psu.edu/bornscheuer94representing.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
759 Negation as Failure (context) - Clark - 1978
256 Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993 DBLP
111 A Deductive Solution for Plan Generation (context) - Bibel - 1986 ACM DBLP
79 Representing Concurrent Actions in Extended Logic Programmin.. (context) - Baral, Gelfond - 1993 DBLP
77 Representing Incomplete Knowledge in Abductive Logic Program.. - Denecker, de Schreye - 1993 ACM DBLP
71 Concurrent Actions in the Situation Calculus (context) - Lin, Shoham - 1992 DBLP
70 Soundness and Completeness Theorems for Three Formalizations.. - Kartha - 1993
65 A New Deductive Approach to Planning (context) - Holldobler, Schneeberger - 1990 ACM DBLP
43 Representing Actions in Logic Programming and its Applicatio.. (context) - Dung - 1993 ACM DBLP
32 Computing Change and Specificity with Equational Logic Progr.. (context) - Holldobler, Thielscher - 1994 DBLP
31 Representing Actions in Equational Logic Programming - Thielscher - 1994 ACM DBLP
30 The range of applicability of nonmonotonic logics for the in.. (context) - Sandewall - 1993 DBLP
27 Technical Report LiTH-IDA-R (context) - Sandewall, Fluents - 1992
23 SLDNF-Resolution with Equality (context) - Shepherdson - 1992 ACM DBLP
21 Actions and Specificity - Holldobler, Thielscher - 1993 ACM DBLP
15 Equational Logic Programming (context) - Groe, Holldobler et al. - 1992 ACM DBLP
7 A theory of complete logic programs with equality (context) - Ja, Lassez et al. - 1984
2 Propositional State-Event Logic (context) - Groe
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ki.inf.tu-dresden.de/~mit/publications/conferences/ordered-abstracts.html): More
Addressing the Qualification Problem in FLUX - Martin, Thielscher (2001) (Correct)
Inferring Implicit State Knowledge and Plans with Sensing Actions - Thielscher (Correct)
Actions and Specificity - Hölldobler, Thielscher (1993) (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