Benchmarking for Integrating Logic Rules with Everything Else

08/30/2023
by   Yanhong A. Liu, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/30/2023

Integrating Logic Rules with Everything Else, Seamlessly

This paper presents a language, Alda, that supports all of logic rules, ...
research
02/21/2020

Extensions of ω-Regular Languages

We consider extensions of monadic second order logic over ω-words, which...
research
01/30/2013

Merging Uncertain Knowledge Bases in a Possibilistic Logic Framework

This paper addresses the problem of merging uncertain information in the...
research
05/30/2022

Programming with rules and everything else, seamlessly

Logic rules are powerful for expressing complex reasoning and analysis p...
research
09/24/2017

Anonymous Variables in Imperative Languages

In this paper, we bring anonymous variables into imperative languages. A...
research
04/23/2018

Top-down and Bottom-up Evaluation Procedurally Integrated

This paper describes how XSB combines top-down and bottom-up computation...
research
05/08/2014

FO(C): A Knowledge Representation Language of Causality

Cause-effect relations are an important part of human knowledge. In real...

Please sign up or login with your details

Forgot password? Click here to reset