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