3385 search results - page 126 / 677 » Language, Logic, and the Brain |
220
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
The generation of referring expressions (GRE), an important subtask of Natural Language Generation (NLG) is to generate phrases that uniquely identify domain entities. Until recen...
293
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
185
click to vote
ATAL
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
269
click to vote
SLOGICA
2011
15 years 1 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
181
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...