3 citations · 5 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020★ 1 cited
Temporal Answer Set Programming
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…
cs.AI2016
Equilibrium Graphs
Pedro Cabalar, Carlos Pérez, Gilberto Pérez
In this paper we present an extension of Peirce's existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this forma…