3385 search results - page 82 / 677 » Language, Logic, and the Brain |
FMOODS
2003
13 years 11 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
FORMATS
2005
Springer
14 years 3 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
WOA
2000
13 years 11 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...