Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

The Fusemate Logic Programming System

Simple item page
dc.contributor.authorBaumgartner, Peter
dc.contributor.editorPlatzer, Andre
dc.contributor.editorSutcliffe, Geoff
dc.coverage.spatialVirtual Event
dc.date.accessioned2024-04-08T04:09:20Z
dc.date.available2024-04-08T04:09:20Z
dc.date.createduly 12–15, 2021
dc.date.issued2021-07-05
dc.date.updated2022-11-20T07:16:27Z
dc.description.abstractFusemate 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’s input language.en_AU
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.citationBaumgartner, P. (2021). The Fusemate Logic Programming System. In: Platzer, A., Sutcliffe, G. (eds) Automated Deduction – CADE 28. CADE 2021. Lecture Notes in Computer Science(), vol 12699. Springer, Cham. https://doi.org/10.1007/978-3-030-79876-5_34en_AU
dc.identifier.isbn978-3-030-79875-8en_AU
dc.identifier.urihttp://hdl.handle.net/1885/316567
dc.language.isoen_AUen_AU
dc.provenanceThis chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.en_AU
dc.publisherSpringer Nature Switzerland AGen_AU
dc.relation.ispartofseries28th International Conference on Automated Deductionen_AU
dc.rights© 2021 The Author(s)en_AU
dc.rights.licenseCreative Commons Attribution 4.0 International Licenseen_AU
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/en_AU
dc.sourceAutomated Deduction – CADE 28en_AU
dc.titleThe Fusemate Logic Programming Systemen_AU
dc.typeConference paperen_AU
dcterms.accessRightsOpen Accessen_AU
local.bibliographicCitation.lastpage601en_AU
local.bibliographicCitation.startpage589en_AU
local.contributor.affiliationBaumgartner, Peter, College of Engineering, Computing and Cybernetics, ANUen_AU
local.contributor.authoruidBaumgartner, Peter, u1815000en_AU
local.description.notesImported from ARIESen_AU
local.description.refereedYes
local.identifier.absfor460209 - Planning and decision makingen_AU
local.identifier.ariespublicationa383154xPUB21762en_AU
local.identifier.doi10.1007/978-3-030-79876-5_34en_AU
local.identifier.scopusID2-s2.0-85112336971
local.identifier.thomsonIDWOS:000693448800034
local.publisher.urlhttps://link.springer.com/en_AU
local.type.statusPublished Versionen_AU

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
The Fusemate Logic Programming System.pdf
Size:
244.64 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS