The Fusemate logic programming system
type: Item
instance of: scholarly article
title: The Fusemate logic programming system
DOI: 10.1007/978-3-030-79876-5_34
author: Peter Baumgartner
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437102
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-030-79876-5 34
OpenAlex ID: W3180158877
cites work: Q4406531
cites work: A Novel Architecture for Situation Awareness Systems
cites work: An Introduction to Description Logic
cites work: Possible models computation and revision -- a practical approach
cites work: LARS: a logic-based framework for analytic reasoning over streams
cites work: External sources of knowledge and value invention in logic programming
cites work: A logic-based calculus of events
cites work: Efficient description logic reasoning in Prolog: The DLog system
cites work: Q3821629
cites work: Hypertableau Reasoning for Description Logics
cites work: Q3348437
cites work: The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
cites work: An alternative approach to the semantics of disjunctive logic programs and deductive databases
cites work: Q4800171
description: scientific article; zbMATH DE number 7437102