Search results
From MaRDI portal
- Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies 2015-10-02 Paper Disjunctive logic programs with existential quantification...10 bytes (15 words) - 06:26, 7 October 2023
- Probabilistic Logic Programs 2022-01-10 Paper Probabilistic inductive constraint logic 2021-11-24 Paper A semantics for hybrid probabilistic logic programs with...10 bytes (13 words) - 16:34, 6 October 2023
- Language 2020-12-13 Paper Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower bound founded logic of here-and-there 2020-02-18...10 bytes (13 words) - 09:50, 7 October 2023
- without circular justifications for general logic programs 2014-06-10 Paper Well-Supported Semantics for Logic Programs with Generalized Rules 2012-07-23 Paper...10 bytes (14 words) - 15:22, 10 December 2023
- Paper Slicing concurrent constraint programs 2021-05-20 Paper Efficient analysis of concurrent constraint logic programs 2019-03-29 Paper Abstract interpretation...10 bytes (13 words) - 11:26, 12 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 (13 words) - 01:18, 9 December 2023
- description logic programs in the semantic web 2015-09-17 Paper FDNC 2015-09-17 Paper Embedding nonground logic programs into autoepistemic logic for knowledge-base...10 bytes (15 words) - 11:36, 8 December 2023
- Random Logic Programs 2009-11-10 Paper Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs 2009-11-10 Paper Logic Programming...10 bytes (15 words) - 13:24, 10 December 2023
- concolic testing of logic programs 2017-10-13 Paper Symbolic execution and thresholding for efficiently tuning fuzzy logic programs 2017-10-13 Paper Relative...10 bytes (15 words) - 02:15, 25 September 2023
- Properties of Constraint Logic Programs by Eliminating Existential Variables 2008-03-11 Paper Derivation of efficient logic programs by specialization and...10 bytes (13 words) - 15:42, 12 December 2023
- Paper Efficient evaluation of a class of ordered logic programs 1998-07-22 Paper Abduction from logic programs: Semantics and complexity 1998-06-30 Paper https://portal...10 bytes (15 words) - 04:41, 9 December 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
- 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 (15 words) - 19:59, 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 (16 words) - 02:58, 12 December 2023
- Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Logic Programming 2005-08-26...10 bytes (14 words) - 23:41, 24 September 2023
- Stable Semantics of Logic Programs 2008-01-04 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning...10 bytes (15 words) - 16:38, 11 December 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
- Answer Set Programming 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) - 19:59, 11 December 2023
- hyperequivalence of logic programs for modular programming 2009-11-25 Paper Belief Revision with Bounded Treewidth 2009-11-10 Paper Manifold Answer-Set Programs for Meta-reasoning...10 bytes (14 words) - 11:24, 7 October 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 (13 words) - 10:27, 11 December 2023
