Title
Efficient Semantic Tableau Generation for Abduction in Propositional Logic.
Abstract
Abduction is a backward chaining inference, finding the best explanations of an observation with regard to a knowledge base in a two-steps process: i) hypotheses generation, and ii) explanations selection according to a minimality criterion.
Year
DOI
Venue
2016
10.3233/978-1-61499-672-9-1756
Frontiers in Artificial Intelligence and Applications
Field
DocType
Volume
Inference,Computer science,Propositional calculus,Backward chaining,Abductive reasoning,Natural language processing,Artificial intelligence,Knowledge base,Method of analytic tableaux
Conference
285
ISSN
Citations 
PageRank 
0922-6389
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Yifan Yang16511.28
de aldama201.35
Jamal Atif330929.49
Isabelle Bloch42123170.75