@inproceedings{07e9769b0fb24389a7cdf70f9d16d3a6,
title = "The Fusemate Logic Programming System",
abstract = "Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also demonstrates them with a non-trivial use-case, the embedding of the description logic ALCIF into Fusemate{\textquoteright}s input language.",
author = "Peter Baumgartner",
note = "Publisher Copyright: {\textcopyright} 2021, The Author(s).; 28th International Conference on Automated Deduction, CADE 28 2021 ; Conference date: 12-07-2021 Through 15-07-2021",
year = "2021",
doi = "10.1007/978-3-030-79876-5_34",
language = "English",
isbn = "9783030798758",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science+Business Media B.V.",
pages = "589--601",
editor = "Andr{\'e} Platzer and Geoff Sutcliffe",
booktitle = "Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings",
address = "Netherlands",
}