3385 search results - page 219 / 677 » Language, Logic, and the Brain |
138
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...
158
click to vote
ICLA
2009
Springer
16 years 1 months ago
2009
Springer
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Centu...
203
click to vote
EEE
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
161
click to vote
CP
2005
Springer
16 years 5 days ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
198
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...