Found 8 Documents (Results 1–8)
On repairing and querying inconsistent probabilistic spatio-temporal databases. (English) Zbl 1419.68048
Ode to the PST. (English) Zbl 1453.68005
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 13-23 (2015).
A homage to Martin Wirsing. (English) Zbl 1437.01027
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 1-12 (2015).
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics. (English) Zbl 1185.68673
Model checking mobile stochastic logic. (English) Zbl 1159.68478
MSC:
68Q60
Filter Results by …
Document Type
- Journal Articles (6)
- Collection Articles (2)
all
top 5
Author
- De Nicola, Rocco (2)
- Grant, John R. (2)
- Parisi, Francesco (2)
- Belzner, Lenz (1)
- Busch, Marianne (1)
- Fasching, Anton (1)
- Gnatenko, Anton Romanovich (1)
- Hennicker, Rolf (1)
- Hölzl, Matthias M. (1)
- Kamide, Norihiro (1)
- Katoen, Joost-Pieter (1)
- Klarl, Annabelle (1)
- Koch, Nora (1)
- Kroiss, Christian (1)
- Latella, Diego (1)
- Loreti, Michele (1)
- Massink, Mieke (1)
- Mayer, Philip (1)
- Parker, Austin J. (1)
- Raed, Laith (1)
- Schroeder, Andreas (1)
- Subrahmanian, V. S. (1)
- Zakharov, Vladimir Anatolyevich (1)
Serial
- Theor. Comput. Sci. (2)
- Artif. Intell. (1)
- Inf. Comput. (1)
- Int. J. Approx. Reasoning (1)
- Model. Anal. Inf. Sist. (1)
Biographic Reference
- Wirsing, Martin (2)
