Search results
From MaRDI portal
- description logic programs 2010-08-19 Paper Termination prediction for general logic programs 2009-11-25 Paper A Default Approach to Semantics of Logic Programs...10 bytes (17 words) - 16:22, 10 December 2023
- ${\cal R}$ ) Programs 2008-08-28 Paper Program Development in Computational Logic 2005-12-23 Paper Bounded nondeterminism of logic programs 2005-01-17 Paper...10 bytes (16 words) - 02:18, 9 December 2023
- constraint logic programs 2022-08-16 Paper Assertion based Inductive Verification Methods for Logic Programs 2013-06-06 Paper Logic programs as specifications...10 bytes (17 words) - 05:01, 13 December 2023
- as a basis for termination analysis of logic programs 2011-08-17 Paper Non-termination analysis of logic programs with integer arithmetics 2011-08-16 Paper...10 bytes (19 words) - 04:12, 9 December 2023
- of logic programs 2000-11-22 Paper A simple polynomial groundness analysis for logic programs 2000-10-10 Paper Type dependencies for logic programs using...10 bytes (16 words) - 11:27, 11 December 2023
- Verification Methods for Logic Programs 2013-06-06 Paper Logic programs as specifications in the inductive verification of logic programs 2013-05-24 Paper Abstract...10 bytes (16 words) - 06:07, 13 December 2023
- Paper Reasoning with logic programming 1996-10-06 Paper Belief, provability, and logic programs 1995-09-11 Paper A logic programming system for nonmonotonic...10 bytes (18 words) - 20:59, 11 December 2023
- constraint programs with evaluable functions 2011-11-08 Paper Loop formulas for description logic programs 2010-08-19 Paper Weight Constraint Programs with Functions...10 bytes (18 words) - 14:15, 12 December 2023
- Inhibitors in Causal Justifications of Logic Programs 2015-11-04 Paper Causal Graph Justifications of Logic Programs 2014-11-25 Paper...10 bytes (16 words) - 12:21, 28 January 2024
- 2017-11-09 Paper Correctness and Completeness of Logic Programs 2017-07-12 Paper Proving completeness of logic programs with the cut 2017-02-14 Paper On negation...10 bytes (16 words) - 04:36, 12 December 2023
- well-moded programs 1999-07-20 Paper https://portal.mardi4nfdi.de/entity/Q5688899 1997-03-19 Paper Differential logic programs: Programming methodologies...10 bytes (17 words) - 08:51, 13 December 2023
- Oscillating Behavior of Logic Programs 2012-07-23 Paper Inductive equivalence in clausal logic and nonmonotonic logic programming 2012-05-08 Paper Exploring...10 bytes (16 words) - 20:33, 11 December 2023
- Distributed Extended Logic Programs 2009-01-20 Paper An Event-Condition-Action Logic Programming Language 2008-10-30 Paper Logic Programming and Nonmonotonic...10 bytes (19 words) - 14:35, 12 December 2023
- analysis of concurrent constraint logic programs 2019-03-29 Paper Abstract interpretation of temporal concurrent constraint programs 2017-11-09 Paper Slicing concurrent...10 bytes (16 words) - 12:26, 12 December 2023
- Layerings of logic programs -- layer decomposable semantics and incremental model computation 2023-08-17 Paper Modularization of logic programs 2023-08-17...10 bytes (18 words) - 07:00, 7 October 2023
- Approach to Non-termination Analysis of Logic Programs 2012-11-13 Paper Non-termination analysis of logic programs with integer arithmetics 2011-08-16 Paper...10 bytes (16 words) - 19:45, 6 October 2023
- Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies 2015-10-02 Paper Disjunctive logic programs with existential quantification...10 bytes (18 words) - 07:26, 7 October 2023
- probabilistic logic programs 2022-01-28 Paper Optimizing Probabilities in Probabilistic Logic Programs 2022-01-10 Paper Nonground Abductive Logic Programming with...10 bytes (16 words) - 17:34, 6 October 2023
- Epistemic Logic Programs 2020-12-13 Paper Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower bound founded logic of here-and-there...10 bytes (16 words) - 10:50, 7 October 2023
- with definitional trees 2022-12-09 Paper From Logic to Functional Logic Programs 2022-09-30 Paper Logic programs with equational type specifications 2022-08-16...10 bytes (17 words) - 07:17, 7 October 2023