3970 search results - page 621 / 794 » A Logic For Causal Reasoning |
168
click to vote
SPIN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
198
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
179
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
212
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
176
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...