3385 search results - page 154 / 677 » Language, Logic, and the Brain |
202
click to vote
MATES
2005
Springer
16 years 11 hour ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
149
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
203
click to vote
FTRTFT
1992
Springer
15 years 10 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
199
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
186
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...