439 search results - page 1 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
169
Voted
CADE
2009
Springer
15 years 1 months ago
2009
Springer
193
Voted
NFM
2011
14 years 6 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...
165
click to vote
CADE
2002
Springer
16 years 13 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 ...
131
click to vote
AI
2005
Springer
15 years 1 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...