Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning (Journal of Automated Reasoning, (2018), 60, 2, (133-156), 10.1007/s10817-017-9408-6)

John Slaney; Bruno Woltzenlogel Paleo

doi:10.1007/s10817-017-9434-4

Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning (Journal of Automated Reasoning, (2018), 60, 2, (133-156), 10.1007/s10817-017-9408-6)

John Slaney
, Bruno Woltzenlogel Paleo^*

^*Corresponding author for this work

Research output: Contribution to journal › Comment/debate › peer-review

1 Citation (Scopus)

Abstract

In the original publication of the article, the following reference was omitted inadvertently: 39. Bonacina, M.P., Plaisted, D.A.: Semantically-guided goal-sensitive reasoning: inference system and completeness. J. Autom. Reason. 59(2), 165–218 (2016). In the submitted version of the article, reference 39 above was cited together with reference 11.

Original language	English
Pages (from-to)	527
Number of pages	1
Journal	Journal of Automated Reasoning
Volume	60
Issue number	4
DOIs	https://doi.org/10.1007/s10817-017-9434-4
Publication status	Published - 1 Apr 2018

Access to Document

10.1007/s10817-017-9434-4

Fingerprint

Dive into the research topics of 'Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning (Journal of Automated Reasoning, (2018), 60, 2, (133-156), 10.1007/s10817-017-9408-6)'. Together they form a unique fingerprint.

Cite this

@article{276b709d1d6c46fbae5828b07eab4b43,

title = "Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning (Journal of Automated Reasoning, (2018), 60, 2, (133-156), 10.1007/s10817-017-9408-6)",

abstract = "In the original publication of the article, the following reference was omitted inadvertently: 39. Bonacina, M.P., Plaisted, D.A.: Semantically-guided goal-sensitive reasoning: inference system and completeness. J. Autom. Reason. 59(2), 165–218 (2016). In the submitted version of the article, reference 39 above was cited together with reference 11.",

author = "John Slaney and \{Woltzenlogel Paleo\}, Bruno",

note = "Publisher Copyright: {\textcopyright} 2017, Springer Science+Business Media B.V.",

year = "2018",

month = apr,

day = "1",

doi = "10.1007/s10817-017-9434-4",

language = "English",

volume = "60",

pages = "527",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "4",

}

Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning (Journal of Automated Reasoning, (2018), 60, 2, (133-156), 10.1007/s10817-017-9408-6). / Slaney, John; Woltzenlogel Paleo, Bruno.
In: Journal of Automated Reasoning, Vol. 60, No. 4, 01.04.2018, p. 527.

Research output: Contribution to journal › Comment/debate › peer-review

TY - JOUR

T1 - Erratum to

T2 - Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning (Journal of Automated Reasoning, (2018), 60, 2, (133-156), 10.1007/s10817-017-9408-6)

AU - Slaney, John

AU - Woltzenlogel Paleo, Bruno

PY - 2018/4/1

Y1 - 2018/4/1

N2 - In the original publication of the article, the following reference was omitted inadvertently: 39. Bonacina, M.P., Plaisted, D.A.: Semantically-guided goal-sensitive reasoning: inference system and completeness. J. Autom. Reason. 59(2), 165–218 (2016). In the submitted version of the article, reference 39 above was cited together with reference 11.

AB - In the original publication of the article, the following reference was omitted inadvertently: 39. Bonacina, M.P., Plaisted, D.A.: Semantically-guided goal-sensitive reasoning: inference system and completeness. J. Autom. Reason. 59(2), 165–218 (2016). In the submitted version of the article, reference 39 above was cited together with reference 11.

UR - https://www.scopus.com/pages/publications/85029814854

U2 - 10.1007/s10817-017-9434-4

DO - 10.1007/s10817-017-9434-4

M3 - Comment/debate

SN - 0168-7433

VL - 60

SP - 527

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 4

ER -

Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning (Journal of Automated Reasoning, (2018), 60, 2, (133-156), 10.1007/s10817-017-9408-6)

Abstract

Access to Document

Other files and links

Fingerprint

Cite this