scientific article
From MaRDI portal
Publication:3425580
zbMath1108.68109MaRDI QIDQ3425580
Marcin Dziubiński, Barbara Dunin-Kȩplicz, Rineke Verbrugge
Publication date: 26 February 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (2)
Logic and social cognition. The facts matter, and so do computational models ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
This page was built for publication: