3385 search results - page 16 / 677 » Language, Logic, and the Brain |
ICALP
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
AIA
2006
13 years 9 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
IPMI
2005
Springer
14 years 8 months ago
2005
Springer
Modeling the variability of brain structures is a fundamental problem in the neurosciences. In this paper, we start from a dataset of precisely delineated anatomical structures in ...
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
