2106 search results - page 56 / 422 » Operational Semantics for DyLPs |
121
click to vote
AAMAS
2007
Springer
15 years 3 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
172
Voted
FOGA
2011
14 years 6 months ago
2011
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...
108
click to vote
IMPERIAL
1993
15 years 7 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
110
click to vote
ACL
2001
15 years 4 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
116
Voted
APAL
2005
15 years 3 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...