76 search results - page 3 / 16 » Ultimate approximations in nonmonotonic knowledge representa... |
115
click to vote
JODS
2006
15 years 1 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
104
click to vote
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
110
click to vote
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
138
click to vote
EPIA
2001
Springer
15 years 5 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
116
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...