TY - BOOK ID - 15936384 TI - Foundations of Information and Knowledge Systems : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings AU - Seipel, Dietmar. AU - Turull-Torres, Jose M. AU - FoIKS 2004 PY - 2004 SN - 3540209654 9786610306848 128030684X 3540246274 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - 681.3*H2 KW - 681.3*H3 KW - 681.3*H5 KW - 681.3*F32 KW - 681.3*I24 KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) KW - Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) KW - 681.3*H3 Information storage and retrieval. Cd-rom KW - Information storage and retrieval. Cd-rom KW - 681.3*F32 Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - 681.3*H2 Database management: security integrity protection--See also {?681.5*E5} KW - Database management: security integrity protection--See also {?681.5*E5} KW - Computerwetenschap--?*H5 KW - ADP systems (Computer systems) KW - Computing systems KW - Systems, Computer KW - Computer science. KW - Computers. KW - Computer logic. KW - Computer science KW - Database management. KW - Information storage and retrieval. KW - User interfaces (Computer systems). KW - Computer Science. KW - Theory of Computation. KW - Database Management. KW - Logics and Meanings of Programs. KW - Discrete Mathematics in Computer Science. KW - Information Storage and Retrieval. KW - User Interfaces and Human Computer Interaction. KW - Mathematics. KW - Computer systems KW - Information technology KW - 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) KW - 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} KW - Database management: security; integrity; protection--See also {?681.5*E5} KW - Electronic systems KW - Cyberinfrastructure KW - Interfaces, User (Computer systems) KW - Human-machine systems KW - Human-computer interaction KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Computer mathematics KW - Discrete mathematics KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Informatics KW - Science KW - Mathematics KW - Information theory. KW - Logic design. KW - Computational complexity. KW - Information storage and retrieva. KW - Complexity, Computational KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Communication theory KW - Communication KW - Information storage and retrieval systems. KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Computer science—Mathematics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:15936384 AB - This volume contains the papers presented at the 3rd International Symposium onFoundationsofInformationandKnowledgeSystems(FoIKS2004),whichwas held in Castle Wilhelminenberg, Vienna, Austria, from February 17th to 20th, 2004. FoIKS is a biennial event focussing on theoretical foundations of information and knowledge systems. It aims at bringing together researchers working on the theoretical foundations of information and knowledge systems and attracting researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series Mathematical Fun- mentals of Database Systems (MFDBS) which enabled East–West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000, and the second FoIKS symposium was held in SalzauCastle(Germany)in2002.FormerMFDBSconferenceswereheldinDr- den (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, 1762, and 2284 of the LNCS series, respectively. In addition the FoIKS symposium was intended to be a forum for intensive discussions. For this reason the time slots for long and short contributions were 50 and 30 minutes, respectively, followed by 20 and 10 minutes for discussions, respectively. Furthermore, participants were asked in advance to prepare to act as correspondents for the contributions of other authors. There were also special sessions for the presentation and discussion of open research problems. ER -