Model Checking and Artificial Intelligence
A. Lomuscio & S. Edelkamp (eds.)
Springer (2007)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Buy this book |
Find it on Amazon.com
|
Options |
![]() ![]() ![]() |
Download options

Verifying Space and Time Requirements for Resource-Bounded Agents.Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.Piergiorgio Bertoli, Marco Bozzano & Alessandro Cimatti
Sat-Based Verification of Security Protocols Via Translation to Networks of Automata.Mirosław Kurkowski, Wojciech Penczek & Andrzej Zbrzezny
Bounded Model Checking Real-Time Multi-Agent Systems with Clock Differences: Theory and Implementation.Alessio Lomuscio, Bożena Woźna & Andrzej Zbrzezny
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Philosophy of Artificial Intelligence: A Critique of the Mechanistic Theory of Mind.Rajakishore Nath - 2009 - Universal Publishers.
Model Checking Techniqes for the Analysis of Reactive Systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Artificial Intelligence and Wittgenstein.Gerard Casey - 1988 - Philosophical Studies (Dublin) 32:156-175.
Artificial Intelligence In Psychology: Interdisciplinary Essays.Margaret A. Boden - 1989 - Cambridge: MIT Press.
Consciousness, Intentionality, and Intelligence: Some Foundational Issues for Artificial Intelligence.Murat Aydede & Guven Guzeldere - 2000 - Journal of Experimental and Theoretical Artificial Intelligence 12 (3):263-277.
Thomas F. Gordon, the Pleadings Game – an Artificial Intelligence Model of Procedural Justice.Arno R. Lodder - 2000 - Artificial Intelligence and Law 8 (2-3):255-264.
A Wittgensteinian View of Artificial Intelligence.Otto Neumaier - 1987 - In Rainer P. Born (ed.), Artificial Intelligence. St Martin's Press. pp. 132--174.
Natural Problems and Artificial Intelligence.Tracy B. Henley - 1990 - Behavior and Philosophy 18 (2):43-55.
Analytics
Added to PP index
2010-06-22
Total views
0
Recent downloads (6 months)
0
2010-06-22
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.