2162 search results - page 103 / 433 » Automated Reasoning on Feature Models |
123
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
131
click to vote
KAIS
2008
15 years 3 months ago
2008
This paper focuses on knowledge empowered automated negotiation systems for buyer-centric multi-bilateral multi-attribute e-Procurement. We propose two knowledge empowered models,...
131
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
117
click to vote
EWCBR
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
159
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...