Variables in Action Descriptions: Merging C+ with ADL

Abstract

Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logic, while C+ is only propositional; expressions with variables, which are frequently used when action domains are described in C+, are merely..

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The semantics of variables in action descriptions.Vladimir Lifschitz & W. Ren - manuscript
Can a single action have many different descriptions?Arthur B. Cody - 1967 - Inquiry: An Interdisciplinary Journal of Philosophy 10 (1-4):164 – 180.
Why the Monkey Needs the Box: A Serious Look at a Toy Domain.Vladimir Lifschitz - unknown
A Modular Action Description Language.Vladimir Lifschitz - unknown
Actions as Special Cases.Vladimir Lifschitz - unknown
PFA Implies ADL(R).John R. Steel - 2005 - Journal of Symbolic Logic 70 (4):1255 - 1296.
Descriptions as variables.Paolo Santorio - 2013 - Philosophical Studies 164 (1):41-59.
The ADL hate crime statute and the first amendment.Larry Alexander - 1992 - Criminal Justice Ethics 11 (2):49-51.
'Can an action have many descriptions?'?R. E. Dowling - 1967 - Inquiry: An Interdisciplinary Journal of Philosophy 10 (1-4):447-448.
Merging without mystery or: Variables in dynamics semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.
Partial order reasoning for a nonmonotonic theory of action.Matthew Stone - unknown
The neural basis of predicate-argument structure.James R. Hurford - 2003 - Behavioral and Brain Sciences 26 (3):261-283.
Symbols, neurons, soap-bubbles and the neural computation underlying cognition.Robert W. Kentridge - 1994 - Minds and Machines 4 (4):439-449.
Possible world semantics for first order lp.Melvin Fitting - unknown
Cody's categories.David Rayfield - 1973 - Inquiry: An Interdisciplinary Journal of Philosophy 16 (1-4):419 – 428.

Analytics

Added to PP
2010-12-22

Downloads
11 (#1,105,752)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references