1 citations · 1 across the 1 of their papers we have counts for
1 paper
Felicidad Aguado, Pedro Cabalar, Martin Dieguez +4
We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. Such programs are the re…