Search Results - "Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence"

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings by Cimiano, Philipp, Frank, Anette, Kohlhase, Michael, Stein, Benno

“…This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in…”
Get full text

Database and expert systems applications : 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002 : proceedings by Hameurlain, Abdelkader, Cicchetti, Rosine, Traunmüller, Roland

“…th 2002 DEXA, the 13 International Conference on Database and Expert Systems Applications was held on September 2–6, 2002, at the Université Aix–Marseille II,…”
Get full text

Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications by Berthold, Michael R

“…Artificial Intelligence (incl. Robotics); Data Mining and Knowledge Discovery; Information Systems Applications (incl. Internet); User Interfaces and Human…”
Get full text

Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

“…This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in…”
Get full text

Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

“…This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods,…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on…”
Get full text

MICAI 2009 : advances in artificial intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009 : proceedings by Mexican International Conference on Artificial Intelligence, Hernández Aguirre, Arturo, Borja, Raúl Monroy, Reyes García, Carlos Alberto

“…The Mexican International Conference on Arti?cial Intelligence (MICAI), a yearly international conference organized by the Mexican Society for Arti?cial…”
Get full text

Natural Scientific Language Processing and Research Knowledge Graphs: First International Workshop, NSLP 2024, Hersonissos, Crete, Greece, May 27, 2024, Proceedings by Rehm, Georg, Dietze, Stefan, Krüger, Frank

“…This Open Access book constitutes the refereed proceedings of the First International Workshop on Natural Scientific Language Processing and Research Knowledge…”
Get full text

A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points

Get full text

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings by Ramanayake, Revantha, Urban, Josef

“…This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and…”
Get full text

Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings by Sattler, Uli, Suda, Martin

“…This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech…”
Get full text

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings by Pientka, Brigitte, Tinelli, Cesare

“…This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during…”
Get full text

xxAI - Beyond Explainable AI: International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers by Holzinger, Andreas, xxAI - beyond explainable AI (Workshop) (2020 : Vienna, Austria), International Conference on Machine Learning

“…This is an open access book. Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most successful ML…”
Get full text

Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Platzer, André, Sutcliffe, Geoff

“…This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full…”
Get full text

Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers by Cochez, Michael, Croitoru, Madalina, Marquis, Pierre, Rudolph, Sebastian

“…This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge…”
Get full text

Multiple-Aspect Analysis of Semantic Trajectories: First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings by Tserpes, Konstantinos, Renso, Chiara, Matwin, Stan

“…This open access book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis of Semantic…”
Get full text

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings by Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk

“…This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa,…”
Get full text