1486 search results - page 131 / 298 » A Logically Saturated Extension of |
146
click to vote
ATS
2005
IEEE
15 years 8 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
156
click to vote
IJCAI
1997
15 years 7 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
163
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
186
click to vote
ENTCS
2002
15 years 5 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...