4978 search results - page 76 / 996 » Logical models of argument |
123
click to vote
STACS
2010
Springer
15 years 10 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
135
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Abstract
109
Voted
EUSFLAT
2009
2009
Dispersal of Leaf-Cutting Ants: fuzzy mathematical modeling, numerical approximation and simulations
15 years 1 months ago
161
Voted
CADE
2001
Springer
16 years 3 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...