Decidability of difference logics with unary predicates.

Bernard Boigelot Pascal Fontaine Baptiste Vergain

Published in: SC-Square@FLoC (2022)

Keyphrases

decision procedures
modal logic
pairwise
expressive power
description logics
computational properties
inference rules
data sets
databases
neural network
expert systems
natural language processing
user defined
query answering
horn clauses
conditional logic