Logic Programming, Argumentation and Human Reasoning

DOI10.1007/978-3-030-44638-3_4OpenAlexW3013121946MaRDI QIDQ5098742

Emmanuelle-Anna Dietz Saldanha, Marcos Cramer

Publication date: 30 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-44638-3_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Empirical study on human evaluation of complex argumentation frameworks
• On the equivalence between logic programming semantics and argumentation semantics
• SCC-recursiveness: a general schema for argumentation semantics
• Stage semantics and the SCC-recursive schema for argumentation semantics
• A kripke-kleene semantics for logic programs*
• The well-founded semantics for general logic programs
• Modeling the suppression task under weak completion and well-founded semantics
• Abductive Logic Programming
• Logic Programs under Three-Valued Łukasiewicz Semantics

This page was built for publication: Logic Programming, Argumentation and Human Reasoning