Walter Alexandre Carnielli

Artificial Intelligence · 2002–2016

A researcher in the Science corpus: 4 papers; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Walter Alexandre Carnielli trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Henry Prakken
  2. Martin Wigbertus Antonius Caminada

Who trusts Walter Alexandre Carnielli overall

  1. Sanjay Modgil

Papers from Walter Alexandre Carnielli's perspective

Ordered by how strongly the researchers Walter Alexandre Carnielli trusts endorse each paper. Same corpus, a different order for every researcher.

  1. On the evaluation of argumentation formalisms (Artificial Intelligence)
  2. An abstract framework for argumentation with structured arguments (Argument Comput.)
  3. On the Issue of Reinstatement in Argumentation (European Conference on Logics in Artificial Intelligence)
  4. On principle-based evaluation of extension-based argumentation semantics (Artificial Intelligence)
  5. Computing ideal sceptical argumentation (Artificial Intelligence)
  6. SCC-recursiveness: a general schema for argumentation semantics (Artificial Intelligence)
  7. A Logical Account of Formal Argumentation (Studia Logica: An International Journal for Symbolic Logic)
  8. The well-founded semantics for general logic programs
  9. The DLV system for knowledge representation and reasoning (TOCL)
  10. Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

Their papers