vix.ing · top · new · best · stats · spec

Andreas Achen

  1. Dynamic term-modal logics for first-order epistemic planning
    2020/05/27 by Andrés Occhipinti Liberman, Andreas Achen, Rasmus K. Rendsvig +1 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning #Semantic Web and Ontologies