Search results
From MaRDI portal
- and Logic Programming 2007-09-25 Paper Improving PARMA trailing 2007-02-13 Paper Logic Programming 2006-06-27 Paper Checking modes of HAL programs 2006-01-03...10 bytes (23 words) - 00:56, 10 December 2023
- Paper Logic programs with monotone abstract constraint atoms 2008-03-27 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming...10 bytes (17 words) - 14:24, 10 December 2023
- Paper Qualified Computations in Functional Logic Programming 2009-07-24 Paper Quantitative Logic Programming Revisited 2008-04-11 Paper Declarative Diagnosis...10 bytes (19 words) - 18:01, 9 December 2023
- Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Answer set based design of knowledge systems 2006-12-20 Paper Logic Programming 2006-06-27...10 bytes (17 words) - 15:33, 8 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
- Planning with preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and...10 bytes (16 words) - 07:46, 9 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
- Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic...10 bytes (18 words) - 02:44, 9 December 2023
- Compliance: From LTL to Abductive Logic Programming 2018-05-03 Paper Verifiable agent interaction in abductive logic programming 2017-07-12 Paper https://portal...10 bytes (16 words) - 15:06, 9 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
- Kernel Programming 2016-10-19 Paper \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs 2016-10-17 Paper Probabilistic logic programming...10 bytes (19 words) - 06:04, 9 December 2023
- Reasoning 2006-06-23 Paper Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Logic Programming 2005-08-26 Paper Extending...10 bytes (16 words) - 13:00, 11 December 2023
- satisfaction using constraint logic programming 1993-04-01 Paper Solving a cutting-stock problem with the constraint logic programming language CHIP 1993-01-16...10 bytes (16 words) - 12:15, 13 December 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
- 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
- 2006-10-19 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming 2005-08-26 Paper Euro-Par 2004 Parallel Processing 2005-08-23...10 bytes (17 words) - 16:36, 27 February 2024
- uncertainty in a logic programming setting 2014-08-01 Paper Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy...10 bytes (18 words) - 20:42, 12 December 2023
- Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic...10 bytes (18 words) - 20:59, 11 December 2023
- 2006-10-27 Paper Inductive Logic Programming 2006-10-19 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning...10 bytes (19 words) - 06:49, 12 December 2023
- Equivalence in First-order Logic 2006-11-30 Paper Inductive Logic Programming 2006-11-01 Paper Inductive Logic Programming 2006-11-01 Paper Theoretical...10 bytes (16 words) - 15:59, 11 December 2023