scientific article
From MaRDI portal
Publication:2734941
zbMath0988.03054MaRDI QIDQ2734941
Publication date: 5 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
dynamic logicmulti-agent systemsdynamic deontic logicdynamic update logiclogic of actionssingle agents
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)
Related Items (5)
Propositional dynamic logic with quantification over regular computation sequences ⋮ Means-end relations and a measure of efficacy ⋮ A graded BDI agent model to represent and reason about preferences ⋮ Don't ever do that! Long-term duties in \(PD_{e}L\) ⋮ A semantics for means-end relations
This page was built for publication:
