177 search results - page 11 / 36 » Computational Logic in an Object-Oriented World |
DLOG
2009
13 years 5 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
VRCAI
2004
ACM
14 years 1 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
CLIMA
2006
13 years 9 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
FOCI
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents the geometric defuzzifier for generalised type-2 fuzzy sets. This defuzzifier can be executed in real-time and can therefore be applied to control and other rea...
DEXA
2000
Springer
14 years 1 days ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...