The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 68, 2024. The 56 full papers prese...Lasīt vairāk
This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. The 20 full papers and 1 short paper includ...Lasīt vairāk
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were...Lasīt vairāk
Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano
Sērija : Lecture Notes in Artificial Intelligence
(Izdošanas datums: 23-May-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642213496)
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congres...Lasīt vairāk
(Izdošanas datums: 23-Sep-2009, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642048920)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China...Lasīt vairāk
(Izdošanas datums: 12-May-2009, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642018145)
This book constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009.The 15 revised full papers presented were carefully reviewed and selected from 29 s...Lasīt vairāk
Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek
Sērija : Lecture Notes in Artificial Intelligence
(Izdošanas datums: 28-Mar-2008, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540789208)
This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, CLA 2006, held in Tunis, Tunisia, October 30-November 1, 2006.The 18 revised full papers together with 3 invit...Lasīt vairāk
(Izdošanas datums: 23-Oct-2000, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540412854)
This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion Island, France in November 2000.The 26 revised full papers presented together with fou...Lasīt vairāk
(Izdošanas datums: 18-Jul-1995, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540600589)
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.This book is concerned...Lasīt vairāk
(Izdošanas datums: 01-Jul-1996, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540615118)
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC 96.The volume presents 46 revised regular papers selected fr...Lasīt vairāk
(Izdošanas datums: 26-Apr-1995, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540593386)
Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU 95, held at Schloss Rheinfels, St Goar, Germany in May 1995. This book is organized in sections on extensions, moda...Lasīt vairāk
(Izdošanas datums: 26-Feb-1993, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540564331)
This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop on Nonmonotonic and InductiveLogic, NIL 91, whichtook place at Reinhardsbrunn Castle, December 2-6, 1991....Lasīt vairāk
(Izdošanas datums: 19-Aug-1992, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540558873)
The volume contains 2 invited addresses and 21 selectedpapers covering such topics as:- Logical foundations of logic programming andknowledge-based systems,- Automated theorem proving,- Partial and dynamic logics,- Systems of nonmo...Lasīt vairāk
(Izdošanas datums: 20-Sep-1989, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540517054)
Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References....Lasīt vairāk
