A collaborative legal information retrieval system using dynamic logic programming
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Disjunctive logic programs with inheritance
Proceedings of the 1999 international conference on Logic programming
LUPS---a language for updating logic programs
Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Generalizing Updates: From Models to Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Revision Specifications by Means of Programs
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Considerations on Updates of Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Updating Extended Logic Programs through Abduction
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Logical Framework for Modelling eMAS
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
The well supported semantics for multidimensional dynamic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Dynamic logic programming: various semantics are equal on acyclic programs
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. These may represent time (e.g. in updates), specificity (e.g. in taxonomies), strength of updating instance (e.g. in the legislative domain), hierarchical position of knowledge source (e.g. in organizations), etc. The mutual relationships extant among states are used to determine the semantics of the combined theory composed of all the individual theories. Although suitable to encode a single dimension (e.g. time, hierarchies...), DLP cannot deal with more than one simultaneously because it is defined only for a linear sequence of states. To overcome this limitation, we introduce the notion of Multi-dimensional Dynamic Logic Programming (MDLP), which generalizes DLP to collections of states organized in arbitrary acyclic digraphs representing precedence. In this setting, MDLP assigns semantics to sets and subsets of such logic programs. By dint of this natural generalization, MDLP affords extra expressiveness, in effect enlarging the latitude of logic programming applications unifiable under a single framework. The generality and flexibility provided by the acyclic digraphs ensures a wide scope and variety of application possibilities.