Francesco Scarcello
TOCL · 2002
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 3 researchers here, as inferred from the citation graph.
Whom Francesco Scarcello trusts
Their strongest outbound trust, strongest first, inferred from their citations.
- Donald Ervin Knuth (in Graph Learning)
Who trusts Francesco Scarcello
- Benjamin Kaufmann (in Artificial Intelligence)
- Torsten Schaub (in Artificial Intelligence)
- Martin Gebser (in Artificial Intelligence)
Papers from Francesco Scarcello's perspective
Ordered by how strongly the researchers Francesco Scarcello trusts endorse each paper. Same corpus, a different order for every researcher.
- I Computational Complexity
- Extending and implementing the stable model semantics (Artificial Intelligence)
- ASSAT: computing answer sets of a logic program by SAT solvers (Artificial Intelligence)
- The Stanford GraphBase - a platform for combinatorial computing
- A Theory of Diagnosis from First Principles
- Applications of Circumscription to Formalizing Common Sense Knowledge
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
- Circumscription: a form of non-monotonic reasoning
- Towards a Theory of Declarative Knowledge
- The well-founded semantics for general logic programs
Their papers
- The DLV system for knowledge representation and reasoning (2002) — 1,330 citations