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

Computable Models of the Law (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence) by Giardini, Francesca

Get full text

Multi-Agent-Based Simulation IX (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Neumann, Martin

Get full text

E. Francesconi, S. Montemagni, W. Peters, D. Tiscornia: Semantic Processing of Legal Texts: where the language of law meets the law of language (Lecture notes in computer science: lecture notes in artificial intelligence, Vol 6036): 1st Edition, Springer, 2010, XII, 249 pp, 49.22 by Walter, Stephan

Get full text

Semantic Processing of Legal Texts: where the language of law meets the law of language (Lecture notes in computer science: lecture notes in artificial intelligence, Vol 6036) by Walter, Stephan

Get full text

E. Francesconi, S. Montemagni, W. Peters, D. Tiscornia: Semantic Processing of Legal Texts: where the language of law meets the law of language (Lecture notes in computer science: lecture notes in artificial intelligence, Vol 6036) by Walter, Stephan

“…Issue Title: Special Issue: Linguistic Annotation…”
Get full text

Autonomous Driver Based on an Intelligent System of Decision-Making by Czubenko, Michał, Kowalczuk, Zdzisław, Ordys, Andrew

“… (Kowalczuk and Czubenko in artificial intelligence and soft computing lecture notes in computer science, lecture notes in artificial intelligence, Springer, Berlin, 2010 , 2010 , In Int J Appl Math Comput Sci 21(4):621…”
Get full text

Even linear simple matrix languages: formal language properties and grammatical inference by Fernau, Henning

“… (Pattern Recognition 21 (1988) 55; Proc. 2nd Internat. Colloq. on Grammatical Inference (ICGI-94): Grammatical Inference and Applications, Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence, vol…”
Get full text

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

Identification of function distinguishable languages by Fernau, Henning

“…We show how appropriately chosen functions f which we call distinguishing can be used to make deterministic finite automata backward deterministic. This idea…”
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

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

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

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

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