×

Found 46 Documents (Results 1–46)

Evonne: interactive proof visualization for description logics (system description). (English) Zbl 07628192

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 271-280 (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding good proofs for description logic entailments using recursive quality measures. (English) Zbl 07437085

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 291-308 (2021).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Metric temporal description logics with interval-rigid names. (English) Zbl 1495.68204

Dixon, Clare (ed.) et al., Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10483, 60-76 (2017).
MSC:  68T27 03B44 68T30
PDFBibTeX XMLCite
Full Text: DOI

Operations research proceedings 2008. Selected papers of the annual international conference of the German Operations Research Society (GOR), University of Augsburg, September 3–5, 2008. (English) Zbl 1175.90010

Berlin: Springer (ISBN 978-3-642-00141-3/pbk; 978-3-642-00142-0/ebook). xx, 580 p. (2009).
MSC:  90-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Sharpening of the polynomiality proof for the expected numbers of shadow corners in the rotation symmetry model. (Verschärfung des Polynomialitätsbeweises für die erwartete Anzahl von Schattenecken im Rotationssymmetrie-Modell.) (German) Zbl 0810.90090

Schock, Eberhard (ed.), Beiträge zur Angewandten Analysis und Informatik. Helmut Brakhage zu Ehren. Aachen: Shaker Verlag. Berichte aus der Mathematik. 13-33 (1994).
MSC:  90C05 90C60
PDFBibTeX XMLCite

Computing the convex hull in the Euclidean plane in linear expected time. (English) Zbl 0741.68096

Applied geometry and discrete mathematics, Festschr. 65th Birthday Victor Klee, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 4, 91-107 (1991).
MSC:  68U05 60D05
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software