J. LOGIC PROGRAMMING 1994:19, 20:1-679 Fangzhen Lin and Ray Reiter We...  Home/Search
Context Related
| toronto.edu/pub/cogrob/lp.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: cs.ust.hk/~flin/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we propose a novel semantics for logic programs in the situation calculus. One of the advantages of our proposal is that like Clark's completion semantics, it is explicitly formulated in classical logic. For this reason, it is suitable for proving properties of logic programs such as the correctness of various program transformation operators. (Update)
Context of citations to this paper: More
...potential of TL (or some of its cousins) as a future logic programming language. Some step into such a direction has already been made in [LR97] 8 The case for logic Intellectics as well as computer science are general disciplines whose generic methods turn out to be...
.... program, and construct the basic action theory for the resulting cut free program in the situation calculus according to (Lin and Reiter [3]) We then formalize the effects of cut by adding to the basic action theory a situation calculus sentence that characterizes the set of...
Cited by: More
Using Criticalities as a Heuristic for Answer Set - Programming Orkunt Sabuncu (Correct)
Specification of Nonmonotonic Reasoning - Engelfriet, Treur (Correct)
A Situation Calculus Semantics for the Prolog Cut Operator - Lin (1995) (Correct)
Similar documents (at the sentence level):
9.5%: Scheduling in the Situation Calculus: A Case Study - Reiter, Yuhua (1997) (Correct)
7.8%: GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter.. (1997) (Correct)
Active bibliography (related documents): More All
0.1: How to Progress a Database - Lin, Reiter (1997) (Correct)
0.1: Bottom-up Evaluation and Query Optimization of.. - Kemp, Srivastava, Stuckey (1995) (Correct)
0.1: Logic Programming and Negation: A Survey - Apt, Bol (1994) (Correct)
Similar documents based on text: More All
0.1: Reasoned Assumptions and Rational Psychology - Doyle (1994) (Correct)
0.1: Nonmonotonity in Linguistics - Is Ti Cs (Correct)
0.1: Defeasible Reasoning with Legal Rules in a Deontic Logic.. - Royakkers, Dignum (Correct)
Related documents from co-citation: More All
6: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
4: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
4: A Deductive Solution for Plan Generation (context) - Bibel - 1986
BibTeX entry: (Update)
F. Lin and R. Reiter. Rules as actions: A situation calculus semantics for logic programs. J. of Logic Programming, 31(1-3):299--330, 1997. http://citeseer.ist.psu.edu/37403.html More
@article{ lin97rules,
author = "Fangzhen Lin and Raymond Reiter",
title = "Rules as Actions: A Situation Calculus Semantics for Logic Programs",
journal = "Journal of Logic Programming",
volume = "31",
number = "1-3",
pages = "299-330",
year = "1997",
url = "citeseer.ist.psu.edu/37403.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759 Negation as failure (context) - Clark - 1978
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
297 Applications of circumscription to formalizing commonsense k.. - McCarthy - 1986
269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al.
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
186 Negation in logic programming (context) - Kunen - 1987
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
163 Application of theorem proving to problem solving (context) - Green - 1969
139 fold transformation of logic programs (context) - Tamaki, Sato - 1984
118 Unfounded sets and well-founded semantics for general logic .. (context) - Van Gelder, Ross et al. - 1988
99 Formal theories of action (context) - Lifschitz - 1987
98 Proving properties of states in the situation calculus - Reiter - 1993
90 Synthesizing plans that contain actions with context-depende.. (context) - Pednault - 1988
85 Achieving several goals simultaneously (context) - Waldinger - 1977
82 Special Issue on Actions and Processes (context) - Lin, Reiter et al. - 1994
75 Provably correct theories of action - Lin, Shoham - 1995
67 Negation as failure using tight derivations for general logi.. (context) - Van Gelder - 1989
64 Optimizing datalog programs (context) - Sagiv - 1988
63 Pointwise circumscription (context) - Lifschitz - 1986
60 The case for domain-specific frame axioms (context) - Haas - 1987
44 Chronological ignorance: experiments in nonmonotonic tempora.. (context) - Shoham - 1988
27 actions and causal laws (context) - McCarthy - 1968
22 Monotonic solution to the frame problem in the situation cal.. (context) - Schubert - 1990
21 fold transformation of general logic programs for the well-f.. (context) - Seki - 1993
18 Forget it - Lin, Reiter - 1994
11 and computable completions for unrestricted logic programs (context) - Wallace, consistent - 1993
1 A situation calculus semantics for the prolog cut operator - Lin - 1995
Documents on the same site (http://www.cs.ust.hk/~flin/): More
Applications of the Situation Calculus To Formalizing Control and.. - Lin (Correct)
Forget It! - Fangzhen Lin (1994) (Correct)
An Ordering on Subgoals for Planning - Lin (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