Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2796)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conference proceedings info: TABLEAUX 2003.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (23 papers)
-
Front Matter
-
Research Papers
About this book
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.
The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.
Keywords
- AI logics
- Automat
- Tableaux methods
- Text
- automated deduction
- automated reasoning
- conditional logics
- formal verification
- hybrid logic
- logic
- logic programming
- logical reasoning
- modal logics
- observation logics
- temporal logics
Editors and Affiliations
-
Dipartimento di Informatica e Automazione, Università di Roma Tre, Roma, Italia
Marta Cialdea Mayer
-
Dipartimento di Informatica e Sistemistica (DIS), Sapienza, University of Rome “Sapienza”, Roma
Fiora Pirri
Bibliographic Information
Book Title: Automated Reasoning with Analytic Tableaux and Related Methods
Book Subtitle: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Editors: Marta Cialdea Mayer, Fiora Pirri
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b12030
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-40787-4Published: 03 September 2003
eBook ISBN: 978-3-540-45206-5Published: 24 October 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 270
Topics: Artificial Intelligence, Number Theory, Computer Science, Programming Techniques, Software Engineering, Formal Languages and Automata Theory