4617 search results - page 202 / 924 » Automation of Diagrammatic Reasoning |
200
click to vote
TIME
2007
IEEE
16 years 21 days ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
144
click to vote
TIME
2002
IEEE
15 years 11 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
168
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as pr...
168
click to vote
DLOG
2001
15 years 7 months ago
2001
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
181
click to vote
DLOG
2000
15 years 7 months ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...