Semantic-based construction of arguments: an answer set programming approach
From MaRDI portal
(Redirected from Publication:899190)
Recommendations
- Argumentation and answer set programming
- Argumentation-based semantics for logic programs with first-order formulae
- A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
- Towards a general argumentation system based on answer-set programming
- Expressing Extension-Based Semantics Based on Stratified Minimal Models
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 1241670 (Why is no real title available?)
- scientific article; zbMATH DE number 741347 (Why is no real title available?)
- scientific article; zbMATH DE number 741348 (Why is no real title available?)
- scientific article; zbMATH DE number 1149418 (Why is no real title available?)
- scientific article; zbMATH DE number 1158758 (Why is no real title available?)
- scientific article; zbMATH DE number 1964822 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- A general account of argumentation with preferences
- A general theory of confluent rewriting systems for logic programming and its applications
- A kripke-kleene semantics for logic programs*
- A logic for default reasoning
- A reasoning model based on the production of acceptable arguments
- Abductive Logic Programming
- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
- Algorithms for generating arguments and counterarguments in propositional logic
- An abstract, argumentation-theoretic approach to default reasoning
- Argument-based extended logic programming with defeasible priorities
- Argumentation Semantics for Defeasible Logic
- Argumentation and answer set programming
- Circumscription - a form of non-monotonic reasoning
- Closure and consistency in logic-associated argumentation
- Complete extensions in argumentation coincide with 3-valued stable models in logic programming
- Defeasible logic programming: an argumentative approach
- Dialectic proof procedures for assumption-based, admissible argumentation
- Fixpoint semantics for logic programming a survey
- Justifying answer sets using argumentation
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming and knowledge representation
- Logics with Common Weak Completions
- Negation as failure using tight derivations for general logic programs
- Negation in logic programming
- Nonmonotonic Logic II
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- On the declarative and procedural semantics of logic programs
- On the equivalence between logic programming semantics and argumentation semantics
- On the evaluation of argumentation formalisms
- Semantical considerations on nonmonotonic logic
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- The well-founded semantics for general logic programs
- Transformation-based bottom-up computation of the well-founded model
- Why are there so many loop formulas?
- XSB: extending Prolog with tabled logic programming
Cited in
(10)- A schema for generating relevant logic programming semantics and its applications in argumentation theory
- Towards a general argumentation system based on answer-set programming
- Argumentation-based semantics for logic programs with first-order formulae
- Expressing Extension-Based Semantics Based on Stratified Minimal Models
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- ASP Based Generation of Information Terms for Constructive ɛℒ
- scientific article; zbMATH DE number 1537943 (Why is no real title available?)
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
- A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
- Approximating agreements in formal argumentation dialogues
This page was built for publication: Semantic-based construction of arguments: an answer set programming approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899190)
