Topics
FoIKS 2004 solicites contributions dealing with any foundational aspect
of information and knowledge systems. Typical, but not exclusive topics
of interest are:
- Mathematical Foundations:
discrete methods, boolean functions, finite model theory
- Database Design:
formal models, dependency theory, schema translations,
desirable properties
- Query Languages:
expressiveness, computational and descriptive complexity,
query languages for advanced data models,
classifications of computable queries
- Semi-Structured Databases and WWW:
models of web databases, querying semi-structured databases,
web transactions and negotiations
- Security in Data and Knowledge Bases:
cryptography, steganography, information hiding
- Integrity and Constraint Management:
verification, validation, and enforcement of consistency,
triggers
- Information Integration:
heterogenous data, views, schema dominance and equivalence
- Database and Knowledge Base Dynamics:
models of transactions, models of interaction,
updates, consistency preservation,
concurrency control
- Intelligent Agents:
multi-agent systems, autonomous agents,
foundations of software agents, cooperative agents
- Logics in Databases and AI:
non-classical logics, spatial and temporal logics,
probabilistic logics, deontic logic, logic programming
- Knowledge Representation:
planning, description logics, knowledge and belief,
belief revision and update, non-monotonic formalisms, uncertainty
- Reasoning Techniques:
theorem proving, abduction, induction,
constraint satisfaction, common-sense reasoning,
probabilistic reasoning, reasoning about actions