Search results
From MaRDI portal
- Some results on the complexity of exploiting data dependency in parallel logic programs 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3493326 1989-01-01...10 bytes (15 words) - 02:19, 25 September 2023
- and mutual exclusion for logic programs using mode and type analyses 2010-06-29 Paper Determinacy Analysis for Logic Programs Using Mode and Type Information...10 bytes (15 words) - 13:55, 28 January 2024
- 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 (16 words) - 02:58, 12 December 2023
- Induction of Logic Programs Using a Deductive Database System 2007-11-15 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming...10 bytes (14 words) - 14:30, 6 October 2023
- preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms...10 bytes (13 words) - 06:46, 9 December 2023
- temporal logic with infinite models 2008-04-03 Paper Operational Semantics of Framed Temporal Logic Programs 2008-03-07 Paper Framed temporal logic programming...10 bytes (13 words) - 15:37, 6 October 2023
- autoepistemic semantics for general logic programs 1993-01-16 Paper Stable and extension class theory for logic programs and default logics 1993-01-16 Paper Paraconsistent...10 bytes (15 words) - 16:12, 24 September 2023
- Behavior of Logic Programs 2012-07-23 Paper Analyzing Pathways Using ASP-Based Approaches 2012-06-08 Paper Inductive equivalence in clausal logic and nonmonotonic...10 bytes (13 words) - 14:59, 11 December 2023
- Hybrid Answer Set Programming 2021-09-03 Paper eclingo : A Solver for Epistemic Logic Programs 2020-12-13 Paper Verifying Tight Logic Programs with anthem and...10 bytes (16 words) - 19:59, 11 December 2023
- Dynamic Logic with Storing, Recovering and Parallel Composition 2015-03-18 Paper Propositional dynamic logics for communicating concurrent programs with CCS's...10 bytes (15 words) - 14:24, 10 December 2023
- 2007-10-19 Paper Logic Programming 2006-06-27 Paper Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Logic Programming 2005-08-26...10 bytes (13 words) - 02:15, 25 September 2023
- first-order fixpoint logic 2024-04-19 Paper A temporal logic for higher-order functional programs 2024-04-19 Paper A type-based HFL model checking algorithm 2024-04-19...10 bytes (14 words) - 08:08, 25 September 2023
- Quantum Programs 2022-04-29 Paper Robustness verification of quantum classifiers 2022-03-25 Paper A proof system for disjoint parallel quantum programs 2021-12-01...10 bytes (13 words) - 20:15, 8 December 2023
- Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable behaviors and equivalences of logic programs 1996-03-18...10 bytes (13 words) - 00:57, 10 December 2023
- 1977-01-01 Paper Verifying properties of parallel programs 1976-01-01 Paper An axiomatic proof technique for parallel programs 1976-01-01 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 16:07, 6 October 2023
- 2024-02-07 Paper Verification of logic programs with delay declarations 2022-08-16 Paper Proving termination of general Prolog programs 2022-08-16 Paper Coordination...10 bytes (17 words) - 23:04, 11 December 2023
- Paper Translating Xd-C programs to MSVL programs 2020-01-29 Paper A novel approach to verifying context free properties of programs 2020-01-29 Paper Model...10 bytes (13 words) - 15:37, 6 October 2023
- graph model for parallel processing 1993-11-15 Paper The parallel complexity of single rule logic programs 1993-01-31 Paper The parallel complexity of simple...10 bytes (15 words) - 00:39, 10 December 2023
- Concurrent Programs 2019-09-16 Paper Abstract semantic diffing of evolving concurrent programs 2019-09-04 Paper Model Checking Procedural Programs 2018-07-20...10 bytes (13 words) - 05:38, 12 December 2023
- in probabilistic logic programs with continuous random variables 2013-03-13 Paper Deductive Spreadsheets Using Tabled Logic Programming 2008-03-11 Paper...10 bytes (15 words) - 19:06, 6 October 2023
