Benchmarking for Integrating Logic Rules with Everything Else

Yanhong A. Liu; Scott D. Stoller; Yi Tong; K. Tuncay Tekle

doi:10.4204/EPTCS.385.3

Benchmarking for Integrating Logic Rules with Everything Else

Yanhong A. Liu
, Scott D. Stoller
, Yi Tong
, K. Tuncay Tekle

Computer Science

Stony Brook University

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

2 Scopus citations

Abstract

Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been developed. How to evaluate such languages? This paper describes a set of programming and performance benchmarks for evaluating languages supporting integrated use of rules and other features, and the results of evaluating such an integrated language together with logic languages and languages not supporting logic rules.

Original language	English
Pages (from-to)	12-26
Number of pages	15
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	385
DOIs	https://doi.org/10.4204/EPTCS.385.3
State	Published - Sep 12 2023
Event	39th International Conference on Logic Programming, ICLP 2023 - London, United Kingdom Duration: Jul 9 2023 → Jul 15 2023

Access to Document

10.4204/EPTCS.385.3

Cite this

@article{204c88bbe29343d9953b097368fc0d3b,

title = "Benchmarking for Integrating Logic Rules with Everything Else",

abstract = "Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been developed. How to evaluate such languages? This paper describes a set of programming and performance benchmarks for evaluating languages supporting integrated use of rules and other features, and the results of evaluating such an integrated language together with logic languages and languages not supporting logic rules.",

author = "Liu, \{Yanhong A.\} and Stoller, \{Scott D.\} and Yi Tong and \{Tuncay Tekle\}, K.",

note = "Publisher Copyright: {\textcopyright} Y. A. Liu, S. D. Stoller, Y. Tong, and K. T. Tekle.; 39th International Conference on Logic Programming, ICLP 2023 ; Conference date: 09-07-2023 Through 15-07-2023",

year = "2023",

month = sep,

day = "12",

doi = "10.4204/EPTCS.385.3",

language = "English",

volume = "385",

pages = "12--26",

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

issn = "2075-2180",

}

TY - JOUR

T1 - Benchmarking for Integrating Logic Rules with Everything Else

AU - Liu, Yanhong A.

AU - Stoller, Scott D.

AU - Tong, Yi

AU - Tuncay Tekle, K.

N1 - Publisher Copyright: © Y. A. Liu, S. D. Stoller, Y. Tong, and K. T. Tekle.

PY - 2023/9/12

Y1 - 2023/9/12

N2 - Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been developed. How to evaluate such languages? This paper describes a set of programming and performance benchmarks for evaluating languages supporting integrated use of rules and other features, and the results of evaluating such an integrated language together with logic languages and languages not supporting logic rules.

AB - Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increasingly more languages and extensions for such integration have been developed. How to evaluate such languages? This paper describes a set of programming and performance benchmarks for evaluating languages supporting integrated use of rules and other features, and the results of evaluating such an integrated language together with logic languages and languages not supporting logic rules.

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

U2 - 10.4204/EPTCS.385.3

DO - 10.4204/EPTCS.385.3

M3 - Conference article

AN - SCOPUS:85162619883

SN - 2075-2180

VL - 385

SP - 12

EP - 26

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 39th International Conference on Logic Programming, ICLP 2023

Y2 - 9 July 2023 through 15 July 2023

ER -

Benchmarking for Integrating Logic Rules with Everything Else

Abstract

Access to Document

Other files and links

Fingerprint

Cite this