Login

Seminars

Combining Machine Learning with Automated Reasoning in Large Formal Knowledge Bases

Seminars

2010-10-06 14:00:00

Presenter

Josef Urban,

A Constraint Composition Approach for Numerical CSPs

Seminars

2010-06-23 14:00:00

Presenter

Jorge Cruz,

Asynchronous Lease-based Replication of Software Transactional Memory

Seminars

2010-06-16 14:00:00

Presenter

Nuno Carvalho,

Validation of Meris Marine Products at Several European Coastal Basins

Seminars

2010-06-09 14:00:00

Presenter

Tamito Kajiyama, Ankica Barisic, Ankica Barisic, Giuseppe Zibordi, Jean-Paul Huot,

Semantic networks and spreading activation method for Question Answering

Seminars

2010-05-26 14:00:00

Presenter

Ankica Barisic,

Responsive Choice in Mobile Processes

Seminars

2010-05-19 14:00:00

Presenter

Maxime Gamboni,

Parallel and Distributed Compressed Indexes

Seminars

2010-05-12 14:00:00

Presenter

Ankica Barisic,

Semantic Diff as the Basis for Knowledge Base Versioning

Seminars

2010-04-28 14:00:00

Presenter

Ankica Barisic,

Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning

Seminars

2010-04-14 14:00:00

Presenter

Torsten Schaub,

Efficient learning and evaluation of complex concepts in Inductive Logic Programming

Seminars

2010-04-07 14:00:00

Presenter

Ankica Barisic,