✦ LIBER ✦

From logic programming towards multi‐agent systems

✍ Scribed by Robert Kowalski; Fariba Sadri

Book ID: 110379739
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 153 KB
Volume: 25
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018934223383

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rapid Prototyping of Large Multi-Agent S

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming

✍ W. Vasconcelos; D. Robertson; C. Sierra; M. Esteva; J. Sabater; M. Wooldridge 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 494 KB

Translating Multi-Agent Autoepistemic Lo

Translating Multi-Agent Autoepistemic Logic into Logic Program

✍ Toyama Katsuhiko; Kojima Takahiro; Inagaki Yasuyoshi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 213 KB

Alternating-time stream logic for multi-

Alternating-time stream logic for multi-agent systems

✍ Sascha Klüppelholz; Christel Baier 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 925 KB

Compositional Verification of Multi-Agen

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

✍ Joeri Engelfriet; Catholijn M. Jonker; Jan Treur 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 202 KB

A Logic Based Asynchronous Multi-Agent S

A Logic Based Asynchronous Multi-Agent System

✍ Pierangelo Dell'Acqua; Ulf Nilsson; Luís Moniz Pereira 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 200 KB

We present a logic programming based asynchronous multi-agent system in which agents can communicate with one another; update themselves and each other; abduce hypotheses to explain observations, and use them to generate actions. The knowledge base of the agents is comprised of generalized logic pro

Towards a fuzzy logic programming system

Towards a fuzzy logic programming system: a fuzzy propositional logic

✍ Paul C. Rhodes; Sabah Merad Menani 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 1017 KB