"Probabilistic Automata and Probabilistic Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Probabilistic languages and automata.	Clarence Arthur Ellis	1969	Dept. of Computer Science, University of Illinois
Introduction to Probabilistic Automata	Azaria Paz and Werner Rheinboldt	1971	Academic Press
Logic, Automata, and Algorithms	Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova and Aleksey A. Tal' (Eds.)	1971	AP
Probabilistic Cellular Automata: Theory, Applications and Future Perspectives	Pierre-Yves Louis; Francesca R. Nardi	1st ed. 2018	Springer International Publishing
Probabilistic Inductive Logic Programming	Luc De Raedt; Paolo Frasconi; Kristian Kersting; Stephen H. Muggleton	2008	Springer Berlin Heidelberg
Logic and Automata: History and Perspectives	Jorg Flum, Erich Gradel, Thomas Wilke	2008	Amsterdam University Press
Logic Synthesis for Control Automata	Samary Baranov	1994	Springer US
Finite Automata, Formal Logic, and Circuit Complexity	Howard Straubing	1994	Birkhäuser Boston
Computation Engineering: Applied Automata Theory and Logic	Ganesh Gopalakrishnan	2006	Springer US
Introduction to Computation: Haskell, Logic and Automata	Donald Sannella; Michael Fourman; Haoran Peng; Philip Wadler	1st ed. 2021	Springer International Publishing
Infinite words. Automata, Semigroups, Logic and Games	Dominique Perrin, Jean-Eric Pin	2004	Elsevier
Probabilistic Logic in a Coherent Setting	Giulianella Coletti; R. Scozzafava	2002	Springer Netherlands
Risk Management Technologies: With Logic and Probabilistic Models	E.D. Solozhentsev	2012	Springer Netherlands
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning	Fabrizio Riguzzi	2018	River Publishers
Scenario Logic and Probabilistic Management of Risk in Business and Engineering	Evgueni D. Solojentsev	2nd ed. 2009	Springer US
Scenario Logic and Probabilistic Management of Risk in Business and Engineering	Evgueni D. Solojentsev	2005	Springer US
Probabilistic logics and probabilistic networks	Rolf Haenni	2011	Springer
Probabilistic Logics and Probabilistic Networks	Rolf Haenni; Jan-Willem Romeijn; Gregory Wheeler; Jon Williamson	2011	Springer Netherlands
Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference	Ben Goertzel; Matthew Iklé; Izabela Freire Goertzel; Ari Heljakka	2009	Springer US
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology	Radomir S. Stankovic; Jaakko Astola	2011	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Probabilistic Automata and Probabilistic Logic	Thomas Weidner	Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings	Branislav Rovan; Vladimiro Sassone; Peter Widmayer	2012	Springer Berlin Heidelberg
Probabilistic Reversible Automata and Quantum Automata	Marats Golovkins; Maksim Kravtsev	Computing and Combinatorics: 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings	Oscar H. Ibarra; Louxin Zhang	2002	Springer Berlin Heidelberg
Probabilistic Cellular Automata	Tânia Tomé; Mário J. de Oliveira	Stochastic Dynamics and Irreversibility	Tânia Tomé; Mário J. de Oliveira	2015	Springer International Publishing
Probabilistic game automata	Anne Condon; Richard Ladner	Structure in Complexity Theory: Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986	Alan L. Selman	1986	Springer Berlin Heidelberg
Probabilistic Cellular Automata	B. A. Huberman	Nonlinear Phenomena in Physics: Proceedings of the 1984 Latin American School of Physics, Santiago, Chile, July 16–August 3, 1984	Francisco Claro	1985	Springer Berlin Heidelberg
Testing probabilistic automata	Roberto Segala	CONCUR ' 96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings	Ugo Montanari; Vladimiro Sassone	1996	Springer Berlin Heidelberg
Probabilistic Automata (PAs)		Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings	Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)	2013	Springer Nature.
Abstract Probabilistic Automata	Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher et al.	Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings	Ranjit Jhala; David Schmidt	2011	Springer Berlin Heidelberg
Probabilistic Weighted Automata	Krishnendu Chatterjee; Laurent Doyen; Thomas A. Henzinger	CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings	Mario Bravetti; Gianluigi Zavattaro	2009	Springer Berlin Heidelberg
Testing Probabilistic Automata	Roberto Segala	Concur '96: concurrency theory: 7th International Conference, Pisa, Italy, August 26-29, 1996: proceedings /	Montanari, U.; Sassone, Vladimiro.	[1996], ©1996.	Springer,
Probabilistic Logic		Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference	Judea Pearl	1988	Morgan Kaufmann
Probabilistic and Nondeterministic Unary Automata	Gregor Gramlich	Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings	Branislav Rovan; Peter Vojtas	2003	Springer Berlin Heidelberg
Residual Languages and Probabilistic Automata	François Denis; Yann Esposito	Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings	Jos C. M. Baeten; Jan Karel Lenstra; Joachim Parrow; Gerhard J. Woeginger	2003	Springer Berlin Heidelberg
Probability Theory and Probabilistic Automata		Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceedings	Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)	2013	Springer Nature.
5. Probabilistic Automata and Grammars		Fuzzy automata and languages: theory and applications /	Mordeson, John N.; Malik, D. S.	[2002], ©2002.	Chapman & Hall/CRC,
Logic and Branching Automata	Nicolas Bedon	Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings	Krishnendu Chatterjee; Jirí Sgall	2013	Springer Berlin Heidelberg
Automata, Logic, and XML	Frank Neven	Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September	Julian Bradfield	2002	Springer Berlin Heidelberg
Languages, Automata, and Logic	Wolfgang Thomas	Handbook of Formal Languages: Volume 3 Beyond Words	Grzegorz Rozenberg; Arto Salomaa	1997	Springer Berlin Heidelberg
6. Automata and Logic		The spin model checker: primer and reference manual /	Holzmann, Gerard J.	c2004.	Addison-Wesley,
Logic and Probabilistic Update	Lorenz Demey; Barteld Kooi	Johan van Benthem on Logic and Information Dynamics	Alexandru Baltag; Sonja Smets	2014	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Probabilistic Automata and Probabilistic Logic" - similar Books and Chapters