2585 search results - page 134 / 517 » Automating Coherent Logic |
117
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
145
click to vote
LPAR
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we develop a generic declarative diagnoser for normal logic programs that is based on tree search. The soundness and the completeness of the diagnoser are proved. The...
149
click to vote
LOPSTR
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
126
click to vote
DLOG
2007
15 years 5 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...
135
click to vote
DEON
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...