2573 search results - page 222 / 515 » Combinations of Modal Logics |
148
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
141
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
193
click to vote
ARVLSI
2001
IEEE
15 years 10 months ago
2001
IEEE
Output Prediction Logic (OPL) is a technique that can be applied to conventional CMOS logic families to obtain considerable speedups. When applied to static CMOS, OPL retains the ...
175
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
187
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this pap...