Foundations of Information and Knowledge Systems [electronic resource] :7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings / edited by Thomas Lukasiewicz, Attila Sali.
by Lukasiewicz, Thomas [editor.]; Sali, Attila [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 7153Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: XII, 405 p. online resource.ISBN: 9783642284724.Subject(s): Computer science | Computer software | Logic design | Computational complexity | Artificial intelligence | Computer Science | Mathematical Logic and Formal Languages | Discrete Mathematics in Computer Science | Logics and Meanings of Programs | Mathematics of Computing | Algorithm Analysis and Problem Complexity | Artificial Intelligence (incl. Robotics)DDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA8.9-QA10.3 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA273.A1-274.9 Stochastic Models in Life Insurance | QC801-809 Deep Crustal Structure of the Son-Narmada-Tapti Lineament, Central India | TK1-9971 The Emerging Domain of Cooperating Objects | QA8.9-QA10.3 Foundations of Information and Knowledge Systems | TP248.13-248.65 Biotechnology in China III: Biofuels and Bioenergy | QC277.9-278.6 High-Temperature Superconductors | KZ6440-6530 Regulation of Sexual Conduct in UN Peacekeeping Operations |
This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.
There are no comments for this item.