3776 search results - page 206 / 756 » Partition-Based Logical Reasoning |
145
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
137
Voted
AIM
2005
15 years 3 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
158
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
159
Voted
PPCP
1993
15 years 7 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
127
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...