3891 search results - page 287 / 779 » A logic for strategic reasoning |
167
click to vote
RR
2007
Springer
16 years 23 days ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
153
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
A dialogue game based approach to the problem of providing a deeper semantic foundation for t-norm based fuzzy logics is explored. In particular, various versions, extensions and ...
186
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
170
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
188
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...