3970 search results - page 381 / 794 » A Logic For Causal Reasoning |
184
click to vote
LOPSTR
1995
Springer
15 years 10 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
161
Voted
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...
159
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
219
Voted
SEMWIKI
2008
15 years 8 months ago
2008
AceWiki is a prototype that shows how a semantic wiki using controlled natural language -- Attempto Controlled English (ACE) in our case -- can make ontology management easy for ev...
177
click to vote
DLOG
2003
15 years 8 months ago
2003
We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear redu...