Search results
From MaRDI portal
- 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 (18 words) - 17:38, 11 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
- 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
- integer linear programming approaches for course timetabling 2008-01-23 Paper Logic programming with satisfiability 2008-01-21 Paper Programming Languages and...10 bytes (18 words) - 00:40, 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
- 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
- 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
- Coinductive Logic Programming 2008-03-11 Paper PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters 2007-12-10 Paper Co-Logic Programming: Extending...10 bytes (17 words) - 21:57, 10 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 (16 words) - 01:57, 10 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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