- A reafferent and feed-forward model of song syntax generation in the Bengalese finch
2011/03/14 by Alexander Hanuschkin, Markus Diesmann, Abigail Morrison · 1 citation
Biochemistry, Genetics and Molecular Biology · Agricultural and Biological Sciences · Environmental Science · Psychology · Neuroscience · #Animal Vocal Communication and Behavior #Animal Behavior and Reproduction #Marine animal studies overview #Syntax #Auditory feedback #Computer science #Songbird #Syntax error #Speech recognition #Abstract syntax #Artificial intelligence #Psychology #Neuroscience #Biology
- Semantics and logic of object calculi
2004/02/27 by Bernhard Reus, Thomas Streicher · 1 citation
Computer Science · Mathematics · #Abstract syntax #Algebra over a field #Artificial intelligence #Axiomatic semantics #Calculus (dental) #Computer science #Denotational semantics #Description logic #Formal Methods in Verification #Higher-order logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Object (grammar) #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Syntax #Theoretical computer science
- A framework for defining logics
1993/01/01 by Robert Harper, Furio Honsell, Gordon Plotkin · 43 citations
Computer Science · Mathematics · #Abstract syntax #Artificial intelligence #Calculus (dental) #Computer science #Formal Methods in Verification #Formal system #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Logical framework #Mathematical proof #Mathematics #Natural deduction #Programming language #Proof calculus #Syntax #Theoretical computer science #Type (biology) #Type theory