Nonmonotonic logic and temporal projection
Artificial Intelligence
Logic programming with strong negation
Proceedings of the international workshop on Extensions of logic programming
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
A logic for programming database transactions
Logics for databases and information systems
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Applications of Transaction Logic to Knowledge Representation
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Formalization of HIPAA for a Medical Messaging System
TrustBus '09 Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
| Hi-index | 0.00 |
This paper introduces TRPAD (Transaction Logic with Partially Defined Actions)--an expressive formalism for reasoning about the effects of compound actions. TRPAD is based on a subset of Transaction Logic, but extends it with special premise-formulas that generalize the data and transition formulas of the original Transaction Logic. We develop a sound and complete proof theory for TRPAD and illustrate the formalism on a number of non-trivial examples. In addition, we show that most of TRPAD is reducible to ordinary logic programming and that this reduction is sound and complete.