IDP-Z3: a reasoning engine for FO(.).

Pierre Carbonnelle Simon Vandevelde Joost Vennekens Marc Denecker

Published in: CoRR (2022)

Keyphrases

reasoning engine
first order logic
transitive closure
knowledge base
ontology reasoning
constraint query languages
fixpoint
bdi agents
relational model
database
query language
expressive power
data structure