352 search results - page 35 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
133
click to vote
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
169
click to vote
IBERAMIA
2010
Springer
15 years 27 days ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
120
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
129
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
115
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...