Herbrand-satisfiability of a Quantified Set-theoretic Fragment.

Domenico Cantone Cristiano Longo Marianna Nicolosi Asmundo

Published in: Fundam. Informaticae (2017)

Keyphrases

set theoretic
automata theoretic
logic programs
image recovery
logic programming
first order logic
propositional logic
satisfiability problem
temporal logic
horn clauses
maximal tractable
phase transition
fixpoint
quantified boolean formulas
signal processing
soft computing
image classification