Search results
From MaRDI portal
- Heuristics for Hard ASP Programs 2007-11-13 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning...10 bytes (17 words) - 05:41, 9 December 2023
- 2000-06-07 Paper Abductive logic programming and disjunctive logic programming: their relationship and transferability 2000-05-25 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 20:33, 11 December 2023
- Publication Date of Publication Type A game semantics for disjunctive logic programming 2013-12-19 Paper...10 bytes (16 words) - 14:43, 6 October 2023
- Publication Type Census Data Repair: A Challenging Application of Disjunctive Logic Programming 2011-05-06 Paper...10 bytes (18 words) - 03:31, 7 October 2023
- Publication Date of Publication Type Negation as failure for disjunctive logic programming 1994-01-01 Paper...10 bytes (19 words) - 23:43, 24 September 2023
- heuristics in disjunctive logic programming 2008-04-21 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic...10 bytes (16 words) - 06:18, 7 October 2023
- Disjunction and Complexities 2007-11-13 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming 2005-08-26 Paper Enhancing global SLS-resolution...10 bytes (18 words) - 14:15, 12 December 2023
- built from prioritized logic programming 2015-10-20 Paper https://portal.mardi4nfdi.de/entity/Q3408143 2010-02-24 Paper Logic Programming 2005-08-26 Paper...10 bytes (16 words) - 01:05, 25 September 2023
- Date of Publication Type An abductive framework for negation in disjunctive logic programming 2019-10-08 Paper https://portal.mardi4nfdi.de/entity/Q4537430...10 bytes (16 words) - 19:05, 24 September 2023
- in disjunctive logic programming 2001-03-25 Paper https://portal.mardi4nfdi.de/entity/Q4955333 2000-05-25 Paper Argumentation in disjunctive logic programming...10 bytes (16 words) - 13:44, 7 October 2023
- 2010-08-20 Paper Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming 2008-03-17 Paper Motif patterns in 2D 2008-03-05 Paper...10 bytes (19 words) - 10:38, 6 October 2023
- de/entity/Q2758305 2001-12-06 Paper Temporal disjunctive logic programming 2001-04-17 Paper Branching-time logic programming: the language Cactus and its applications...10 bytes (16 words) - 19:45, 24 September 2023
- argumentation-theoretic foundation for logic programming 1995-04-09 Paper Negation as failure for disjunctive logic programming 1994-01-01 Paper On the relations...10 bytes (19 words) - 19:03, 9 December 2023
- schema from an OEM database 1998-08-20 Paper Disjunctive logic and semantics of disjunctive logic programs 1998-06-11 Paper A heuristic extension to Reiter's...10 bytes (17 words) - 16:22, 10 December 2023
- Paper Argumentation in disjunctive logic programming 1998-12-14 Paper The least fixpoint transformation for disjunctive logic programs 1998-11-10 Paper Credolous...10 bytes (16 words) - 22:29, 24 September 2023
- chain datalog programs 2002-01-22 Paper https://portal.mardi4nfdi.de/entity/Q2758304 2001-12-06 Paper Temporal disjunctive logic programming 2001-04-17 Paper...10 bytes (16 words) - 19:45, 24 September 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 (17 words) - 14:24, 10 December 2023
- 2011-11-25 Paper Census Data Repair: A Challenging Application of Disjunctive Logic Programming 2011-05-06 Paper On the complexity of regular-grammars with integer...10 bytes (17 words) - 17:43, 9 December 2023
- in disjunctive logic programming 2008-04-21 Paper Experimenting with Look-Back Heuristics for Hard ASP Programs 2007-11-13 Paper Disjunctive logic programming...10 bytes (16 words) - 02:00, 7 October 2023
- Application of Disjunctive Logic Programming 2011-05-06 Paper Foundations of Temporal Conceptual Data Models 2009-07-09 Paper Database Programming Languages...10 bytes (16 words) - 13:10, 24 September 2023