Search results
From MaRDI portal
- 2022-01-27 Paper Completeness theorems for \(\sigma \)-additive probabilistic semantics 2020-01-30 Paper Completeness theorem for probability models with...10 bytes (17 words) - 00:47, 12 December 2023
- 1990-01-01 Paper Probabilistic performance of a heurisic for the satisfiability problem 1988-01-01 Paper Correction to ``Probabilistic analysis of the Davis...10 bytes (18 words) - 18:11, 9 December 2023
- statements in probabilistic logic programming 2023-04-04 Paper Abduction with probabilistic logic programming under the distribution semantics 2022-02-22...10 bytes (16 words) - 13:54, 28 January 2024
- fragment of epistemic probabilistic argumentation 2020-02-26 Paper Polynomial-time updates of epistemic states in a fragment of probabilistic epistemic argumentation...10 bytes (16 words) - 06:30, 7 October 2023
- Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Unifying Operational Semantics with Algebraic Semantics for Instantaneous...10 bytes (16 words) - 18:44, 6 October 2023
- distributions in concurrent games 2022-05-03 Paper The concurrent game semantics of Probabilistic PCF 2021-01-20 Paper https://portal.mardi4nfdi.de/entity/Q5111212...10 bytes (16 words) - 00:40, 10 December 2023
- LFOIL: linguistic rule induction in the label semantics framework 2009-08-26 Paper Generalised Label Semantics as a Model of Epistemic Vagueness 2009-07-02...10 bytes (16 words) - 17:12, 9 December 2023
- computing nonmonotonic deductive databases 1995-04-10 Paper Stable semantics for probabilistic deductive databases 1995-01-12 Paper A semantical framework for...10 bytes (18 words) - 04:27, 12 December 2023
- Paper Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks 2006-02-07 Paper Efficient probabilistic reasoning in BNs with...10 bytes (18 words) - 17:16, 11 December 2023
- Publication Type Pushdown automata and context-free grammars in bisimulation semantics 2023-12-08 Paper Bounded stacks, bags and queues 2023-05-17 Paper Pushdown...10 bytes (21 words) - 07:40, 9 December 2023
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language 2011-06-06 Paper https://portal...10 bytes (17 words) - 16:31, 7 December 2023
- total stable model semantics 2018-07-04 Paper GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES 2015-04-29 Paper A probabilistic framework for estimating...10 bytes (17 words) - 03:11, 9 December 2023
- 2023-05-05 Paper Intensional Kleene and Rice theorems for abstract program semantics 2022-12-08 Paper Complete Abstractions for Checking Language Inclusion...10 bytes (16 words) - 11:23, 9 December 2023
- Paper Compositional Semantics for Probabilistic Programs with Exact Conditioning 2021-01-27 Paper Probabilistic Programming Semantics for Name Generation...10 bytes (16 words) - 22:16, 27 December 2023
- Bayesian strategies: probabilistic programs as generalised graphical models 2021-10-18 Paper The concurrent game semantics of Probabilistic PCF 2021-01-20 Paper...10 bytes (16 words) - 00:33, 25 September 2023
- networks 2016-12-15 Paper A new probabilistic constraint logic programming language based on a generalised distribution semantics 2015-12-09 Paper Hybrid Time...10 bytes (20 words) - 05:20, 9 December 2023
- Date of Publication Type Linking theories of probabilistic programming 2023-08-02 Paper A predicative semantics for the refinement of real-time systems 2023-04-28...10 bytes (16 words) - 05:16, 7 October 2023
- Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude 2015-12-11 Paper Denotational Semantics for a Probabilistic Timed Shared-Variable...10 bytes (16 words) - 07:51, 6 October 2023
- awareness 2020-12-15 Paper Observable models 2020-05-06 Paper On aggregating probabilistic evidence 2020-04-29 Paper Justification Logic 2019-05-17 Paper The Provability...10 bytes (18 words) - 17:23, 11 December 2023
- assumptions in generic group models 2019-06-20 Paper Connecting formal semantics to constructive intuitions 2017-11-17 Paper Flexible dynamic information...10 bytes (18 words) - 00:56, 10 December 2023
