Structural Resolution for Logic Programming

Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

LanguageEnglish
Title of host publicationTechnical Communications of ICLP 2015
EditorsMarina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni
PublisherCEUR-WS
Number of pages13
Publication statusPublished - 2015
Event31st International Conference on Logic Programming 2015 - Cork, Ireland
Duration: 31 Aug 20154 Sep 2015

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR
Volume1433
ISSN (Print)1613-0073

Conference

Conference31st International Conference on Logic Programming 2015
Abbreviated titleICLP 2015
CountryIreland
CityCork
Period31/08/154/09/15

Fingerprint

Logic programming

Keywords

  • Structural resolution
  • term trees
  • rewriting trees
  • derivation trees

Cite this

Johann, P., Komendantskaya, E., & Komendantskiy, V. (2015). Structural Resolution for Logic Programming. In M. De Vos, T. Eiter, Y. Lierler, & F. Toni (Eds.), Technical Communications of ICLP 2015 (CEUR Workshop Proceedings; Vol. 1433). CEUR-WS.
Johann, Patricia ; Komendantskaya, Ekaterina ; Komendantskiy, Vladimir. / Structural Resolution for Logic Programming. Technical Communications of ICLP 2015. editor / Marina De Vos ; Thomas Eiter ; Yuliya Lierler ; Francesca Toni. CEUR-WS, 2015. (CEUR Workshop Proceedings).
@inbook{1894ded8b4244d3e8f7ce8a471748187,
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 = "Structural resolution, term trees, rewriting trees, derivation trees",
author = "Patricia Johann and Ekaterina Komendantskaya and Vladimir Komendantskiy",
year = "2015",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
editor = "{De Vos}, Marina and Thomas Eiter and Yuliya Lierler and Francesca Toni",
booktitle = "Technical Communications of ICLP 2015",

}

Johann, P, Komendantskaya, E & Komendantskiy, V 2015, Structural Resolution for Logic Programming. in M De Vos, T Eiter, Y Lierler & F Toni (eds), Technical Communications of ICLP 2015. CEUR Workshop Proceedings, vol. 1433, CEUR-WS, 31st International Conference on Logic Programming 2015, Cork, Ireland, 31/08/15.

Structural Resolution for Logic Programming. / Johann, Patricia; Komendantskaya, Ekaterina; Komendantskiy, Vladimir.

Technical Communications of ICLP 2015. ed. / Marina De Vos; Thomas Eiter; Yuliya Lierler; Francesca Toni. CEUR-WS, 2015. (CEUR Workshop Proceedings; Vol. 1433).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

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 - Structural resolution

KW - term trees

KW - rewriting trees

KW - derivation trees

M3 - Chapter

T3 - CEUR Workshop Proceedings

BT - Technical Communications of ICLP 2015

A2 - De Vos, Marina

A2 - Eiter, Thomas

A2 - Lierler, Yuliya

A2 - Toni, Francesca

PB - CEUR-WS

ER -

Johann P, Komendantskaya E, Komendantskiy V. Structural Resolution for Logic Programming. In De Vos M, Eiter T, Lierler Y, Toni F, editors, Technical Communications of ICLP 2015. CEUR-WS. 2015. (CEUR Workshop Proceedings).