1.8k citations · 2.1k across the 15 of their papers we have counts for
1 paper · 2 filters
Thomas Eiter, Wolfgang Faber, Nicola Leone +2
We propose a new declarative planning language, called K, which is based on principles and methods of logic programming. In this language, transitions between states of knowledge c…