439 search results - page 1 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
196
Voted
NFM
2011
14 years 7 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...
127
Voted
KR
1992
Springer
15 years 4 months ago
1992
Springer
174
click to vote
CADE
2002
Springer
16 years 22 days 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 ...
135
Voted
AI
2005
Springer
15 years 10 days 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...