4595 search results - page 564 / 919 » Reasoning about Plans |
162
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
COORDINATORs are coordination managers for fielded first responders. Each first response team is paired with a COORDINATOR coordination manager which is running on a mobile com...
183
click to vote
CAISE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
191
click to vote
CAV
2004
Springer
16 years 8 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
186
click to vote
CONCUR
2004
Springer
16 years 8 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
167
click to vote
ECAI
2004
Springer
16 years 8 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...