DOI: 10.1007/978-3-540-73595-3_20
|View full text |Cite
|
Sign up to set email alerts
|

SRASS - A Semantic Relevance Axiom Selection System

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
23
0

Publication Types

Select...
6
2
1

Relationship

2
7

Authors

Journals

citations
Cited by 36 publications
(23 citation statements)
references
References 15 publications
0
23
0
Order By: Relevance
“…Nonetheless, counterexamples play a key role in human understanding, and state-of-the-art provers (such as Nitpick [6]) have been extended to generate them. Beyond counterexample generation, repair is also being studied; for instance, in Sutcliffe and Puzis [19] semantic and syntactic heuristics for selecting axioms were changed. Logic-based learning offers a means for automatically generating repairs over time rather than requiring the software engineer to predefine them.…”
Section: Related Workmentioning
confidence: 99%
“…Nonetheless, counterexamples play a key role in human understanding, and state-of-the-art provers (such as Nitpick [6]) have been extended to generate them. Beyond counterexample generation, repair is also being studied; for instance, in Sutcliffe and Puzis [19] semantic and syntactic heuristics for selecting axioms were changed. Logic-based learning offers a means for automatically generating repairs over time rather than requiring the software engineer to predefine them.…”
Section: Related Workmentioning
confidence: 99%
“…If the ATP system is unsuccessful we repeat the procedure to find another selection of axioms and lemmas. When a proof is found, the selection of axioms and lemmas, along with the conjecture, may be passed to the SRASS system [36] to extract a minimal but sufficient set of axioms and lemmas for a proof. In this paper we apply a manual form of hypothesis learning.…”
Section: A Basic Refinement Toolkitmentioning
confidence: 99%
“…(e.g. SRASS [17], SInE [8], Gazing [1], MaLARea [18], and the work by Meng and Paulson [13]). In this paper, we describe an axiom selection method for series of related problems that is based on logical and textual proximity.…”
Section: Introductionmentioning
confidence: 99%