Logic Programming Introduction Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University of Linz, Austria [removed]

Source URL: www.risc.jku.at

• Programming paradigms
• Constraint programming
• Prolog
• Logic programming
• YAP
• Declarative programming
• Software engineering
• Computer programming
• Computing

Next Generation Logic Programming Systems Gopal Gupta In the last 30 years logic programming (LP), with Prolog as the most representative logic programming language, has emerged as a powerful paradigm for intelligent rea

Source URL: www.utdallas.edu

• Declarative programming
• Constraint programming
• Reasoning
• Automated theorem proving
• Programming paradigms
• Prolog
• Reasoning system
• Logic
• Constraint logic programming
• Software engineering
• Artificial intelligence
• Logic programming

23 Nov[removed]:3 AR ANRV264-PS57-06.tex

Source URL: walkerlab.berkeley.edu

• Mental processes
• Sleep
• Memory
• Dreaming
• Sleep and memory
• Rapid eye movement sleep
• Declarative memory
• Memory consolidation
• Non-rapid eye movement sleep
• Mind
• Biology
• Cognitive science

Cerebral Cortex May 2009;19:[removed]doi:[removed]cercor/bhn155 Advance Access publication October 1, 2008 REM Sleep, Prefrontal Theta, and the Consolidation of Human Emotional

Source URL: walkerlab.berkeley.edu

• Sleep
• Dreaming
• Mental processes
• Neurophysiology
• Electroencephalography
• Declarative memory
• Rapid eye movement sleep
• Non-rapid eye movement sleep
• Dream
• Mind
• Biology
• Neuroscience

PS YC HOLOGICA L SC IENCE Research Article Sleep Facilitates Consolidation of Emotional Declarative Memory

Source URL: walkerlab.berkeley.edu

• Sleep
• Mental processes
• Memory
• Dreaming
• Emotion and memory
• Declarative memory
• Rapid eye movement sleep
• Dream
• Amygdala
• Mind
• Neuroscience
• Cognitive science

X3DOM Fast content delivery for declarative 3D WebGL BOF, Siggraph 2011 Johannes Behr W3C: Chair of „Declarative 3D“

Source URL: www.khronos.org

Product Line Engineering using Domain-Specific Languages Markus Voelter Eelco Visser

Source URL: www.voelter.de

• Computing
• Domain-specific language
• Programming paradigms
• Declarative programming
• Model-driven engineering
• Feature model
• Domain-specific modeling
• Domain analysis
• Software engineering
• Unified Modeling Language
• Systems engineering

The Case for RodentStore, an Adaptive, Declarative Storage System Philippe Cudre-Mauroux, Eugene Wu, Samuel Madden MIT CSAIL {pcm,sirrice,madden}@csail.mit.edu

Source URL: people.csail.mit.edu

• Data
• Database theory
• Database
• Query optimizer
• Relational database
• Record
• Data model
• SQL
• Computer data storage
• Database management systems
• Data management
• Computing

Copy of DESGSummaryGroups.xls

Source URL: okanogancounty.org

• Computer programming
• Functional programming
• CONS
• Rur
• CAR and CDR
• Lisp programming language
• Computing
• Declarative programming

Copy of DESGSummaryGroups.xls

Source URL: www.okanogancounty.org

• Computer programming
• Functional programming
• CONS
• Rur
• CAR and CDR
• Lisp programming language
• Computing
• Declarative programming