Structural resolution for logic programming

Patricia Johann; Ekaterina Komendantskaya; Vladimir Komendantskiy

Structural resolution for logic programming

Patricia Johann
, Ekaterina Komendantskaya
, Vladimir Komendantskiy

Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

We introduce a Three Tier Tree Calculus (T³C) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use T³C to define a new - structural - version of resolution for logic programming.

Original language	English
Title of host publication	Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)
Editors	Marina De Vos , Thomas Eiter, Yuliya Lierler, Francesca Toni
Number of pages	13
Publication status	Published - 2015
Event	31st International Conference on Logic Programming - University College Cork, Western Gateway Building, Cork, Ireland Duration: 31 Aug 2015 → 4 Sept 2015 http://booleconferences.ucc.ie/iclp2015

Publication series

Name	CEUR workshop proceedings
Volume	1433
ISSN (Electronic)	1613-0073

Conference

Conference	31st International Conference on Logic Programming
Abbreviated title	ICLP 2015
Country/Territory	Ireland
City	Cork
Period	31/08/15 → 4/09/15
Internet address	http://booleconferences.ucc.ie/iclp2015

Keywords

Derivation trees
Rewriting trees
Structural resolution
Term trees

ASJC Scopus subject areas

General Computer Science

Access to Document

http://ceur-ws.org/Vol-1433/

Cite this

@inproceedings{c112286eeb9847d0aefdad9b33c7d71d,

title = "Structural resolution for logic programming",

abstract = "We introduce a Three Tier Tree Calculus (T3C) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use T3C to define a new - structural - version of resolution for logic programming.",

keywords = "Derivation trees, Rewriting trees, Structural resolution, Term trees",

author = "Patricia Johann and Ekaterina Komendantskaya and Vladimir Komendantskiy",

year = "2015",

language = "English",

series = "CEUR workshop proceedings",

editor = "\{De Vos \}, \{Marina \} and Eiter, \{Thomas \} and Lierler, \{Yuliya \} and \{Toni \}, \{Francesca \}",

booktitle = "Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)",

note = "31st International Conference on Logic Programming, ICLP 2015 ; Conference date: 31-08-2015 Through 04-09-2015",

url = "http://booleconferences.ucc.ie/iclp2015",

}

Johann, P, Komendantskaya, E & Komendantskiy, V 2015, Structural resolution for logic programming. in M De Vos , T Eiter, Y Lierler & F Toni (eds), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) . CEUR workshop proceedings, vol. 1433, 31st International Conference on Logic Programming, Cork, Ireland, 31/08/15. <http://ceur-ws.org/Vol-1433/>

Structural resolution for logic programming. / Johann, Patricia; Komendantskaya, Ekaterina; Komendantskiy, Vladimir.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) . ed. / Marina De Vos ; Thomas Eiter; Yuliya Lierler; Francesca Toni . 2015. (CEUR workshop proceedings; Vol. 1433).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Structural resolution for logic programming

AU - Johann, Patricia

AU - Komendantskaya, Ekaterina

AU - Komendantskiy, Vladimir

PY - 2015

Y1 - 2015

N2 - We introduce a Three Tier Tree Calculus (T3C) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use T3C to define a new - structural - version of resolution for logic programming.

AB - We introduce a Three Tier Tree Calculus (T3C) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use T3C to define a new - structural - version of resolution for logic programming.

KW - Derivation trees

KW - Rewriting trees

KW - Structural resolution

KW - Term trees

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

M3 - Conference contribution

AN - SCOPUS:84944269930

T3 - CEUR workshop proceedings

BT - Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)

A2 - De Vos , Marina

A2 - Eiter, Thomas

A2 - Lierler, Yuliya

A2 - Toni , Francesca

T2 - 31st International Conference on Logic Programming

Y2 - 31 August 2015 through 4 September 2015

ER -

Structural resolution for logic programming

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this