A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
EDGE - a graph based tool for specifying interaction
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
A Design Phase Directed Formal Verification Process
Software Quality Control
Clausal resolution in a logic of rational agency
Artificial Intelligence
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
Declarative Representations of Multiagent Systems
IEEE Transactions on Knowledge and Data Engineering
Selected AI-related dissertations
ACM SIGART Bulletin
Connection based strategies for deciding propositional temporal logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |