×

Found 3,120 Documents (Results 1–100)

Computing logic for initial probabilities of Bayesian artificial intelligence. (English) Zbl 1535.68376

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 159-174 (2023).

On the use of model and logical embeddings for model checking of probabilistic systems. (English) Zbl 1543.68203

Huisman, Marieke (ed.) et al., Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13910, 115-131 (2023).
Full Text: DOI

A probabilistic logic for verifying continuous-time Markov chains. (English) Zbl 1547.68426

Fisman, Dana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13244, 3-21 (2022).

Learning model checking and the kernel trick for signal temporal logic on stochastic processes. (English) Zbl 1547.68414

Fisman, Dana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13243, 281-300 (2022).

An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. (English) Zbl 1524.68355

Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 124-138 (2022).
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software