593 search results - page 21 / 119 » RDF and Logic: Reasoning and Extension |
127
click to vote
ATAL
1999
Springer
15 years 5 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
105
click to vote
ENTCS
2006
15 years 1 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
122
click to vote
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
115
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Σp 2-complete, an...
210
click to vote
JBI
2011
14 years 8 months ago
2011
The Gene Ontology is being normalized and extended to include computable logical definitions. These definitions are partitioned into mutually exclusive cross-product sets, many of...