scientific article
From MaRDI portal
Publication:2708314
zbMath0971.03023MaRDI QIDQ2708314
Stéphane P. Demri, Jaroslaw Stepaniuk
Publication date: 30 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexityincomplete informationsatisfiabilitymultimodal logicstolerance rough setsLadner-style algorithm
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (2)
This page was built for publication:
