Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Communications of the ACM
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
A fascinating country in the world of computing: your guide to automated reasoning
A fascinating country in the world of computing: your guide to automated reasoning
Comparing HOL and MDG: a case study on the verification of an ATM switch fabric
Nordic Journal of Computing
A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction
Proceedings of the International Workshop on Parallelization in Inference Systems
Abduction with Negation as Failure for Active and Reactive Rules
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Hi-index | 0.00 |
We introduce the declarative programming language Indeed that uses both deduction and interaction through multi-agent system applications. The language design is addressed by providing a uniform programming model that combines two refinements of resolution along with some control strategies to introduce state-based descriptions. We show that the logical calculus in which the computational model is based is sound and complete. Finally, we compare our approach to others proposed for coupling interaction with automated deduction.