Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
A logical framework for default reasoning
Artificial Intelligence
Linear objects: logical processes with built-in inheritance
Logic programming
Using meta-logic to reconcile reactive with rational agents
Meta-logics and logic programming
A unifying view for logic programming with non-monotonic reasoning
Theoretical Computer Science
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Distributed Intelligent Agents
IEEE Expert: Intelligent Systems and Their Applications
Intelligent Agents: Where AI Meets Information Technology
IEEE Expert: Intelligent Systems and Their Applications
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
Special track on coordination models, languages and applications
Proceedings of the 1999 ACM symposium on Applied computing
Informatics creativity: a role for abductive reasoning?
Communications of the ACM
| Hi-index | 0.02 |