4978 search results - page 76 / 996 » Logical models of argument |
STACS
2010
Springer
14 years 5 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...
FSKD
2009
Springer
14 years 1 months ago
2009
Springer
EUSFLAT
2009
13 years 7 months ago
2009
Abstract
EUSFLAT
2009
2009
Dispersal of Leaf-Cutting Ants: fuzzy mathematical modeling, numerical approximation and simulations
13 years 7 months ago
CADE
2001
Springer
14 years 10 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...