3809 search results - page 505 / 762 » Associative language descriptions |
219
click to vote
EJC
2010
15 years 2 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
242
click to vote
EMNLP
2011
14 years 7 months ago
2011
We consider the problem of performing learning and inference in a large scale knowledge base containing imperfect knowledge with incomplete coverage. We show that a soft inference...
230
click to vote
JFP
2007
15 years 7 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
253
click to vote
ISF
2010
15 years 4 months ago
2010
Much of the literature on responsibility in the IT field addresses the responsibilities of members of the IT profession. In this paper, we investigate to what extent the responsibi...
194
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...