Automated Reasoning with Analytic Tableaux and Related Methods, 1st ed. 2015 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings Lecture Notes in Artificial Intelligence Series
Date de parution : 11-2015
Ouvrage de 355 p.
15.5x23.5 cm
Thème d’Automated Reasoning with Analytic Tableaux and Related... :
Mots-clés :
Automated reasoning; Computational complexity; Linear arithmetic; Modal logic; Proof checking; Coherent logic; Computational geometry; Coq; Description logic; general simplex algorithm; intermediate logic; logic of proofs; normal modal logics; proof theory; qualitative spatiotemporal logic; resolution method; spatiotemporal logic; tableau method; tableaux; theorem prover