4401 search results - page 248 / 881 » Computing with Default Logic |
117
click to vote
LICS
1998
IEEE
15 years 9 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...
143
click to vote
ENGL
2006
15 years 5 months ago
2006
We develop a tracking controller for the dynamic model of unicycle mobile robot by integrating a kinematic controller and a torque controller based on Fuzzy Logic Theory. Computer ...
195
click to vote
IJAR
2006
15 years 5 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
173
click to vote
APAL
2005
15 years 5 months ago
2005
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
152
click to vote
LOGCOM
2007
15 years 5 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...