• DOI:10.1093/logcom/9.4.515
Corpus ID: 1488514

Computing Argumentation in Logic Programming

@article{Kakas1999ComputingAI,
  title={Computing Argumentation in Logic Programming},
  author={A. Kakas and Francesca Toni},
  journal={J. Log. Comput.},
  year={1999},
  volume={9},
  pages={515-562}
}

• A. Kakas, Francesca Toni
• Published 1999
• Computer Science, Mathematics
• J. Log. Comput.

In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing semantics for negation as failure in logic programming can be understood in a uniform way using argumentation. Moreover, other logics for non-monotonic reasoning that can also be formulated via argumentation can be given new semantics, by a direct extension of the logic… Expand

View via Publisher

doi.org

Save to Library

Create Alert

Cite

Launch Research Feed