Alda: Integrating Logic Rules with Everything Else, Seamlessly (System Demonstration)

Yanhong A. Liu; Scott D. Stoller; Yi Tong; Bo Lin

doi:10.4204/EPTCS.416.29

Alda: Integrating Logic Rules with Everything Else, Seamlessly (System Demonstration)

Yanhong A. Liu
, Scott D. Stoller
, Yi Tong
, Bo Lin

Computer Science

Stony Brook University

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

Original language	English
Pages (from-to)	301-305
Number of pages	5
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	416
DOIs	https://doi.org/10.4204/EPTCS.416.29
State	Published - Feb 13 2025
Event	40th International Conference on Logic Programming, ICLP 2024 - Dallas, United States Duration: Oct 14 2024 → Oct 17 2024

Access to Document

10.4204/EPTCS.416.29

Cite this

@article{f8b2339483504b5d9a5097bf6fbb7a66,

title = "Alda: Integrating Logic Rules with Everything Else, Seamlessly (System Demonstration)",

author = "Liu, \{Yanhong A.\} and Stoller, \{Scott D.\} and Yi Tong and Bo Lin",

year = "2025",

month = feb,

day = "13",

doi = "10.4204/EPTCS.416.29",

language = "English",

volume = "416",

pages = "301--305",

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

issn = "2075-2180",

note = "40th International Conference on Logic Programming, ICLP 2024 ; Conference date: 14-10-2024 Through 17-10-2024",

}

TY - JOUR

T1 - Alda

T2 - 40th International Conference on Logic Programming, ICLP 2024

AU - Liu, Yanhong A.

AU - Stoller, Scott D.

AU - Tong, Yi

AU - Lin, Bo

PY - 2025/2/13

Y1 - 2025/2/13

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

U2 - 10.4204/EPTCS.416.29

DO - 10.4204/EPTCS.416.29

M3 - Conference article

AN - SCOPUS:85218838787

SN - 2075-2180

VL - 416

SP - 301

EP - 305

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 14 October 2024 through 17 October 2024

ER -

Alda: Integrating Logic Rules with Everything Else, Seamlessly (System Demonstration)

Access to Document

Other files and links

Fingerprint

Cite this