About this book series

The series Lecture Notes in Artificial Intelligence (LNAI) was established in 1988 as a topical subseries of LNCS devoted to artificial intelligence. 

The series publishes state-of-the-art research results at a high level. As with the LNCS mother series, the mission of the series is to serve the international R & D community by providing an invaluable service, mainly focused on the publication of conference and workshop proceedings and postproceedings.

Part of this series
Lecture Notes in Computer Science
Series Editor
  • Randy Goebel,
  • Wolfgang Wahlster,
  • Zhi-Hua Zhou

Book titles in this series

  1. Automated Reasoning

    11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

    Editors:
    • Jasmin Blanchette
    • Laura Kovács
    • Dirk Pattinson
    • Copyright: 2022
    • Published: 14 October 2022

Publish with us

Contact the Publishing Editor
Ronan Nugent

Abstracted and indexed in

  1. DBLP
  2. EI Compendex
  3. INSPEC
  4. SCImago
  5. SCOPUS