686 search results - page 17 / 138 » Nonmonotonic inference operations |
AGP
2003
IEEE
14 years 21 days ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
TPLP
2010
13 years 5 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
AIML
2004
13 years 8 months ago
2004
This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the...
SRDS
2010
IEEE
13 years 5 months ago
2010
IEEE
