From logic programming towards multi‐agent systems

@article{Kowalski1999FromLP,
  title={From logic programming towards multi‐agent systems},
  author={Robert A. Kowalski and Fariba Sadri},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={1999},
  volume={25},
  pages={391-419}
}
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a single agent but also for the “reactive” component and that can encompass multi‐agent systems. We modify an earlier abductive proof procedure and embed it within an agent cycle. The proof procedure incorporates abduction, definitions and integrity constraints within a dynamic environment, where changes can be observed as inputs. The definitions allow rational planning… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
100 Citations
31 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 100 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 31 references

V.S.Subrahmanian and George Pick .Heterogeneous active agents, I

  • Thomas Eiter
  • AI Journal,
  • 1999
Highly Influential
4 Excerpts

Subrahmanian and George Pick . Heterogeneous active agents

  • A. Krall, U. Geske, V. S. Thomas Eiter
  • 1999

Similar Papers

Loading similar papers…