Model Checking and Artificial Intelligence

& (eds.)
Springer (2007)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,812
External links
  • This entry has no external links. Add one.

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA
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
Automated Creation of Pattern Database Search Heuristics.Stefan Edelkamp
Real-Time Model Checking on Secondary Storage.Stefan Edelkamp & Shahid Jabbar
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
Symbolic Model Checking of Logics with Actions.Charles Pecheur & Franco Raimondi
A Framework for Model Checking Institutions.Francesco Vigano
Distributed Extended Beam Search for Quantitative Model Checking.Anton J. Wijs & Bert Lisser

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Philosophy of Artificial Intelligence: A Critique of the Mechanistic Theory of Mind.Rajakishore Nath - 2009 - Universal Publishers.
Natural Problems and Artificial Intelligence.Tracy B. Henley - 1990 - Behavior and Philosophy 18 (2):43-55.
A Wittgensteinian View of Artificial Intelligence.Otto Neumaier - 1987 - In Rainer P. Born (ed.), Artificial Intelligence. St Martin's Press. pp. 132--174.
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.
What is Explained by AI Models.Alfred Kobsa - 1987 - In Artificial Intelligence. St Martin's 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.
Artificial Intelligence In Psychology: Interdisciplinary Essays.Margaret A. Boden - 1989 - Cambridge: MIT Press.
Artificial Intelligence and Wittgenstein.Gerard Casey - 1988 - Philosophical Studies 32:156-175.
Model Checking Techniqes for the Analysis of Reactive Systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
Artificial Intelligence: Its Scope and Limits.James H. Fetzer - 1990 - Kluwer Academic Publishers.

Analytics

Added to PP index
2010-06-22

Total downloads
0

Recent downloads (6 months)
0

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature


Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Page generated Sun Dec 9 16:52:29 2018 on pp1