3446 search results - page 110 / 690 » A Reasoning Algorithm for pD* |
111
Voted
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
121
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
101
click to vote
GIS
1998
ACM
15 years 1 months ago
1998
ACM
This paper describes the implementation of a triangulation based collapse algorithm in the general-purpose object oriented DBMS Magnum. The contribution of the paper is twofold. F...
137
click to vote
DATESO
2009
14 years 11 months ago
2009
Ontology as a knowledge base can provide different reasoning tasks, e.g. to check consistency of the ontology or to check whether a resource is instance of a concept or not. In thi...
107
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...