Efficient Semantic Tableau Generation for Abduction in Propositional Logic.

Yifan Yang Ricardo de Aldama Jamal Atif Isabelle Bloch

Published in: ECAI (2016)

Keyphrases

propositional logic
belief revision
satisfiability testing
proof procedure
first order logic
possibilistic logic
lattice theory
quantified boolean formulae
semantic web
horn logic
artificial intelligence
nonmonotonic reasoning