Modeling the suppression task under weak completion and well-founded semantics

DOI10.1080/11663081.2014.911520zbMATH Open1398.03152OpenAlexW2003531800MaRDI QIDQ4583344FDOQ4583344

Authors: Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard 

Publication date: 28 August 2018

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

Full work available at URL: https://doi.org/10.1080/11663081.2014.911520

Recommendations

• Conditional Reasoning and Relevance
• A core method for the weak completion semantics with skeptical abduction
• A new computational logic approach to reason with conditionals
• From logic programming to human reasoning: how to be artificially human
• Logics with Common Weak Completions

zbMATH Keywords

human reasoningwell-founded semanticsthree-valued logicsweak completion semanticsŁukasiewicz logicsuppression task

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Many-valued logic (03B50) Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• The well-founded semantics for general logic programs
• Title not available (Why is that?)
• A treatise on many-valued logics
• Abductive Logic Programming
• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• A kripke-kleene semantics for logic programs*
• Title not available (Why is that?)
• Contributions to the Theory of Logic Programming
• Tight logic programs
• Title not available (Why is that?)
• A rational reconstruction of nonmonotonic truth maintenance systems
• Computing abduction by using TMS with top-down expectation
• A uniform approach to logic programming semantics
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Well-founded and stationary models of logic programs

Cited In (7)

• Logic Programming, Argumentation and Human Reasoning
• From logic programming to human reasoning: how to be artificially human
• On the cognitive logic of human propositional reasoning: merging ranking functions
• The weak completion semantics and equality
• Conditional Reasoning and Relevance
• A core method for the weak completion semantics with skeptical abduction
• Do humans reason with \(\mathcal{E} \)-matchers?

This page was built for publication: Modeling the suppression task under weak completion and well-founded semantics

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