7 search results - page 1 / 2 » Default Theory for Well Founded Semantics with Explicit Nega... |
64
Voted
JELIA
1992
Springer
15 years 1 months ago
1992
Springer
74
Voted
IBERAMIA
2004
Springer
15 years 2 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
DOOD
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
75
Voted
IJCAI
1997
14 years 10 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
JAIR
2008
14 years 9 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...