Search results
From MaRDI portal
- equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic 2013-10-02 Paper Tiling transactions in rewriting logic 2013-10-02...10 bytes (15 words) - 10:55, 11 December 2023
- Systems 2017-07-27 Paper Symbolic Control of Linear Systems Based on Symbolic Subsystems 2017-07-27 Paper Robust Linear Temporal Logic 2017-07-19 Paper SMC...10 bytes (13 words) - 23:29, 11 December 2023
- 2005-10-26 Paper Membrane Computing 2005-09-14 Paper Relaxed models for rewriting logic 2003-01-21 Paper On refinement in rewriting logic 2001-08-13 Paper https://portal...10 bytes (13 words) - 01:49, 12 December 2023
- Weak, strong, and strong cyclic planning via symbolic model checking 2006-02-07 Paper Conformant planning via symbolic model checking and heuristic search...10 bytes (15 words) - 09:34, 11 December 2023
- Interval Temporal Logic 2019-10-31 Paper Index set expressions can represent temporal logic formulas 2019-08-09 Paper A temporal logic programming approach...10 bytes (13 words) - 15:37, 6 October 2023
- Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower bound founded logic of here-and-there 2020-02-18 Paper Computing Diverse...10 bytes (16 words) - 19:59, 11 December 2023
- experiment in combining theorem proving and symbolic computation 2024-06-21 Paper Combining symbolic computation and theorem proving: Some problems of Ramanujan...10 bytes (16 words) - 05:27, 9 December 2023
- unification in concolic testing of logic programs 2017-10-13 Paper Symbolic execution and thresholding for efficiently tuning fuzzy logic programs 2017-10-13 Paper...10 bytes (15 words) - 02:15, 25 September 2023
- 2010-09-14 Paper DKAL and Z3: A Logic Embedding Experiment 2010-09-03 Paper Deciding effectively propositional logic using DPLL and substitution sets 2010-05-26...10 bytes (14 words) - 01:18, 12 December 2023
- Inductive Logic Programming 2006-10-19 Paper Symbolic and Quantitative Approaches to Reasoning with Uncertainty 2006-06-23 Paper Symbolic and Quantitative...10 bytes (14 words) - 12:42, 7 December 2023
- Correct and logical inference on efficacy in subgroups and their mixture for binary outcomes 2019-02-28 Paper Accuracy and efficiency in computing electrostatic...10 bytes (14 words) - 02:45, 25 September 2023
- approximate logic for neuro-symbolic learning and reasoning 2021-11-24 Paper https://portal.mardi4nfdi.de/entity/Q5111913 2020-05-27 Paper Symbolic timed trace...10 bytes (16 words) - 13:33, 8 December 2023
- reaction network designs for asynchronous logic circuits 2023-11-30 Paper Computing with biological switches and clocks 2023-11-30 Paper Programming discrete...10 bytes (15 words) - 20:23, 11 December 2023
- temporal epistemic logic: strong completeness 2024-11-15 Paper A probabilistic temporal epistemic logic: decidability 2024-11-15 Paper The logic ILP for intuitionistic...10 bytes (13 words) - 11:12, 11 December 2023
- A direct symbolic algorithm for solving stochastic Rabin games 2024-02-01 Paper A flexible toolchain for symbolic Rabin games under fair and stochastic...10 bytes (14 words) - 09:01, 6 October 2023
- Paper Symbolic Model Checking for Alternating Projection Temporal Logic 2016-02-05 Paper Improved even order magic square construction algorithms and their...10 bytes (13 words) - 15:37, 6 October 2023
- Paper Symbolic possibilistic logic: completeness and inference methods 2018-09-28 Paper On the relation between possibilistic logic and modal logics of belief...10 bytes (15 words) - 14:52, 6 December 2023
- for Łukasiewicz logic 2006-10-10 Paper Symbolic and Quantitative Approaches to Reasoning with Uncertainty 2006-06-23 Paper Symbolic and Quantitative Approaches...10 bytes (13 words) - 16:55, 11 December 2023
- declarative approach to distributed computing: Specification, execution and analysis 2014-02-27 Paper On Minimality and Integrity Constraints in Probabilistic...10 bytes (15 words) - 01:32, 11 December 2023
- Symmetric monoidal and cartesian double categories as a semantic framework for tile logic 2002-05-14 Paper Soft constraint logic programming and generalized shortest...10 bytes (16 words) - 18:24, 9 December 2023
