Design and analysis of algorithms, knowledge bases laboratory

Research activity description

You can see something from the list following by clicking on the appropriate word each time:

Algorithms and Complexity: Design and Analysis of Algorithms, Worst Case Analysis, Average Case Analysis, Probabilistic Algorithms, Parallel Algorithms.

Knowledge Bases: logical query languages, query optimization techniques, expressiveness of query languages, methods and techniques for processing in a parallel environment, evaluation of logical queries processing strategies, Datalog (i.e. Prolog without function symbols), fixpoint queries, constraint databases.

Constraint Logic Programming: Datalog with constraints, develop algorithms for CLP interpreters.

Knowledge Representation and Reasoning: knowledge representation in hypertext environment, reasoning about probabilities, modelling knowledge and beliefs of agents acting in a complex world, common knowledge, the formal aspects of reasoning about agents' actions and plants: this implies the ability of intelligent agents to reason about the effects of their actions and to form plans of action in order to achieve some given goals (definition of planning systems).

Programme Synthesis: programme synthesis from examples, restricted programme synthesis, implementation algorithms, interactive proof systems, proofs as programmes.

You can see something from the list following by clicking on the appropriate word each time:

Back to CSD Page