Inference in the FO(C) modelling language

MaRDI QIDQ5282961zbMATH OpenFDO

Authors Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche

Publication date 18 July 2017

Full work available at URL https://arxiv.org/abs/1404.6368, http://ebooks.iospress.nl/volumearticle/36925

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• ProbLog Technology for Inference in a Probabilistic First Order Logic
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
• A parallel deduction for description logics with \(\mathcal{ALC}\) language
• Non-standard inferences in description logics

Cited in

(2)

• On well-founded set-inductions and locally monotone operators
• cr-models: An Inference Engine for CR-Prolog

This page was built for publication: Inference in the \(\mathrm{FO(C)}\) modelling language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282961)