Abduction via C-tableaux and δ-resolution

DOI10.3166/JANCL.19.211-225zbMath1187.68574OpenAlexW2133004198MaRDI QIDQ3647297

Fernando Soler-Toscano, Atocha Aliseda-Llera, Ángel Nepomuceno-Fernández

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.19.211-225

zbMATH Keywords

first-order logicfinite modelsresolutionsemantic tableauxabductive reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Abductive reasoning. Logical investigations into discovery and explanation
• Gentzen-type systems, resolution and tableaux
• Trees and finite satisfiability: proof of a conjecture of Burgess
• Towards Abductive Reasoning in First-order Logic
• Model-Baded Abduction via Dual Resolution
• First order abduction via tableau and sequent calculi
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Abduction via C-tableaux and δ-resolution