Foundational roles for action representations.Comment on “Action semantics: A unifying conceptual framework for the selective use of multimodal and modality-specific object knowledge” by van Elk, van Schie, and Bekke

Source URL: web.uvic.ca

• Neuroscience
• Cognitive science
• Nervous system
• Cerebrum
• Neuroanatomy
• Brain
• Mindbody problem
• Premotor cortex
• ACT-R
• Cerebral cortex
• Motor cortex
• Perception

Event-B specification templates for defining dynamic semantics of DSLs Ulyana Tikhonova

Source URL: wiki.event-b.org

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Denotational semantics
• Semantics
• Action semantics
• Operational semantics
• Programming language

CALL FOR PAPERS for Language in Thought and Action Sponsored by the Institute of General Semantics Co-Sponsored by the

Source URL: www.generalsemantics.org

Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract

Source URL: people.rennes.inria.fr

• Formal methods
• Type theory
• Dependently typed programming
• Theoretical computer science
• Logic in computer science
• Coq
• Abstract interpretation
• CurryHoward correspondence
• Predicate transformer semantics
• Proof-carrying code
• Correctness
• Lines of Action

The Verb 12d. A verb is a word used to express action or to help otherwise in making a statement. Predicate verbs are those that express action in a sentence. Predicate verbs can be classified in two ways—by type and b

Source URL: chrisfriend.us

• Parts of speech
• Semantics
• Verb
• Intransitive verb
• Transitive verb
• Object
• Complement
• Subject
• Copula
• Passive voice
• Voice
• Predicate

A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve

Source URL: repository.readscheme.org

• Source code
• Programming language implementation
• Functional languages
• Logic in computer science
• Programming language semantics
• Scheme
• Semantics
• Partial evaluation
• Programming language
• Macro
• Interpreter
• Action semantics

NSP3 Action, Belief and Inquiry

Source URL: www.nordprag.org

• Meaning
• Philosophical logic
• Analytic philosophers
• Guggenheim Fellows
• Semantics
• Noam Chomsky
• Donald Davidson
• Philosophy of language
• Linguistic competence
• Speech community
• Sign
• Linguistics

An action semantics based on two combinators Kyung-Goo Doh⋆ and David A. Schmidt⋆⋆ Hanyang University, Ansan, SOUTH KOREA Kansas State University, Manhattan, Kansas, USA Abstract. We propose a naive version of act

Source URL: santos.cis.ksu.edu

Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics

BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Action semantics
• Formal languages
• Peter Mosses
• Programming language
• SYNTAX
• ASF+SDF Meta Environment
• Programming language theory
• Theoretical computer science
• Software engineering