Search results
From MaRDI portal
- 2006-01-03 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Optimizing compilation...10 bytes (23 words) - 00:56, 10 December 2023
- for Hoare logic 2021-01-19 Paper https://portal.mardi4nfdi.de/entity/Q5116416 2020-08-25 Paper On Constructive Fragments of Classical Logic 2020-02-04...10 bytes (18 words) - 15:25, 10 December 2023
- 2005-12-08 Paper LOGICS FROM QUANTUM COMPUTATION 2005-10-18 Paper QUANTUM COMPUTATIONAL LOGICS AND FOCK SPACE SEMANTICS 2005-03-30 Paper An unsharp logic from quantum...10 bytes (20 words) - 19:17, 8 December 2023
- Paper Agents and Computational Autonomy 2005-12-27 Paper Computational Logic in Multi-Agent Systems 2005-11-23 Paper Computational Logic in Multi-Agent Systems...10 bytes (21 words) - 01:52, 9 December 2023
- probability logic 2023-09-07 Paper On the coprimeness relation from the viewpoint of monadic second-order logic 2023-09-02 Paper Infinitary action logic with...10 bytes (18 words) - 15:34, 11 December 2023
- Non-determinism in Logic Program Refinement 2013-07-24 Paper Refinement of Higher-Order Logic Programs 2011-03-04 Paper Calculating modules in contextual logic program...10 bytes (18 words) - 18:04, 9 December 2023
- structures in quantum computational logic 2011-03-30 Paper Holism, ambiguity and approximation in the logics of quantum computation: a survey 2011-03-30...10 bytes (17 words) - 12:25, 11 December 2023
- for Deontic Action Logic 2008-08-28 Paper Extension Morphisms for CommUnity 2007-09-07 Paper A Verification Logic for Rewriting Logic 2005-07-13 Paper https://portal...10 bytes (21 words) - 15:15, 12 December 2023
- Temporal Logic 2017-10-16 Paper Undecidability of the unification and admissibility problems for modal and description logics 2017-07-12 Paper Logics of metric...10 bytes (17 words) - 23:16, 9 December 2023
- interval dynamic logic 2018-09-27 Paper A logic for the stepwise development of reactive systems 2018-09-24 Paper A short overview of Hidden Logic 2018-09-13...10 bytes (19 words) - 23:53, 10 December 2023
- Publication Type Logic tensor networks 2022-03-02 Paper https://portal.mardi4nfdi.de/entity/Q4997237 2021-06-28 Paper Learning and Reasoning with Logic Tensor Networks...10 bytes (21 words) - 02:43, 9 December 2023
- Variety of Behaviours Through Profiles in Logic-Based Agents 2009-04-28 Paper Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS...10 bytes (17 words) - 23:17, 9 December 2023
- 2007-05-02 Paper Logics in Artificial Intelligence 2006-10-25 Paper Computational Logic in Multi-Agent Systems 2005-11-23 Paper Computational Logic in Multi-Agent...10 bytes (16 words) - 08:53, 13 December 2023
- Quantum Computational Logics 2007-11-15 Paper Compositional and holistic quantum computational semantics 2007-06-14 Paper Quantum computational semantics on Fock...10 bytes (16 words) - 01:36, 12 December 2023
- 2013-07-12 Paper The Square of Opposition in Orthomodular Logic 2013-04-11 Paper Quantum computational logic with mixed states 2013-04-09 Paper Equational characterization...10 bytes (16 words) - 13:36, 11 December 2023
- 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23 Paper Logic for Programming...10 bytes (19 words) - 03:58, 12 December 2023
- Embedding logics into product logic 2001-04-19 Paper Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic 2001-01-14...10 bytes (17 words) - 00:10, 9 December 2023
- Publication Type Intuitionistic logic is a connexive logic 2024-04-10 Paper A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC 2024-01-11 Paper An algebraic...10 bytes (16 words) - 14:58, 10 December 2023
- 2006-01-03 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Optimizing compilation...10 bytes (18 words) - 00:40, 10 December 2023
- Paper Parametrized Equilibrium Logic 2011-05-26 Paper Transaction Logic with External Actions 2011-05-26 Paper Evolving Logic Programs with Temporal Operators...10 bytes (19 words) - 14:35, 12 December 2023
