Argumentation-Based Semantics for Logic Programs with First-Order Formulae

DOI10.1007/978-3-319-44832-9_3zbMath1392.68136OpenAlexW2529304428MaRDI QIDQ4571139

Phan Minh Thang, Phan Minh Dung, Tran Cao Son

Publication date: 6 July 2018

Published in: PRIMA 2016: Princiles and Practice of Multi-Agent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-44832-9_3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• CDAOstore

Cites Work

• An abstract, argumentation-theoretic approach to default reasoning
• Answer set programming and plan generation
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Logic programs with stable model semantics as a constraint programming paradigm
• FLP answer set semantics without circular justifications for general logic programs
• CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
• A Constructive semantic characterization of aggregates in answer set programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The well-founded semantics for general logic programs
• An argumentation-theoretic foundation for logic programming
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with monotone abstract constraint atoms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Argumentation-Based Semantics for Logic Programs with First-Order Formulae