Search results
From MaRDI portal
- reasoning in neural-symbolic systems 2007-11-14 Paper Logic Programming 2006-06-27 Paper Logic Programming 2005-08-26 Paper A Hybrid Abductive Inductive Proof...10 bytes (16 words) - 02:33, 13 December 2023
- Conference on Logic Programming special issue 2014-02-27 Paper Well–definedness and efficient inference for probabilistic logic programming under the distribution...10 bytes (16 words) - 01:52, 9 December 2023
- Paper Reasoning with logic programming 1996-10-06 Paper Belief, provability, and logic programs 1995-09-11 Paper A logic programming system for nonmonotonic...10 bytes (18 words) - 20:59, 11 December 2023
- 2008-03-07 Paper Framed temporal logic programming 2008-02-04 Paper Logic Programming 2006-06-27 Paper...10 bytes (17 words) - 18:25, 13 December 2023
- Incremental constraint satisfaction for equational logic programming 1997-09-29 Paper Constraint logic programming with dynamic scheduling: A semantics based on...10 bytes (16 words) - 12:26, 12 December 2023
- 2008-07-23 Paper Deductive Spreadsheets Using Tabled Logic Programming 2008-03-11 Paper Logic Programming 2005-08-26 Paper https://portal.mardi4nfdi.de/entity/Q4417884...10 bytes (19 words) - 01:52, 9 December 2023
- framework for constraint normal logic programming 2008-07-30 Paper A Functorial Framework for Constraint Normal Logic Programming 2007-09-07 Paper https://portal...10 bytes (16 words) - 00:18, 12 December 2023
- as failure and embedded implications in logic programs 1999-03-07 Paper A modal extension of logic programming: modularity, beliefs and hypothetical reasoning...10 bytes (17 words) - 14:35, 11 December 2023
- Inductive Logic Programming 2008-03-28 Paper Building Relational World Models for Reinforcement Learning 2008-03-28 Paper Inductive Logic Programming 2006-11-01...10 bytes (18 words) - 23:41, 11 December 2023
- equational logic programming 1993-05-16 Paper https://portal.mardi4nfdi.de/entity/Q4027618 1993-02-21 Paper Logic and functional programming by retractions...10 bytes (16 words) - 10:51, 13 December 2023
- Variable Elimination in Normal Logic Programs 2009-01-15 Paper A functorial framework for constraint normal logic programming 2008-07-30 Paper A Generalization...10 bytes (16 words) - 13:01, 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) - 00:55, 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 (17 words) - 19:24, 9 December 2023
- probabilistic logic programs 2022-01-28 Paper Optimizing Probabilities in Probabilistic Logic Programs 2022-01-10 Paper Nonground Abductive Logic Programming with...10 bytes (16 words) - 17:34, 6 October 2023
- abductive framework for extended logic programming 2022-08-30 Paper Dischargeable Obligations in Abductive Logic Programming 2022-07-01 Paper Symbolic DNN-tuner...10 bytes (16 words) - 09:44, 25 September 2023
- Statistical statements in probabilistic logic programming 2023-04-04 Paper Abduction with probabilistic logic programming under the distribution semantics 2022-02-22...10 bytes (16 words) - 14:54, 28 January 2024
- for chain datalog programs 2002-01-22 Paper Temporal disjunctive logic programming 2001-04-17 Paper Branching-time logic programming: the language Cactus...10 bytes (16 words) - 19:45, 24 September 2023
- Coinductive Logic Programming 2008-03-11 Paper Co-Logic Programming: Extending Logic Programming with Coinduction 2007-11-28 Paper Logic Programming 2006-06-27...10 bytes (16 words) - 03:04, 28 December 2023
- semantics for an algebra of logic programs 1997-02-28 Paper Composing Open Logic Programs 1994-03-22 Paper Distributed Logic Programming 1993-06-29 Paper Compositional...10 bytes (17 words) - 14:11, 6 October 2023
- Dischargeable Obligations in Abductive Logic Programming 2022-07-01 Paper Abduction with probabilistic logic programming under the distribution semantics 2022-02-22...10 bytes (17 words) - 18:53, 24 September 2023