Searching for "Consistency of Action Descriptions." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Consistency of Action Descriptions
- …Consistency of Action Descriptions Dongmo Zhang 1 , Samir Chopra 2 , and Norman Foo 2 1 School…
- Cited by 13 (3 self) – Add To MetaCart
-
Extended Propositional Dynamic Logic for Reasoning about Actions (Extended Abstract)
- … of inference for reasoning on action descriptions. This makes it possible to hierarchize the consistency…
- Cited by 1 (1 self) – Add To MetaCart
-
Determining Ramifications in the Situation Calculus
- … consisting of an action description union a set of initial conditions. (Thus an action description is also a…
- Cited by 6 (1 self) – Add To MetaCart
-
COMPARING ACTION DESCRIPTIONS BASED ON SEMANTIC PREFERENCES
- … and Action Descriptions We start with a (propositional) action signature that consists of a set F of fluent…
- Cited by 1 (0 self) – Add To MetaCart
-
Lazy-formalization to the Frame Problem
- … 1 , , An 2 such that ` (A 1 ^ ^ An ) ! A. An action description is uniformly consistent…
- Add To MetaCart
-
Reasoning with Extra Frame Axioms and Qualification Axioms (Extended Abstract)
- … to solve the problem, we showed that analysis of the regional consistency of action descriptions…
- Cited by 3 (3 self) – Add To MetaCart
-
Encoding Solutions of the Frame Problem in Dynamic Logic
- …]:alive. 3 2.3 Consistency of action description An action description is consistent 4 if ` ?, where…
- Cited by 4 (2 self) – Add To MetaCart
-
unknown title
- … description An action description \Sigma is consistent 4 if ` \Sigma ?, where ? represents logical…
- Add To MetaCart
-
A Computational Model of Incremental Utterance Production in Task-Oriented Dialogues
- … consists of an action description, appli- cability constraints and an effe(:t. 2 It defines a communicative…
- Cited by 1 (0 self) – Add To MetaCart
-
Guiding the Process of Requirements Elicitation through Scenario Analysis: Results of an Empirical Study
- … of abstraction help better preserving the consistency of action descriptions within a scenario The evaluation…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
