@inproceedings{0015fd30945e437d910cc926392f52a0,
title = "Computer modeling in neuroscience: From imperative to declarative programming: Maude modeling in neuroscience",
abstract = "Theory and computational modeling have played important roles in neuroscience. Models of neural systems range from coolly abstract to scrupulously biologically detailed, but the overwhelming majority have been implemented using imperative programming languages. Very recently, declarative programming approaches have entered the realm of computational neuroscience, including models implemented in Maude. The declarative approach promises deeper insights into neurobiology, especially into the pathological processes that underlie neurological disorders. This chapter will provide a very short overview of imperative and declarative modeling in neuroscience, and will then describe a specific example of a model of a key neural process implemented in Maude. The Maude model provides potential new insights that would be difficult to obtain using an imperative approach.",
keywords = "Emotion, Endocannabinoids, Extinction, Fear conditioning, Learning, Marijuana, Neurobiology, Neuroscience, Post-traumatic stress disorder",
author = "Anastasio, {Thomas J}",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-23165-5_4",
language = "English (US)",
isbn = "9783319231648",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "97--113",
editor = "{\"O}lveczky, {Peter Csaba} and Carolyn Talcott and Narciso Mart{\'i}-Oliet",
booktitle = "Logic, Rewriting and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday",
note = "Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015 ; Conference date: 23-09-2015 Through 25-09-2015",
}