Choose an application

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

Knowledge management --- 681.3*I24 --- 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) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Management of knowledge assets --- Management --- Information technology --- Intellectual capital --- Organizational learning --- Theory of knowledge --- Organization theory

Choose an application

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

Computer architecture. Operating systems --- Semantic Web --- Web sémantique --- Semantic web --- 681.3*C --- 681.3*I24 --- 681.3*H25 --- Semantic integration (Computer systems) --- Semantic networks (Information theory) --- World Wide Web --- Microformats --- Computer systems organization: hardware/software interfaces; instruction set design; system architectures; systems specification methodology --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Heterogeneous databases: data translation; program translation (Database management) --- Semantic Web. --- 681.3*H25 Heterogeneous databases: data translation; program translation (Database management) --- 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) --- 681.3*C Computer systems organization: hardware/software interfaces; instruction set design; system architectures; systems specification methodology --- Web sémantique

Choose an application

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

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.

681.3*H2 --- 681.3*H3 --- 681.3*H5 --- 681.3*F32 --- 681.3*I24 --- 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) --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- 681.3*H3 Information storage and retrieval. Cd-rom --- Information storage and retrieval. Cd-rom --- 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} --- Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*H2 Database management: security integrity protection--See also {?681.5*E5} --- Database management: security integrity protection--See also {?681.5*E5} --- Computerwetenschap--?*H5 --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Computer science. --- Computers. --- Computer logic. --- Computer science --- Database management. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Computer Science. --- Theory of Computation. --- Database Management. --- Logics and Meanings of Programs. --- Discrete Mathematics in Computer Science. --- Information Storage and Retrieval. --- User Interfaces and Human Computer Interaction. --- Mathematics. --- Computer systems --- Information technology --- 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) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 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} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Database management: security; integrity; protection--See also {?681.5*E5} --- Electronic systems --- Cyberinfrastructure --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- 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 --- Computer mathematics --- Discrete mathematics --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Mathematics --- Information theory. --- Logic design. --- Computational complexity. --- Information storage and retrieva. --- Complexity, Computational --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- 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 --- Digital libraries --- Information organization --- Information retrieval --- Computer science—Mathematics.