Search results
From MaRDI portal
- Dedicated tabling for a probabilistic setting 2012-05-11 Paper ProbLog Technology for Inference in a Probabilistic First Order Logic 2011-05-11 Paper Variable...10 bytes (13 words) - 08:12, 25 September 2023
- Pairwise Markov Logic 2013-06-14 Paper Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization 2012-05-11...10 bytes (13 words) - 06:39, 7 October 2023
- Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Logic Programming 2005-08-26...10 bytes (14 words) - 23:41, 24 September 2023
- Paper On the lattice of program metrics 2024-10-21 Paper Open higher-order logic 2024-09-25 Paper On session typing, probabilistic polynomial time, and cryptographic...10 bytes (16 words) - 09:43, 6 October 2023
- Paper Hoare's logic for programming languages with two data types 1984-01-01 Paper The axiomatic semantics of programs based on Hoare's logic 1984-01-01 Paper...10 bytes (17 words) - 20:19, 8 December 2023
- in the quantitative temporal logic qTL 2003-07-01 Paper Quantitative program logic and expected time bounds in probabilistic distributed algorithms. 2002-07-15...10 bytes (14 words) - 14:42, 6 December 2023
- 2024-06-06 Paper Certificates for probabilistic pushdown automata via optimistic value iteration 2024-04-05 Paper Probabilistic program verification via inductive...10 bytes (17 words) - 00:51, 9 December 2023
- care non-determinism in logic program refinement 2013-07-24 Paper Preface 2013-03-22 Paper Towards an Algebra for Real-Time Programs 2012-09-21 Paper Deriving...10 bytes (14 words) - 13:34, 8 December 2023
- Fold Discovery Using Stochastic Logic Programs 2008-03-28 Paper Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract) 2008-03-28...10 bytes (16 words) - 05:05, 9 December 2023
- Concurrency in Probabilistic Programming Languages 2013-06-06 Paper Probabilistic Confinement in a Declarative Framework 2013-05-24 Paper Probabilistic Semantics...10 bytes (13 words) - 06:43, 12 December 2023
- Paraconsistent logic and query answering in inconsistent databases 2024-03-20 Paper Program Algebra for Turing-Machine Programs 2022-07-19 Paper Probabilistic Process...10 bytes (15 words) - 18:33, 24 September 2023
- An assertion-based program logic for probabilistic programs 2019-09-13 Paper Relational reasoning for Markov chains in a probabilistic guarded lambda calculus...10 bytes (15 words) - 15:57, 24 September 2023
- Concurrency in Probabilistic Programming Languages 2013-06-06 Paper Probabilistic Confinement in a Declarative Framework 2013-05-24 Paper Probabilistic Semantics...10 bytes (15 words) - 06:39, 7 October 2023
- 2005-10-11 Paper Probabilistic -calculus and Quantitative Program Analysis 2005-07-13 Paper Measuring the confinement of probabilistic systems 2005-06-30...10 bytes (16 words) - 02:19, 12 December 2023
- Integration of a Security Type System into a Program Logic 2009-03-05 Paper A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic 2009-01-27...10 bytes (13 words) - 06:09, 7 October 2023
- Cylindric Kleene lattices for program construction 2020-05-05 Paper A calculus of space, time, and causality: its algebra, geometry, logic 2020-02-18 Paper Modal...10 bytes (13 words) - 18:44, 6 October 2023
- temporal logic PTL 2001-05-08 Paper Hierarchical reasoning in probabilistic CSP 2001-04-26 Paper Demonic, angelic and unbounded probabilistic choices in...10 bytes (16 words) - 14:39, 6 December 2023
- domains condensing 2017-07-12 Paper Complementing logic program semantics 2017-01-19 Paper Analyzing program analyses 2016-09-29 Paper Logical Characterizations...10 bytes (13 words) - 11:23, 9 December 2023
- Paper Datalog and Logic Databases 2015-11-23 Paper GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES 2015-04-29 Paper Logic programming with function symbols:...10 bytes (13 words) - 20:48, 24 September 2023
- Paper Reasoning about Recursive Probabilistic Programs 2018-04-23 Paper Inferring covariances for probabilistic programs 2018-01-11 Paper Unified Reasoning...10 bytes (13 words) - 08:41, 6 October 2023
