2500 search results - page 187 / 500 » Logical Semantics of Modularisation |
149
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
165
click to vote
AIR
2006
15 years 6 months ago
2006
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches have been proposed to deal with this problem based on existi...
170
click to vote
INFFUS
2006
15 years 6 months ago
2006
This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...
192
click to vote
IJAR
2007
15 years 6 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
174
click to vote
AIM
2005
15 years 6 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...