439 search results - page 1 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
144
Voted
CADE
2009
Springer
14 years 10 months ago
2009
Springer
166
click to vote
NFM
2011
14 years 4 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
139
click to vote
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
108
click to vote
AI
2005
Springer
14 years 9 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...