3515 search results - page 237 / 703 » On the semantics of Strategy Logic |
204
Voted
KI
2007
Springer
16 years 1 months ago
2007
Springer
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
199
Voted
KI
2007
Springer
16 years 1 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
199
Voted
TARK
2005
Springer
16 years 28 days ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
222
Voted
TABLEAUX
2009
Springer
16 years 3 hour ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
232
Voted
LOPSTR
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...