Automated Reasoning with Analytic Tableaux and Related Methods

24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Buch | Softcover

XVI, 355 Seiten

2015 | 1st ed. 2015
Springer International Publishing (Verlag)
978-3-319-24311-5 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015.
The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

Erscheinungsdatum	29.10.2015
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XVI, 355 p. 70 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Applications • artificial intelligence (incl. robotics) • automated reasoning • Coherent logic • Computational Complexity • Computational Geometry • Computer Science • conference proceedings • Coq • description logic • general simplex algorithm • Informatics • intermediate logic • Linear arithmetic • logic of proofs • Modal Logic • normal modal logics • proof checking • Proof theory • qualitative spatiotemporal logic • Research • resolution method • spatiotemporal logic • tableau method • tableaux • theorem prover
ISBN-10	3-319-24311-X / 331924311X
ISBN-13	978-3-319-24311-5 / 9783319243115
Zustand	Neuware