2291 search results - page 207 / 459 » Logic Programming and Model Checking |
109
click to vote
ACSC
2002
IEEE
15 years 8 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
117
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...
134
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
115
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
110
click to vote
DEXA
2000
Springer
15 years 7 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...