Search results
From MaRDI portal
- Date of Publication Type Equivalences of Statecharts 2023-06-28 Paper Semantics of full statecharts based on graph rewriting 2022-08-16 Paper Modeling...10 bytes (18 words) - 23:39, 9 December 2023
- reasonableness of necessity. 2004-03-14 Paper Diverse confidence levels in a probabilistic semantics for conditional logics 2000-06-04 Paper The vulnerability of the...10 bytes (16 words) - 12:54, 13 December 2023
- programs 2017-07-12 Paper Heterogeneous temporal probabilistic agents 2017-07-12 Paper Probabilistic agent programs 2017-06-13 Paper Privacy Preservation...10 bytes (16 words) - 20:29, 8 December 2023
- Publication Date of Publication Type Probabilistic causal bipolar abstract argumentation: an approach based on credal networks 2023-08-21 Paper An Argumentation-Based...10 bytes (18 words) - 04:15, 13 December 2023
- 2020-11-16 Paper Completeness theorems for \(\sigma \)-additive probabilistic semantics 2020-01-30 Paper https://portal.mardi4nfdi.de/entity/Q4583726 2018-09-03...10 bytes (16 words) - 12:12, 11 December 2023
- bialgebraic semantics 2016-11-07 Paper Duality of Equations and Coequations via Contravariant Adjunctions 2016-07-15 Paper Final Semantics for Decorated...10 bytes (19 words) - 01:41, 10 December 2023
- Abduction with probabilistic logic programming under the distribution semantics 2022-02-22 Paper Nonground Abductive Logic Programming with Probabilistic Integrity...10 bytes (17 words) - 18:53, 24 September 2023
- Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality 2015-08-25 Paper Trace semantics via determinization 2015-04-28 Paper Automata...10 bytes (17 words) - 15:28, 9 December 2023
- 2022-12-08 Paper Probabilistic Temporal Logics 2022-01-27 Paper Applications of Logics About Simple Probabilities 2022-01-27 Paper A Probabilistic Temporal Epistemic...10 bytes (17 words) - 12:12, 11 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q5224791 2019-07-24 Paper Probabilistic logic of quantum observations 2019-06-18 Paper Decision and optimization...10 bytes (18 words) - 15:01, 11 December 2023
- Programming Languages and Systems 2005-08-17 Paper Probabilistic belief logic and its probabilistic Aumann semantics 2003-11-06 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 23:52, 11 December 2023
- Abduction with probabilistic logic programming under the distribution semantics 2022-02-22 Paper Optimizing Probabilities in Probabilistic Logic Programs...10 bytes (16 words) - 23:59, 24 September 2023
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics 2013-06-26 Paper XSB: Extending Prolog with...10 bytes (16 words) - 01:52, 9 December 2023
- Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results 2019-01-31 Paper Formulating Semantics of Probabilistic...10 bytes (16 words) - 10:32, 6 October 2023
- 2019-09-13 Paper Game semantics for dependent types 2018-06-14 Paper An extensible approach to session polymorphism 2016-07-28 Paper Game Semantics for Access Control...10 bytes (16 words) - 11:22, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q3134462 1993-09-05 Paper Probabilistic, truth value, and standard semantics and the primacy of predicate logic 1981-01-01 Paper...10 bytes (19 words) - 20:46, 12 December 2023
- Paper Experimental biological protocols with formal semantics 2018-10-17 Paper Model Checking Probabilistic Systems 2018-07-20 Paper Compositional strategy...10 bytes (18 words) - 14:12, 10 December 2023
- Publication Date of Publication Type Probabilistic lexicographic preference trees 2023-03-31 Paper Skeptical rational extensions 2022-08-30 Paper A logical...10 bytes (17 words) - 14:24, 10 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) - 14:54, 28 January 2024
- linear-time branching-time spectrum on nondeterministic probabilistic processes 2020-04-21 Paper Probabilistic divide \& congruence: branching bisimilarity 2019-11-22...10 bytes (17 words) - 16:57, 24 September 2023
