In this paper we propose a new formalization of the inductive logic programming (ILP) problem for a better handling of exceptions. It is now encoded i...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyo...
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the TECTLK model checking problem is decidable, and...
Case-based reasoning relies heavily on the availability of a highly competent case base to make high-quality decisions. However, good case bases are d...
Billiards is a game of both strategy and physical skill. To succeed, a player must be able to select strong shots, and then execute them accurately an...
