585 search results - page 2 / 117 » Strategy Logic |
FLAIRS
1998
13 years 6 months ago
1998
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...
PPDP
2001
Springer
13 years 10 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
TIME
2005
IEEE
13 years 11 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
ICCD
2004
IEEE
14 years 2 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...