331 search results - page 10 / 67 » Quantified coalition logic |
FPL
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
AGI
2008
15 years 1 months ago
2008
: Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which i...
AIML
2006
15 years 1 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
152
Voted
POPL
2008
ACM
16 years 2 days ago
2008
ACM
101
click to vote
JSYML
2006
14 years 11 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...