3032 search results - page 206 / 607 » Description Logic Rules |
90
Voted
SAC
2008
ACM
15 years 7 days ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
87
Voted
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
107
Voted
JUCS
2010
14 years 11 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
100
click to vote
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
84
Voted
JAPLL
2007
15 years 20 days ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...