scientific article; zbMATH DE number 7361814
From MaRDI portal
Publication:4994888
zbMath1464.03015arXiv1404.0837MaRDI QIDQ4994888
Publication date: 22 June 2021
Full work available at URL: https://arxiv.org/abs/1404.0837
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Noncooperative games (91A10) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (8)
Together we know how to achieve: an epistemic logic of know-how ⋮ Unnamed Item ⋮ A first-order coalition logic for BDI-agents ⋮ A logic of goal-directed knowing how ⋮ Intelligence in Strategic Games ⋮ Knowing-how under uncertainty ⋮ Natural strategic ability ⋮ On composition of bounded-recall plans
This page was built for publication:
