3385 search results - page 285 / 677 » Language, Logic, and the Brain |
180
click to vote
DALT
2003
Springer
16 years 1 hour ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
185
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
209
click to vote
TOSEM
2002
15 years 6 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
199
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
216
click to vote
CAISE
2003
Springer
16 years 5 hour ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...