Search results
From MaRDI portal
- Induction of Logic Programs Using a Deductive Database System 2007-11-15 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming...10 bytes (14 words) - 14:30, 6 October 2023
- Publication Date of Publication Type Parallel Logic Programming: A Sequel 2023-12-12 Paper Modeling and Reasoning in Event Calculus...10 bytes (13 words) - 09:35, 5 September 2024
- preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms...10 bytes (13 words) - 06:46, 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 (16 words) - 02:58, 12 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
- 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 (14 words) - 20:57, 10 December 2023
- Inductive Logic Programming 2006-11-01 Paper Logics in Artificial Intelligence 2006-10-25 Paper Inductive Logic Programming 2006-10-19 Paper Computational...10 bytes (13 words) - 14:59, 11 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 (15 words) - 23:40, 9 December 2023
- hybrid circuits in constraint logic programming 1990-01-01 Paper Solving large combinatorial problems in logic programming 1990-01-01 Paper https://portal...10 bytes (16 words) - 00:06, 10 December 2023
- Inductive Logic Programming 2007-11-15 Paper Inductive Logic Programming 2006-11-01 Paper Inductive Logic Programming 2006-11-01 Paper Inductive Logic Programming...10 bytes (15 words) - 10:42, 6 October 2023
- temporal logic with infinite models 2008-04-03 Paper Operational Semantics of Framed Temporal Logic Programs 2008-03-07 Paper Framed temporal logic programming...10 bytes (13 words) - 15:37, 6 October 2023
- Paper Abduction from logic programs: Semantics and complexity 1998-06-30 Paper On the indiscernibility of individuals in logic programming 1998-04-22 Paper...10 bytes (15 words) - 04:40, 9 December 2023
- 2007-07-25 Paper A backjumping technique for disjunctive logic programming 2006-10-04 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper...10 bytes (13 words) - 01:00, 7 October 2023
- Talmudic temporal logic. I: Legal analysis functions without parallel histories 2024-09-25 Paper Rethinking Talmudic temporal logic. II: Two-dimensional...10 bytes (16 words) - 01:43, 9 December 2023
- 2007-10-19 Paper Logic Programming 2006-06-27 Paper Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Logic Programming 2005-08-26...10 bytes (13 words) - 02:15, 25 September 2023
- in probabilistic logic programs with continuous random variables 2013-03-13 Paper Deductive Spreadsheets Using Tabled Logic Programming 2008-03-11 Paper...10 bytes (15 words) - 19:06, 6 October 2023
- Paper A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING 1990-01-01 Paper Protected completions of first-order general logic programs 1990-01-01 Paper https://portal...10 bytes (15 words) - 16:12, 24 September 2023
- study of constraint logic programming and answer set programming solutions of combinatorial problems 2009-10-27 Paper Logic Programming 2009-08-06 Paper Recent...10 bytes (15 words) - 06:45, 9 December 2023
- 1995-07-03 Paper Reasoning about prolog programs: From modes through types to assertions 1995-04-09 Paper Logic programming and negation: A survey 1994-10-13...10 bytes (17 words) - 23:04, 11 December 2023
- 2015-03-17 Paper Adaptive functional programming 2015-03-17 Paper Space profiling for parallel functional programs 2015-03-16 Paper Automatic generation...10 bytes (15 words) - 19:33, 6 October 2023
