439 search results - page 1 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
CADE
2009
Springer
13 years 12 months ago
2009
Springer
NFM
2011
13 years 5 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...
KR
1992
Springer
14 years 2 months ago
1992
Springer
CADE
2002
Springer
14 years 11 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 ...
AI
2005
Springer
13 years 10 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...