Sanem Sariel
2015
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Sanem Sariel trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Sanem Sariel's perspective
Ordered by how strongly the researchers Sanem Sariel trusts endorse each paper. Same corpus, a different order for every researcher.
- PDDL-the planning domain definition language
- STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
- Toward automatic program synthesis
- Application of Theorem Proving to Problem Solving
- Principles of Artificial Intelligence
- Shakey the Robot
- The First Law of Robotics (A Call to Arms)
- HTN planning for Web Service composition using SHOP2 (Journal of Web Semantics)
- SHOP2: An HTN Planning System (Journal of Artificial Intelligence Research)
- The Description Logic Handbook: Theory, Implementation, and Applications (Description Logic Handbook)