3773 search results - page 554 / 755 » Logical Reasoning |
129
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
153
Voted
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the bes...
143
click to vote
AAAI
2000
15 years 6 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
144
click to vote
FSKD
2008
Springer
15 years 6 months ago
2008
Springer
This paper introduces an opinion judgment system that automatically gives advice on whether to recommend this product and furthermore provides corresponding reasons. The core task...
156
Voted
EUSFLAT
2009
15 years 2 months ago
2009
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...