2611 search results - page 56 / 523 » A Logic for Concepts and Similarity |
110
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
117
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
126
click to vote
KI
1992
Springer
15 years 5 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
102
click to vote
APAL
2010
15 years 1 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
116
click to vote
DLOG
2008
15 years 3 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...