Enrico Giunchiglia

International Conference on Computer Aided Verification · 2002–2004

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

Whom Enrico Giunchiglia trusts overall

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

  1. John McCarthy
  2. Vladimir Lifschitz

Who trusts Enrico Giunchiglia overall

  1. Erik T. Mueller

Papers from Enrico Giunchiglia's perspective

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

  1. Applications of Circumscription to Formalizing Common Sense Knowledge
  2. Circumscription: a form of non-monotonic reasoning
  3. Answer set programming and plan generation (Artificial Intelligence)
  4. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
  5. The Logical Form of Action Sentences
  6. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  7. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
  8. Programming a computer for playing chess
  9. Computing Machinery and Intelligence
  10. Human Problem Solving.

Their papers