605 search results - page 13 / 121 » Dealing with logical omniscience |
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
PRIMA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...