LAILA: a language for coordinating abductive reasoning among logic agents

This publication has 19 references indexed in Scilit:

• SLDNFA: An abductive procedure for abductive logic programs
  The Journal of Logic Programming, 1998
• A unifying view for logic programming with non-monotonic reasoning
  Theoretical Computer Science, 1997
• APPLYING AGENT TECHNOLOGY
  Applied Artificial Intelligence, 1995
• Intelligent agents: theory and practice
  The Knowledge Engineering Review, 1995
• Parallel logic programming systems
  ACM Computing Surveys, 1994
• Coordination languages and their significance
  Communications of the ACM, 1992
• The concurrent language, Shared Prolog
  ACM Transactions on Programming Languages and Systems, 1991
• A logical framework for default reasoning
  Artificial Intelligence, 1988
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976