3515 search results - page 21 / 703 » On the semantics of Strategy Logic |
180
click to vote
AMAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
177
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
In this document we cany out a comparative analysis of the reasoning strategies implemented in Fuzzy Logic Controllers (hereinafter FLCs) and Faded Temporal Fuzzy Logic Controller...
185
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
172
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
201
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...