Jana Koehler
Data & Knowledge Engineering · 2003–2011
A researcher in the Science corpus: 3 papers; trusts 2 researchers and is trusted by 5 researchers here, as inferred from the citation graph.
Whom Jana Koehler trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Jana Koehler overall
Papers from Jana Koehler's perspective
Ordered by how strongly the researchers Jana Koehler trusts endorse each paper. Same corpus, a different order for every researcher.
- Planning as Model Checking
- Simulation, verification and automated composition of web services (The Web Conference)
- Adapting Golog for Composition of Semantic Web Services
- Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
- The semantic Web and its languages
- STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
- SHOP2: An HTN Planning System (Journal of Artificial Intelligence Research)
- Introduction to Automata Theory, Languages and Computation
- Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition
- HTN planning for Web Service composition using SHOP2 (Journal of Web Semantics)
Their papers
- The refined process structure tree (2008) — 418 citations
- Business Process Model and Notation - Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings (2011) — 367 citations
- Web Service Composition - Current Solutions and Open Problems (2003) — 634 citations