381 search results - page 16 / 77 » Tableaux for Acceptance Logic |
139
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
111
click to vote
TABLEAUX
1995
Springer
15 years 5 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
181
Voted
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
109
Voted
ER
2006
Springer
15 years 5 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
152
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...