Instance Based Methods—A Brief Overview

Peter Baumgartner; Evgenij Thorstensen

doi:10.1007/s13218-010-0002-x

Instance Based Methods—A Brief Overview

Peter Baumgartner^*, Evgenij Thorstensen

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	35-42
Number of pages	8
Journal	KI - Kunstliche Intelligenz
Volume	24
Issue number	1
DOIs	https://doi.org/10.1007/s13218-010-0002-x
Publication status	Published - 1 Apr 2010

Access to Document

10.1007/s13218-010-0002-x

Cite this

@article{4e82d7fdbb1a4d57b80443b1d821f321,

title = "Instance Based Methods—A Brief Overview",

abstract = "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.",

keywords = "Ground Instance, Inference Rule, Proper Instance, Satisfiability Modulo Theory, Unit Clause",

author = "Peter Baumgartner and Evgenij Thorstensen",

note = "Publisher Copyright: {\textcopyright} 2010, Springer-Verlag.",

year = "2010",

month = apr,

day = "1",

doi = "10.1007/s13218-010-0002-x",

language = "English",

volume = "24",

pages = "35--42",

journal = "KI - Kunstliche Intelligenz",

issn = "0933-1875",

publisher = "Springer International Publishing Switzerland",

number = "1",

}

TY - JOUR

T1 - Instance Based Methods—A Brief Overview

AU - Baumgartner, Peter

AU - Thorstensen, Evgenij

PY - 2010/4/1

Y1 - 2010/4/1

N2 - 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.

AB - 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.

KW - Ground Instance

KW - Inference Rule

KW - Proper Instance

KW - Satisfiability Modulo Theory

KW - Unit Clause

UR - http://www.scopus.com/inward/record.url?scp=84983743257&partnerID=8YFLogxK

U2 - 10.1007/s13218-010-0002-x

DO - 10.1007/s13218-010-0002-x

M3 - Article

SN - 0933-1875

VL - 24

SP - 35

EP - 42

JO - KI - Kunstliche Intelligenz

JF - KI - Kunstliche Intelligenz

IS - 1

ER -

Instance Based Methods—A Brief Overview

Abstract

Access to Document

Other files and links

Cite this