Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014. The 14 revised full papers presented together with 5 revised short papers and two invited talks were carefully reviewed and selected from 52 submissions. The papers address various topics such as database design, dynamics of information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery and information retrieval, knowledge representation, reasoning and planning, logics in databases and AI, mathematical foundations, security in information and knowledge Systems, semi-structured data and XML, social computing, the semantic Web and knowledge management, as well as the WWW.

Mathematical logic --- Logic --- Complex analysis --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexiteit --- discrete wiskunde --- complexe analyse (wiskunde) --- bedrijfssoftware --- computers --- informatica --- ontwerpen --- webdesign --- programmeren (informatica) --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- computerkunde --- robots --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014. The 14 revised full papers presented together with 5 revised short papers and two invited talks were carefully reviewed and selected from 52 submissions. The papers address various topics such as database design, dynamics of information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery and information retrieval, knowledge representation, reasoning and planning, logics in databases and AI, mathematical foundations, security in information and knowledge Systems, semi-structured data and XML, social computing, the semantic Web and knowledge management, as well as the WWW.

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). --- Computer systems --- Information technology --- Database design --- Computer logic --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- ADP systems (Computer systems) --- Computing systems --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Complexity, Computational --- Design, Logic --- Design of logic systems --- Software, Computer --- Informatics --- Systems, Computer --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Mathematics. --- Electronic systems --- Cyberinfrastructure --- Artificial Intelligence. --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Science --- Computer science—Mathematics. --- Algorism --- Algebra --- Arithmetic --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

We are proud to present the proceedings of the 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2007) which, following Pisa (1997), Heraklion (1998), Paris (1999), Lisbon (2000), Da- stadt (2001), Rome (2002), Trondheim (2003), Bath (2004), Vienna (2005) and Alicante (2006), took place on September 16-21, 2007 in Budapest, Hungary. Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld of digital libraries, and has formed a substantial body of scholarly publications contained in the conference proceedings. ECDL 2007 featured separate calls for paper and poster submissions, - sulting in 119 full papers and 34 posters being submitted to the conference. All papers were subject to an in-depth peer-review process; three reviews per submission were produced by a Program Committee of 69 members from 27 countries. In total 36 of 119 full paper submissions were accepted at the P- gram Committee meeting for presentation at the conference and publication in the proceedings with Springer, resulting in an acceptance rate of 30%. Also, 24 poster/demo submissions and another 15 papers from the full paper submissions wereacceptedforposterpresentationandpublicationintheproceedingsvolume.

Digital libraries --- Information storage and retrieval systems --- Bibliothèques virtuelles --- Systèmes d'information --- Congresses --- Congrès --- Computer Science --- Library & Information Science --- Engineering & Applied Sciences --- Social Sciences --- Library science --- Technological innovations --- Bibliothèques virtuelles --- Systèmes d'information --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Librarianship --- Library economy --- Digital curation --- Digital media collections --- Digital media libraries --- Digital repositories --- Electronic libraries --- Electronic publication collections --- Electronic publication libraries --- Electronic text collections --- Repositories, Digital --- Virtual libraries --- Computer science. --- Library science. --- Computers. --- Database management. --- Information storage and retrieval. --- Multimedia information systems. --- Computer Science. --- Information Storage and Retrieval. --- Theory of Computation. --- Library Science. --- Database Management. --- Information Systems Applications (incl. Internet). --- Multimedia Information Systems. --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Bibliography --- Documentation --- Information science --- Informatics --- Science --- Libraries --- Web archives --- Congresses. --- Information storage and retrieva. --- Information theory. --- Multimedia systems. --- Communication theory --- Communication --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

We are proud to present the proceedings of the 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2007) which, following Pisa (1997), Heraklion (1998), Paris (1999), Lisbon (2000), Da- stadt (2001), Rome (2002), Trondheim (2003), Bath (2004), Vienna (2005) and Alicante (2006), took place on September 16-21, 2007 in Budapest, Hungary. Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld of digital libraries, and has formed a substantial body of scholarly publications contained in the conference proceedings. ECDL 2007 featured separate calls for paper and poster submissions, - sulting in 119 full papers and 34 posters being submitted to the conference. All papers were subject to an in-depth peer-review process; three reviews per submission were produced by a Program Committee of 69 members from 27 countries. In total 36 of 119 full paper submissions were accepted at the P- gram Committee meeting for presentation at the conference and publication in the proceedings with Springer, resulting in an acceptance rate of 30%. Also, 24 poster/demo submissions and another 15 papers from the full paper submissions wereacceptedforposterpresentationandpublicationintheproceedingsvolume.

Graphics industry --- Programming --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- grafische technieken --- informatica --- multimedia --- informatiesystemen --- database management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- informatica --- informatiesystemen --- database management