Search results
From MaRDI portal
- Weak nonmonotonic probabilistic logics 2007-10-23 Paper Probabilistic description logic programs 2007-07-19 Paper Nonmonotonic probabilistic logics under variable-strength...10 bytes (16 words) - 21:55, 11 December 2023
- Completeness theorems for \(\sigma \)-additive probabilistic semantics 2020-01-30 Paper First steps towards probabilistic justification logic 2019-01-08 Paper Proving...10 bytes (16 words) - 12:12, 11 December 2023
- Applications to Explainable AI 2022-02-07 Paper Open-world probabilistic databases: semantics, algorithms, complexity 2021-11-02 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 01:48, 9 December 2023
- 2014-06-27 Paper Real-reward testing for probabilistic processes 2014-06-06 Paper Remarks on Testing Probabilistic Processes 2013-12-06 Paper https://portal...10 bytes (20 words) - 15:42, 6 December 2023
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice 2013-06-06 Paper Linear time and branching time semantics for recursion...10 bytes (20 words) - 00:43, 13 December 2023
- sentential decision diagrams 2020-10-22 Paper The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference 2020-10-22 Paper...10 bytes (18 words) - 02:57, 12 December 2023
- of mind 1982-01-01 Paper Probabilistic semantics objectified: I. Postulates and logics 1981-01-01 Paper Probabilistic semantics objectified: II. Implication...10 bytes (21 words) - 14:31, 12 December 2023
- universal probabilistic programming 2017-05-10 Paper Fabular: regression formulas as probabilistic programming 2016-10-24 Paper A semantics for web services...10 bytes (18 words) - 07:43, 12 December 2023
- Theory of Weak Complete Simulation Semantics over BCCSP 2012-06-15 Paper Characteristic formulae for fixed-point semantics: a general framework 2012-05-11...10 bytes (17 words) - 02:45, 10 December 2023
- Comparing Argumentation Semantics with Respect to Skepticism 2008-09-16 Paper SCC-recursiveness: a general schema for argumentation semantics 2007-10-23 Paper...10 bytes (16 words) - 01:14, 12 December 2023
- investigating causal dependencies in gene regulation 2021-08-11 Paper Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions...10 bytes (16 words) - 12:30, 28 January 2024
- de/entity/Q4341025 1997-09-15 Paper Metric semantics from partial order semantics 1997-09-09 Paper Denotational linear time semantics and sequential composition 1997-02-27...10 bytes (20 words) - 18:05, 9 December 2023
- Paper Well-founded semantics for defeasible logic 2011-02-25 Paper Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics 2008-10-30 Paper...10 bytes (18 words) - 13:50, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q4912863 2013-03-27 Paper Probabilistic Semantics and Program Analysis 2010-07-06 Paper CONCUR 2003 - Concurrency Theory 2010-03-30...10 bytes (18 words) - 03:19, 12 December 2023
- timed-probabilistic Petri nets 2005-06-30 Paper https://portal.mardi4nfdi.de/entity/Q3045274 2004-08-12 Paper Algebraic theory of probabilistic and nondeterministic...10 bytes (16 words) - 23:45, 10 December 2023
- Datalog\(+/-\) 2019-02-20 Paper How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? 2018-08-06 Paper https://portal.mardi4nfdi.de/entity/Q5283021...10 bytes (18 words) - 01:16, 12 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
- 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
- Paper Abduction with probabilistic logic programming under the distribution semantics 2022-02-22 Paper Learning hierarchical probabilistic logic programs 2022-01-28...10 bytes (16 words) - 17:34, 6 October 2023
- 2018-10-23 Paper The EfProb Library for Probabilistic Calculations 2018-08-13 Paper A Type Theory for Probabilistic and Bayesian Reasoning 2018-08-13 Paper...10 bytes (17 words) - 15:28, 9 December 2023