Searching for "Actions and Specificity." – sorted by Relevance.
1,229 documents found, showing 1 through 10.
Next 10 →
-
Actions and Specificity
- …,thielscher}@(email omitted); Abstract A solution to the problem of specificity in a resource–oriented deductive approach to actions…
- Cited by 12 (6 self) – Add To MetaCart
-
Action Specifications in {log}
- …Action Specifications in flogg Alessandro Provetti and Gianfranco Rossi Dipartimento di Matematica…
- Add To MetaCart
-
Minimal Semantics for action Specifications in PDL
- …Minimal Semantics for action Specifications in PDL Jan Broersen Remco Feenstra y Roel…
- Add To MetaCart
-
Preferential Semantics for Action Specifications in First-order Modal Action Logic
- …Preferential Semantics for Action Specifications in First-order Modal Action Logic 1 Jan Broersen…
- Cited by 1 (0 self) – Add To MetaCart
-
A Clausal Logic for Deontic Action Specification (Extended Abstract)
- …A Clausal Logic for Deontic Action Specification (Extended Abstract) Ron van der Meyden Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Verifying Real-Time Joint Action Specifications Using Timed Automata
- …Verifying Real-Time Joint Action Specifications Using Timed Automata Abstract. In this paper…
- Cited by 2 (0 self) – Add To MetaCart
-
Action System Approach to the Specification and Design of Distributed Systems
- …1 of 7 Action System Approach to the Specification and Design of Distributed Systems R. Kurki…
- Cited by 13 (3 self) – Add To MetaCart
-
Deriving Invariants and Constraints from Action Theories
- … an interesting connection between action specifications and state constraints --- it is possible to extract state…
- Cited by 5 (2 self) – Add To MetaCart
-
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies
- …Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies Chetan…
- Cited by 2 (1 self) – Add To MetaCart
-
Visual Specification of Complex Database Actions
- …Visual Specification of Complex Database Actions Gregor Engels Leiden University, Dept…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
