2291 search results - page 161 / 459 » Logic Programming and Model Checking |
127
Voted
JELIA
2000
Springer
15 years 6 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
119
Voted
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
149
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
145
Voted
WISES
2003
15 years 4 months ago
2003
— Ubiquitous computing provides services to users, according to their current situation. Interactions with such programs are as implicit as possible. We find among the applicati...
148
Voted
DLOG
2009
15 years 16 days ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...