Multi-dimensional dynamic knowledge representation (2001)

by J Leite, J Alferes, L Pereira
Venue:Logic Programming and Nonmotonic Reasoning