3793 search results - page 412 / 759 » Expressive Description Logics |
166
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we propose a complete chain for synthesizing controllers from high-level specifications. From real-time properties expressed in the logic MTL we generate, under boun...
163
click to vote
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
160
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
175
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
173
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...