Hector Muñoz-Avila

1999

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

Whom Hector Muñoz-Avila trusts

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

  1. Fahiem Bacchus (in Artificial Intelligence)
  2. Froduald Kabanza (in Artificial Intelligence)

Who trusts Hector Muñoz-Avila

  1. Dana S. Nau (in LLM Agents & Tool Use)

Papers from Hector Muñoz-Avila's perspective

Ordered by how strongly the researchers Hector Muñoz-Avila trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Planning as Search: A Quantitative Approach
  2. Using temporal logics to express search control knowledge for planning (Artificial Intelligence)
  3. The First Law of Robotics (A Call to Arms)
  4. On the Complexity of Blocks-World Planning
  5. Application of Theorem Proving to Problem Solving
  6. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
  7. Reasoning about knowledge
  8. Backdoors to typical case complexity (International Joint Conference on Artificial Intelligence)
  9. Constraint Processing (Encyclopedia of Artificial Intelligence)
  10. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)

Their papers