2214 search results - page 135 / 443 » Complexity of Reasoning |
250
Voted
FCSC
2011
14 years 6 months ago
2011
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...
97
Voted
DCC
1998
IEEE
15 years 7 months ago
1998
IEEE
Books and magazines often contain pages containing audacious mixtures of color images and text. Our problem consists in coding the background colors of a such documents without wa...
127
click to vote
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
146
Voted
DLOG
2008
15 years 5 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
108
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...