First-order abduction as enumeration of stable models

DOI10.1007/978-3-662-54332-0_4MaRDI QIDQ2284490zbMATH OpenOpenAlexFDO

Authors Petr Homola

Publication date 15 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-54332-0_4

zbMATH Keywords

abductionnatural language processing

Mathematics Subject Classification ID

Natural language processing (68T50)

Recommendations

• First order abduction via tableau and sequent calculi
• scientific article; zbMATH DE number 139760
• scientific article; zbMATH DE number 1301853
• On First-Order Model-Based Reasoning
• First-order stable model semantics and first-order loop formulas
• Abductive Equivalence in First-order Logic
• Towards Abductive Reasoning in First-order Logic
• First-order theories of abstract dependence relations
• scientific article; zbMATH DE number 500950
• Automatic models of first order theories

Cited in

(2)

• On First-Order Model-Based Reasoning
• Modeling variations of first-order Horn abduction in answer set programming

This page was built for publication: First-order abduction as enumeration of stable models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2284490)