Modality Argumentation Programming

DOI10.1007/11681960_29MaRDI QIDQ3619462zbMATH OpenOpenAlexFDO

Authors Juan Carlos Nieves, Ulises Cortés

Publication date 7 April 2009

Published in Modeling Decisions for Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11681960_29

zbMATH Keywords

argumentationdecision-makinglogic programmingrational agents

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Modal provability foundations for argumentation networks
• Computing argumentation in logic programming
• Argumentation and answer set programming
• Modal logic programming revisited
• Argumentation in disjunctive logic programming
• A proof theorical framework for argumentation modeling
• Multimodal logic programming
• A modal extension of logic programming: modularity, beliefs and hypothetical reasoning

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Aggregation in functional query languages
• Applications of intuitionistic logic in Answer Set Programming
• Logic and structure.
• Stable inference as intuitionistic validity
• The well-founded semantics for general logic programs
• Theory of partial-order programming

Cited in

(2)

• Modal provability foundations for argumentation networks
• Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

This page was built for publication: Modality Argumentation Programming

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