593 search results - page 58 / 119 » RDF and Logic: Reasoning and Extension |
187
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
184
click to vote
JUCS
2010
15 years 4 months ago
2010
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...
166
click to vote
LPAR
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
177
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
173
click to vote
FGCS
1992
15 years 7 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...