593 search results - page 5 / 119 » RDF and Logic: Reasoning and Extension |
108
click to vote
RR
2007
Springer
15 years 7 months ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
100
Voted
DLOG
2009
14 years 11 months ago
2009
ASP
2001
Springer
15 years 5 months ago
2001
Springer
144
click to vote
PCI
2005
Springer
15 years 7 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
155
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...