4737 search results - page 67 / 948 » The LOGIC negotiation model |
189
Voted
DDECS
2009
IEEE
16 years 2 days ago
2009
IEEE
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
147
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
141
click to vote
LPNMR
1999
Springer
15 years 9 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
131
click to vote
AUSAI
2005
Springer
15 years 11 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...