In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
– A two-layer fuzzy logic controller has been designed for 2-D autonomous navigation of a skid steering vehicle in an obstacle filled environment. The first layer of the fuzzy co...
Lefteris Doitsidis, Kimon P. Valavanis, Nikos Tsou...
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...