1341 search results - page 51 / 269 » Logic for Modeling Product Structure |
LOGCOM
2007
13 years 8 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
JOLLI
2008
13 years 8 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
APSEC
2003
IEEE
14 years 1 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
LAI
1996
13 years 9 months ago
1996
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...
KDD
2012
ACM
11 years 10 months ago
2012
ACM
Historical prices are important information that can help consumers decide whether the time is right to buy a product. They provide both a context to the users, and facilitate the...