2067 search results - page 96 / 414 » Logics of propositional control |
273
click to vote
TABLEAUX
2009
Springer
16 years 26 days 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...
137
click to vote
SARA
2000
Springer
15 years 10 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
176
click to vote
JAR
2000
15 years 6 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
143
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...