✦ LIBER ✦

Programming Rational Agents in a Modal Action Logic

✍ Scribed by Matteo Baldoni; Alberto Martelli; Viviana Patti; Laura Giordano

Book ID: 111570639
Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 471 KB
Volume: 41
Category: Article
ISSN: 1012-2443
DOI: 10.1023/b:amai.0000031196.24935.b5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal extension of logic programming sys

Modal extension of logic programming systems

✍ A. V. Pozharskii 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 295 KB

Toward a programming theory for rational

Toward a programming theory for rational agents

✍ K. V. Hindriks; J.-J. Ch. Meyer 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 355 KB

Mechanising a Modal Logic for Value-Pass

Mechanising a Modal Logic for Value-Passing Agents in HOL

✍ Monica Nesi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 906 KB

An extension of Hennessy-Milner logic to value-passing CCS is embedded in the HOL system. The resulting proof environment allows one to formally verify modal properties of communicating agents, which are de ned over an in nite value domain.

A Study in Modal Logic

✍ HÅKAN. TÖRNEBOHM 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 443 KB

Standard forms for rational linear arith

Standard forms for rational linear arithmetic in constraint logic programming

✍ Pascal Van Hentenryck; Thomas Graf 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 879 KB

A Companion to Philosophical Logic || Ac

A Companion to Philosophical Logic || Actions and Normative Positions: A Modal-Logical Approach

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 81 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.