2611 search results - page 141 / 523 » A Logic for Concepts and Similarity |
110
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
119
click to vote
FSTTCS
2000
Springer
15 years 5 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
115
Voted
AICOM
2006
15 years 1 months ago
2006
This paper introduces a compact representation which helps to avoid the exponential blow-up in space of the Least Common Subsumer (lcs) of two ALEconcept descriptions. Based on th...
108
click to vote
ISMVL
2007
IEEE
15 years 8 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
108
click to vote
DALT
2006
Springer
15 years 5 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...