Vai al contenuto principale della pagina

Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / / edited by Serenella Cerrito, Andrei Popescu



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / / edited by Serenella Cerrito, Andrei Popescu Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Edizione: 1st ed. 2019.
Descrizione fisica: 1 online resource (XXI, 477 p. 2851 illus., 28 illus. in color.)
Disciplina: 511.3
511.36028563
Soggetto topico: Artificial intelligence
Mathematical logic
Computer science—Mathematics
Software engineering
Computer system failures
Artificial Intelligence
Mathematical Logic and Formal Languages
Math Applications in Computer Science
Software Engineering/Programming and Operating Systems
System Performance and Evaluation
Persona (resp. second.): CerritoSerenella
PopescuAndrei
Sommario/riassunto: This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.
Titolo autorizzato: Automated Reasoning with Analytic Tableaux and Related Methods  Visualizza cluster
ISBN: 3-030-29026-3
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910349303903321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Artificial Intelligence ; ; 11714
Automated Deduction – CADE 27 [[electronic resource] ] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / / edited by Pascal Fontaine
Automated Deduction – CADE 26 [[electronic resource] ] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / / edited by Leonardo de Moura
Theorem Proving in Higher Order Logics [[electronic resource] ] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / / edited by Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon
Automated Deduction - CADE-25 [[electronic resource] ] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / / edited by Amy P. Felty, Aart Middeldorp