3385 search results - page 4 / 677 » Language, Logic, and the Brain |
FSKD
2008
Springer
13 years 8 months ago
2008
Springer
KDD
2000
ACM
13 years 11 months ago
2000
ACM
Recent advances in functional brain imaging enable identication of active areas of a brain performing a certain function. Induction of logical formulas describing relations betwee...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
ICLP
2003
Springer
14 years 25 days ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
NN
2000
Springer
13 years 7 months ago
2000
Springer
The article contributes to the quest to relate global data on brain and behavior (e.g. from PET, Positron Emission Tomography, and fMRI, functional Magnetic Resonance Imaging) to ...