4617 search results - page 376 / 924 » Automation of Diagrammatic Reasoning |
168
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...
181
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
151
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
160
click to vote
DLOG
2007
15 years 9 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
156
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...