9 search results - page 1 / 2 » Concept Projection in Algebras for Computing Certain Answer ... |
DLOG
2009
13 years 2 months ago
2009
DLOG
2003
13 years 6 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
AAAI
2007
13 years 7 months ago
2007
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
WLP
2007
Springer
13 years 11 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
ISLPED
2009
ACM
13 years 11 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...