×

Found 1,602 Documents (Results 1–100)

Tractable closure-based possibilistic repair for partially ordered DL-Lite ontologies. (English) Zbl 07855132

Gaggl, Sarah (ed.) et al., Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14281, 353-368 (2023).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Bayesian parameter estimation with guarantees via interval analysis and simulation. (English) Zbl 1533.65013

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 106-128 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software