352 search results - page 25 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
137
click to vote
FUIN
2010
15 years 10 days ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
157
click to vote
EPIA
2003
Springer
15 years 8 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
148
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
123
click to vote
JOT
2010
15 years 1 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
189
click to vote
LPKR
1997
Springer
15 years 7 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...