Search results
From MaRDI portal
- Publication Date of Publication Type A Core Method for the Weak Completion Semantics with Skeptical Abduction 2018-11-01 Paper...10 bytes (18 words) - 23:25, 27 December 2023
- Publication Date of Publication Type The weak completion semantics can model inferences of individual human reasoners 2020-02-18 Paper...10 bytes (16 words) - 03:35, 25 September 2023
- Publication Date of Publication Type The weak completion semantics can model inferences of individual human reasoners 2020-02-18 Paper...10 bytes (16 words) - 03:35, 25 September 2023
- Publication Date of Publication Type The weak completion semantics can model inferences of individual human reasoners 2020-02-18 Paper...10 bytes (16 words) - 03:35, 25 September 2023
- Publication Date of Publication Type The Weak Completion Semantics and Equality 2019-07-04 Paper Shape Representations with Blossoms and Buds 2007-09-06...10 bytes (18 words) - 23:26, 27 December 2023
- Type The Weak Completion Semantics and Equality 2019-07-04 Paper Modeling the suppression task under weak completion and well-founded semantics 2018-08-28...10 bytes (18 words) - 18:03, 6 October 2023
- Publication Date of Publication Type A Core Method for the Weak Completion Semantics with Skeptical Abduction 2018-11-01 Paper XACML 3.0 in Answer Set...10 bytes (22 words) - 12:55, 7 October 2023
- 2020-06-04 Paper The Weak Completion Semantics and Equality 2019-07-04 Paper A Core Method for the Weak Completion Semantics with Skeptical Abduction 2018-11-01...10 bytes (17 words) - 09:43, 6 October 2023
- mardi4nfdi.de/entity/Q4557744 2018-11-26 Paper A Core Method for the Weak Completion Semantics with Skeptical Abduction 2018-11-01 Paper Contextual reasoning: usually...10 bytes (20 words) - 13:22, 6 October 2023
- adaptive model for human syllogistic reasoning 2021-12-17 Paper The weak completion semantics can model inferences of individual human reasoners 2020-02-18 Paper...10 bytes (17 words) - 09:00, 7 October 2023
- Publication Type Exact satisfiabitity with jokers 2019-10-15 Paper The Weak Completion Semantics and Equality 2019-07-04 Paper Shift-invariant topologies for the...10 bytes (16 words) - 09:24, 25 September 2023
- pregeometries are commutative 2018-01-29 Paper Decidability of the Clark's completion semantics for monadic programs and queries 2017-11-09 Paper CATEGORICITY IN...10 bytes (16 words) - 00:24, 25 September 2023
- structure semantics and an operational semantics for TCSP 1994-05-10 Paper The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)...10 bytes (20 words) - 18:05, 9 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
- 2015-03-23 Paper Interaction semantics with refusals, divergence, and destruction 2012-11-16 Paper Specification completion for IOCO 2012-03-12 Paper Complete...10 bytes (19 words) - 23:45, 10 December 2023
- reconstruction of the operational semantics of logic programs 1993-06-29 Paper A new SLDNF-tree 1993-01-17 Paper Strict completion of logic programs 1991-01-01...10 bytes (16 words) - 03:23, 9 December 2023
- partial functions: a connection between complexity analysis and denotational semantics 2011-06-15 Paper Complexity spaces as quantitative domains of computation...10 bytes (17 words) - 18:16, 11 December 2023
- de/entity/Q4353633 1997-09-10 Paper Metric semantics from partial order semantics 1997-09-09 Paper Denotational linear time semantics and sequential composition 1997-02-27...10 bytes (17 words) - 01:51, 9 December 2023
- 2015-03-23 Paper Interaction semantics with refusals, divergence, and destruction 2012-11-16 Paper Specification completion for IOCO 2012-03-12 Paper Complete...10 bytes (18 words) - 23:45, 10 December 2023
- syntax and semantics 2016-07-28 Paper Univalent categories and the Rezk completion 2016-07-27 Paper Initiality for Typed Syntax and Semantics 2012-09-21...10 bytes (17 words) - 20:29, 6 October 2023
