Automated Reasoning with Analytic Tableaux and Related Methods.
The 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings.
Together with C. Nalon (eds),
Lecture Notes in Artificial Intelligence,
Vol. 10501,
Springer.
Abstract, BiBTeX, DOI Link. |
Frontiers of Combining Systems-FroCoS 2013.
9th International Symposium on Frontiers of Combining Systems, Nancy, September 18-20, 2013. Proceedings.
Together with P. Fontaine and C. Ringeissen (eds).
Lecture Notes in Artificial Intelligence,
Vol. 8152,
Springer.
Abstract, BiBTeX, DOI Link. |
Special Issue of Selected Extended Papers of CADE-22.
Together with Brigitte Pientka (eds).
Journal of Automated Reasoning 47 (2) (2011).
BiBTeX, Editorial, Special issue. |
Special issue on Practical Aspects of Automated Reasoning.
Together with B. Konev and S. Schulz (eds).
AI Communications 23 (2-3) 67-68.
BiBTeX, Editorial, Special issue. |
Reasoning Web: Semantic Technologies for Information Systems.
5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009, Tutorial Lectures.
Together with Tessaris, S., Franconi, E., Eiter, Th., Gutierrez, C., Handschuh, S., Rousset, M.-C. (eds),
Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet/Web, and HCI,
Vol. 5689,
Springer.
Abstract, BiBTeX, DOI Link. |
Automated Deduction-CADE-22. 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings.
Schmidt, R. A. (ed),
Lecture Notes in Artificial Intelligence,
Vol. 5663,
Springer.
Abstract, BiBTeX, DOI Link. |
Special issue on Empirically Successful Computerized Reasoning.
Together with G. Sutcliffe and S. Schulz (eds).
Journal of Applied Logic 7 (1).
Abstract, BiBTeX, Link to JAL. |
Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications.
Together with D. M. Gabbay and A. Szalas.
Studies in Logic: Mathematical Logic and Foundations,
Vol. 12,
College Publications.
Back-cover, BiBTeX, Publisher's info. Order at amazon.co.uk, Order at amazon.com, Order at amazon.de. |
Special issue on Relations and Kleene Algebras in Computer Science.
Together with G. Struth (eds).
Journal of Logic and Algebraic Programming 76 (1).
Abstract, BiBTeX, Link to JLAP. |
Relations and Kleene Algebra in Computer Science: Proceedings of RelMiCS/AKA 2006.
Schmidt, R. A. (ed),
Lecture Notes in Computer Science,
Vol. 4136,
Springer.
Abstract, BiBTeX, DOI Link. |
Special issue on Implementation of Logics.
Together with B. Konev and S. Schulz (eds).
Journal of Applied Non-Classical Logic 16 (1-2).
Abstract, BiBTeX, Full text via JANCL. |
Advances in Modal Logic, Volume 5.
Together with I. Pratt-Hartmann, M. Reynolds, and H. Wansing (eds).
King's College Publications,
London.
Abstract, BiBTeX, Online version. |