3891 search results - page 306 / 779 » A logic for strategic reasoning |
164
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
148
click to vote
ISMVL
2003
IEEE
15 years 12 months ago
2003
IEEE
In earlier work [9], we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois an...
201
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
148
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In this paper, we describe curricular materials that use the game of Clue to teach basic concepts of propositional logic. While there are many ways of teaching concepts of logic, ...
159
click to vote
CCIA
2007
Springer
16 years 26 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...