41 search results - page 5 / 9 » The Extended Stable Models of Contradiction Removal Semantic... |
115
click to vote
BTW
2005
Springer
15 years 3 months ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...
176
Voted
LPNMR
2011
Springer
14 years 10 days ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
133
click to vote
LPKR
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
89
Voted
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
NMR
2004
Springer
15 years 2 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...