238 search results - page 32 / 48 » Proof-Theoretic Approach to Description-Logic |
146
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
135
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
149
Voted
IJBRA
2007
15 years 4 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
140
click to vote
DLOG
2009
15 years 2 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
147
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...