Founded semantics and constraint semantics of logic rules: An overview

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	306
State	Published - Sep 19 2019
Event	35th International Conference on Logic Programming (Technical Communications), ICLP 2019 - Las Cruces, United States Duration: Sep 20 2019 → Sep 25 2019

Cite this

@article{1509050a02f948e8be9649189b25e002,

title = "Founded semantics and constraint semantics of logic rules: An overview",

author = "Liu, \{Yanhong A.\} and Stoller, \{Scott D.\}",

year = "2019",

month = sep,

day = "19",

language = "English",

volume = "306",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

note = "35th International Conference on Logic Programming (Technical Communications), ICLP 2019 ; Conference date: 20-09-2019 Through 25-09-2019",

}

TY - JOUR

T1 - Founded semantics and constraint semantics of logic rules

T2 - 35th International Conference on Logic Programming (Technical Communications), ICLP 2019

AU - Liu, Yanhong A.

AU - Stoller, Scott D.

PY - 2019/9/19

Y1 - 2019/9/19

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

M3 - Conference article

AN - SCOPUS:85095542470

SN - 2075-2180

VL - 306

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 20 September 2019 through 25 September 2019

ER -