69 search results - page 1 / 14 » Constraint-Based Abstract Semantics for Temporal Logic: A Di... |
LPAR
2010
Springer
13 years 2 months ago
2010
Springer
ROBOCUP
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
RULEML
2005
Springer
13 years 10 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
CP
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
ATAL
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...