Instance Based Methods—A Brief Overview
Zusammenfassung
Instance-based methods are a specific class of methods for automated proof search in first-order logic. This article provides an overview of the major methods in the area and discusses their properties and relations to the more established resolution methods. It also discusses some recent trends on refinements and applications. This overview is rather brief and informal, but we provide a comprehensive literature list to follow-up on the details.
- Vollständige Referenz
- BibTeX
Baumgartner, P. & Thorstensen, E.,
(2010).
Instance Based Methods—A Brief Overview.
KI - Künstliche Intelligenz: Vol. 24, No. 1.
Springer.
(S. 35-42).
DOI: 10.1007/s13218-010-0002-x
@article{mci/Baumgartner2010,
author = {Baumgartner, Peter AND Thorstensen, Evgenij},
title = {Instance Based Methods—A Brief Overview},
journal = {KI - Künstliche Intelligenz},
volume = {24},
number = {1},
year = {2010},
,
pages = { 35-42 } ,
doi = { 10.1007/s13218-010-0002-x }
}
author = {Baumgartner, Peter AND Thorstensen, Evgenij},
title = {Instance Based Methods—A Brief Overview},
journal = {KI - Künstliche Intelligenz},
volume = {24},
number = {1},
year = {2010},
,
pages = { 35-42 } ,
doi = { 10.1007/s13218-010-0002-x }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-010-0002-x
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1610-1987
Datum: 2010
Typ: Text/Journal Article