Human conditional reasoning in answer set programming

DOI10.1017/S1471068423000376MaRDI QIDQ7027167zbMATH OpenFDO

Authors Chiaki Sakama

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1471068423000376

zbMATH Keywords

answer-set programmingcompletionhuman conditional reasoningpragmatic inference

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• A kripke-kleene semantics for logic programs*
• A logic for default reasoning
• Abductive Logic Programming
• Computational logic and human thinking. How to be artificially intelligent
• Computing extended abduction through transaction programs
• Counterfactuals.
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1250686 (Why is no real title available?)
• scientific article; zbMATH DE number 194907 (Why is no real title available?)
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Negation as failure in the head
• On the Relationship Between Abduction and Deduction
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Strongly equivalent logic programs
• The IFF proof procedure for abductive logic programming

This page was built for publication: Human conditional reasoning in answer set programming

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