2225 search results - page 119 / 445 » Logical Structures in the Lexicon |
156
click to vote
TARK
2007
Springer
16 years 16 days ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
175
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
As integration levels in FPGA devices have increased over the past decade, the structure of programmable logic resources has become more diversified. Recently, Altera Corporation h...
177
click to vote
WLP
2000
Springer
15 years 10 months ago
2000
Springer
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-ord...
154
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
288
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...