scientific article; zbMATH DE number 1759385

zbMath0998.68164MaRDI QIDQ4536333

Michael Wooldridge, Alessio Lomuscio

Publication date: 25 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Related Items (10)

Multiagent temporal logics with multivaluations ⋮ Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Interpreted systems and Kripke models for multiagent systems from a categorical perspective ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ Branching time logics with multiagent temporal accessibility relations ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Branching time agents logics, satisfiability problem by rules in reduced form

This page was built for publication: