First order abduction via tableau and sequent calculi
From MaRDI portal
Publication:4291873
DOI10.1093/jigpal/1.1.99zbMath0807.03005WikidataQ55970403 ScholiaQ55970403MaRDI QIDQ4291873
Marta Cialdea Mayer, Fiora Pirri
Publication date: 22 June 1994
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: http://jigpal.oxfordjournals.org/content/1/1.toc
03B35: Mechanization of proofs and logical operations
Related Items
Temporal abductive reasoning about biochemical reactions, A logic for best explanations, Intuitive minimal abduction in sequent calculi, Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction, A superposition calculus for abductive reasoning, Inferential conditionals and evidentiality, A conditional logic for abduction, ABox abduction in the description logic \(\mathcal{ALC}\), An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution, Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation, On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations, Quantifier-Free Equational Logic and Prime Implicate Generation, Abduction via C-tableaux and δ-resolution, The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments