2138 search results - page 65 / 428 » Logical Step-Indexed Logical Relations |
AI
2005
Springer
14 years 9 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
LOGCOM
2007
14 years 9 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
239
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
IJCAI
2003
14 years 11 months ago
2003
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
EUSFLAT
2009
14 years 7 months ago
2009
This paper takes into account the Wittgenstein's idea on family resemblances as a particular crisp relation between some fuzzy sets, that is, between some predicates represent...