3776 search results - page 162 / 756 » Partition-Based Logical Reasoning |
147
Voted
LPNMR
1999
Springer
15 years 7 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
119
Voted
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
166
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
91
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
124
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer