3446 search results - page 220 / 690 » A Reasoning Algorithm for pD* |
113
click to vote
AI
2007
Springer
15 years 4 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
130
click to vote
KI
2006
Springer
15 years 4 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
147
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
In this paper, we show how a user profile can be enhanced when a more detailed description of the products is included. Two main assumptions have been considered: the first implie...
125
click to vote
TCAD
2008
15 years 4 months ago
2008
Boolean matching is one of the enabling techniques for technology mapping and logic resynthesis of Field Programmable Gate Array (FPGA). SAT-based Boolean matching (SAT-BM) has bee...
129
Voted
CL
2004
Springer
15 years 4 months ago
2004
Springer
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...