TY - BOOK ID - 107407728 TI - Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings AU - Olivetti, Nicola AU - SpringerLink (Online service) PY - 2007 SN - 9783540730996 PB - Berlin Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Programming KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - programmeren (informatica) KW - wiskunde KW - software engineering KW - KI (kunstmatige intelligentie) KW - logica KW - robots UR - https://www.unicat.be/uniCat?func=search&query=sysid:107407728 AB - This volume gathers the research papers presented at the International Conf- ence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007) that took place July 3-6, 2007 in Aix en Provence, France. Thisconferencewasthe16thinaseriesofinternationalmeetingsheldsince1992 (the list is on page VIII). The Program Committee of TABLEAUX 2007 received 43 submissions, 16 of which were accepted for publication in the present proceedings, while 8 were accepted as position papers. In addition to the contributed papers, the program included three excellent keynote talks by Piero Bonatti of Universita ` di Napoli, by John-Jules Meyer of Utrecht University, and by Cesare Tinelli of the University of Iowa. Finally, the program was completed by three tutorials of deep interest: The Tableau Work Bench: Theory and Practice  (Pietro Abate and Rajeev Gor´ e), Tableau Me- ods for Interval Temporal Logics  (Valentin Goranko and Angelo Montanari), and Semistructured Databases and Modal Logic  (Serenella Cerrito). Tableaux and related methods are a convenient formalism for automating deduction in classical as well as in non-classical logics. The papers collected in this volume witness the wide range of logics being covered: from intuitionistic and substructural logics to modal logics (including temporal and dynamic l- ics), from many-valued logics to nonmonotonic logics, from classical ?rst-order logic to description logics. Some contributions are focused on decision pro- dures, others on e?cient reasoning, as well as on implementation of theorem provers. A few papers explore applications such as model-checking, veri?cation, or knowledge engineering. ER -