First-order abduction as enumeration of stable models

DOI10.1007/978-3-662-54332-0_4zbMATH Open1428.68316OpenAlexW2591424048MaRDI QIDQ2284490FDOQ2284490

Authors: Petr Homola 

Publication date: 15 January 2020

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

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

zbMATH Keywords

abductionnatural language processing

Mathematics Subject Classification ID

Natural language processing (68T50)

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)