593 search results - page 72 / 119 » RDF and Logic: Reasoning and Extension |
127
click to vote
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
83
Voted
FUIN
2000
15 years 9 days ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
117
click to vote
CADE
2007
Springer
16 years 24 days ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
100
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
115
Voted
DLOG
2011
14 years 4 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...