×

Found 1,656 Documents (Results 1–100)

100
MathJax

The degree of conflict between formulas in an inconsistent knowledge base. (English) Zbl 07542364

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 499-510 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

A general approach to derive uncontrolled reversible semantics. (English) Zbl 07559489

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 33, 24 p. (2020).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

A numerical efficiency analysis of a common ancestor condition. (English) Zbl 07441082

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 357-363 (2020).
MSC:  68-XX 65-XX
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software