A non-monotone logic for reasoning about actions and change Warszawa,...  Home/Search
Context
Related
| ipipan.gda.pl/marek/kropki942.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: ipipan.gda.pl/~marek/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A logic LP # for reasoning about change is presented. The logic, an extension of the logic of predicates with equalitu, is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of the state of a system. The logic is substructural: non-monotone and non-commutative. Its Platonic, i.e., predicate part is governed by the additive connectives, while the identity substitution and the composition of substitutions are multiplicative truth and... (Update)
Similar documents (at the sentence level):
5.8%: A Non-monotone Logic - For Reasoning About (Correct)
5.4%: Logic of Predicates With Explicit Substitutions - Bednarczyk (1996) (Correct)
Active bibliography (related documents): More All
0.6: Information System Development As Mechanizable Logical Activity - Marek Bednarczyk And (1996) (Correct)
0.3: Profinite Methods in Semigroup Theory - Weil (2000) (Correct)
0.3: Primer on CPP Geometry - Greenberg (Correct)
Similar documents based on text: More All
0.2: Approximate Databases and Query Techniques for Agents with - Patrick Doherty Witold (Correct)
0.1: Computing with Nonmonotone Multivalued Neurons - Obradovic (Correct)
0.1: Nonmonotone Line Search for Minimax Problems - Zhou (1993) (Correct)
BibTeX entry: (Update)
@misc{ for-explicit,
author = "Non-Monotone Logic For",
title = "Explicit Substitution into Action",
url = "citeseer.ist.psu.edu/605853.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
663 Some philosophical problems from the standpoint of Artificia.. (context) - McCarthy - 1969
652 A Discipline of Programming (context) - Dijkstra - 1990
650 An axiomatic basis for computer programming (context) - Hoare - 1969
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
248 The mathematics of sentence structure (context) - Lambek - 1958
175 Nonmonotonic logic and temporal projection (context) - Hanks - 1987
141 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
88 Linear logic : its syntax and semantics - Girard - 1995
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont - 1989
79 Simple consequence relations - Avron - 1991
78 Acyclic programs (context) - Apt - 1990
52 Abduction compared with negation as failure (context) - Eshghi - 1989
7 Basic Category Theory (context) - Poigne - 1992
4 Reasoning about Action and Change: Actions with Abnormal E#e.. (context) - ukaszewicz, Madali - 1995
3 of Pure and Applied Algebra (context) - Brown, Gurr - 1995
3 Logic of predicates with explicit substitutions - Bednarczyk - 1996
3 Towards program development with Isabelle (context) - Bednarczyk, Borzyszkowski - 1995
2 Reprezenting actions and change by logic programs (context) - Gelfond, Lifschitz - 1993
2 Information system development as mechanizable logical activ.. - Bednarczyk, Borzyszkowski - 1996
1 Reprezenting action: indeterminacy and ramifications (context) - Giunchiglia, Neelakantan - 1997
1 Workshop The Frame Problem in Artificial Intelligence (context) - Brown - 1987
1 Reasoning about Action and Change Using Dijkstra's Semantics.. (context) - ukaszewicz, Madali - 1955
Documents on the same site (http://www.ipipan.gda.pl/~marek/papers.html): More
Logic of Predicates Versus Linear Logic - Bednarczyk (1995) (Correct)
Epimorphic Functors - Bednarczyk, Borzyszkowski, Pawolwski (Correct)
General Morphisms of Petri Nets - Bednarczyk, Borzyszkowski (1999) (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