The WITAS Unmanned Aerial Vehicle project
(1997-2005) has the long term goal of designing and deploying intelligent
autonomous
aircraft. (Groups: KPLAB, CASL, SCML)
Read
more >
|
The Temporal Action Logic (TAL)
project focusses on the development of temporal logics
for reasoning
about action, change and processes. (Group: KPLAB)
Read
more >
|
The TALplanner project focusses on the
development of a logic-based forward-chaining planner based
on the use of domain-dependent
search control
knowledge represented as formulas in the Temporal Action
Logic formalism. (Group: KPLAB)
Read
more >
|
The Electronic Transactions on Artificial
Intelligence (ETAI) is a novel kind of scientific journal,
with a radically new approach to the concept of scientific
publication. (Group: CASL)
Read
more >
|
The Quantifier Elimination Project (QET)
studies techniques for the constructive reduction of second
order predicate
logic formulas to equivalent and first order formulas.
(Group: KPLAB, SCML)
Read
more >
|
The Approximate Reasoning and Granular Computing Project (ARGC).
(Group: KPLAB, SCML)
Read more > |
