Expressing Extension-Based Semantics Based on Stratified Minimal Models

DOI10.1007/978-3-642-02261-6_25zbMath1246.68213OpenAlexW1533980545MaRDI QIDQ3638292

Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieves

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_25

zbMATH Keywords

nonmonotonic reasoninglogic programmingextension-based argumentation semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Argumentation in artificial intelligence
• Coherence in finite argument systems.
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• SCC-recursiveness: a general schema for argumentation semantics
• A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
• Logics with Common Weak Completions
• Preferred extensions as stable models
• The well-founded semantics for general logic programs

This page was built for publication: Expressing Extension-Based Semantics Based on Stratified Minimal Models