An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
Bernhard K. Aichernig, Harald Brandl, Willibald Kr...
Abstract. Teleradiology, which enables distribution and sharing of digital medical images for collaborative diagnosis, has enjoyed rapid success due to the advances in telecommunic...
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
We are developing a general argumentation framework for implementing tutoring feedback in the form of persuasive dialogues. The objective is to have an intelligent tutoring system ...
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
Lars Blackmore, Askar Bektassov, Masahiro Ono, Bri...