Knowledge of uncertain worlds: Programming with logical constraints (extended abstract)

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

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	325
State	Published - Sep 19 2020
Event	36th International Conference on Logic Programming, ICLP 2020 - Virtual, Rende, Italy Duration: Sep 18 2020 → Sep 24 2020

Cite this

@article{42a8569dd23145f7879c133e0249df54,

title = "Knowledge of uncertain worlds: Programming with logical constraints (extended abstract)",

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

year = "2020",

month = sep,

day = "19",

language = "English",

volume = "325",

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

issn = "2075-2180",

note = "36th International Conference on Logic Programming, ICLP 2020 ; Conference date: 18-09-2020 Through 24-09-2020",

}

TY - JOUR

T1 - Knowledge of uncertain worlds

T2 - 36th International Conference on Logic Programming, ICLP 2020

AU - Liu, Yanhong A.

AU - Stoller, Scott D.

PY - 2020/9/19

Y1 - 2020/9/19

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

M3 - Conference article

AN - SCOPUS:85092640254

SN - 2075-2180

VL - 325

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 18 September 2020 through 24 September 2020

ER -