Nicola Leone

TOCL · 2002–2019

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

Whom Nicola Leone trusts overall

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

  1. Raymond Reiter
  2. Donald Ervin Knuth
  3. Fangzhen Lin
  4. Patrik Simons
  5. Ilkka Niemelä
  6. H. Nader

Who trusts Nicola Leone overall

  1. Martin Gebser
  2. Benjamin Kaufmann
  3. Thomas Eiter
  4. Torsten Schaub
  5. Roland Kaminski

Papers from Nicola Leone's perspective

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

  1. I Computational Complexity
  2. Extending and implementing the stable model semantics (Artificial Intelligence)
  3. ASSAT: computing answer sets of a logic program by SAT solvers (Artificial Intelligence)
  4. The Stanford GraphBase - a platform for combinatorial computing
  5. A Theory of Diagnosis from First Principles
  6. Applications of Circumscription to Formalizing Common Sense Knowledge
  7. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  8. Circumscription: a form of non-monotonic reasoning
  9. Towards a Theory of Declarative Knowledge
  10. The well-founded semantics for general logic programs

Their papers