According to the paradigm of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent time (as in updates), specificity (as in taxonomics), strength of the updating instance (as in the legislative domain), hierarchical position of knowledge source (as in organizations), etc. The mutual relationships extant between different states are used to determine the semantics of the combined...
%0 Journal Article
%1 citeulike:1661074
%A ao A. Leite, Jo\
%A Alferes, José J.
%A Pereira, Lu\'M.
%D 2001
%J Lecture Notes in Computer Science
%K multidimensional\_logic, semantics
%T Multi-dimensional Dynamic Knowledge Representation
%U http://citeseer.ist.psu.edu/leite01multidimensional.html
%V 2173
%X According to the paradigm of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent time (as in updates), specificity (as in taxonomics), strength of the updating instance (as in the legislative domain), hierarchical position of knowledge source (as in organizations), etc. The mutual relationships extant between different states are used to determine the semantics of the combined...
@article{citeulike:1661074,
abstract = {According to the paradigm of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent time (as in updates), specificity (as in taxonomics), strength of the updating instance (as in the legislative domain), hierarchical position of knowledge source (as in organizations), etc. The mutual relationships extant between different states are used to determine the semantics of the combined...},
added-at = {2009-12-11T23:34:46.000+0100},
author = {ao A. Leite, Jo\ and Alferes, Jos\'e J. and Pereira, Lu\'\is M.},
biburl = {https://www.bibsonomy.org/bibtex/2f99da76f9e144a5c1025206778b6b967/djsaab},
citeulike-article-id = {1661074},
citeulike-linkout-0 = {http://citeseer.ist.psu.edu/leite01multidimensional.html},
citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/leite01multidimensional.html},
citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/leite01multidimensional.html},
citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/leite01multidimensional.html},
description = {djsaab's CiteULike library 20091211},
interhash = {824df379e27544553ce9bb33414ba557},
intrahash = {f99da76f9e144a5c1025206778b6b967},
journal = {Lecture Notes in Computer Science},
keywords = {multidimensional\_logic, semantics},
posted-at = {2007-09-15 18:05:22},
priority = {2},
timestamp = {2009-12-11T23:35:11.000+0100},
title = {Multi-dimensional Dynamic Knowledge Representation},
url = {http://citeseer.ist.psu.edu/leite01multidimensional.html},
volume = 2173,
year = 2001
}