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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 (21 words) - 23:56, 9 December 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
- Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable behaviors and equivalences of logic programs 1996-03-18...10 bytes (13 words) - 00:57, 10 December 2023
- 2015-11-04 Paper Unicast and multicast QoS routing with soft-constraint logic programming 2015-09-17 Paper Bribery in voting with CP-nets 2014-02-25 Paper Modelling...10 bytes (15 words) - 18:24, 9 December 2023
