Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Luca Cardelli; Kim Guldstrand Larsen; Radu Mardare

doi:10.4230/LIPIcs.CSL.2011.144

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Authors:

Cardelli, Luca ;
Close
unknown
Larsen, Kim Guldstrand ;
Close
CISS - Center for Embedded Software Systems, Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University
Mardare, Radu
Close
Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University

DOI:

10.4230/LIPIcs.CSL.2011.144

ISBN:

9783939897323

Type:

Conference paper

Language:

English

Published in:

Csl Computer Science Logic: 25th International Workshop / 20th Annual Conference of the Eacsl, Csl 2011, September 12-15, 2011, Bergen, Norway, Proceedings, 2011, p. 144-158

Main Research Area:

Science/technology

Publication Status:

Published

Review type:

Peer Review

Publisher:

Schloss Dagstuhl. Leibniz-Zentrum für Informatik

Submission year:

2011

Scientific Level:

Scientific

ID:

243831845

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Full text access

On-site access

At institution

Metrics

Example	Finds records
water{}	containing the word "water".
water supplies"{}"	containing the phrase "water supplies".
author:"Doe, John"author:"{}"	containing the prase "Doe, John" in the author field.
title:IEEEtitle:{}	containing the word "IEEE" in the title field.
Need more help?	Advanced search tutorial