2694 search results - page 116 / 539 » A Description Logic of Change |
STACS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
CSL
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
An important class of color constant image descriptors is based on image derivatives. These derivative-based image descriptors have a major drawback: they are sensitive to changes...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
FLAIRS
1998
13 years 10 months ago
1998
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...