1331 search results - page 91 / 267 » Description logic reasoning using the PTTP approach |
143
click to vote
IJCAI
1993
15 years 7 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
147
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
145
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Reliable prediction of parametric yield for a specific design is difficult; a significant reason is the reliance of the yield estimation methods on the hard-to-measure distributio...
158
click to vote
EWSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
167
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...