Search results
From MaRDI portal
- 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
- 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 (18 words) - 11:42, 6 October 2023
- de/entity/Q4631184 2019-04-24 Paper Logic programming: laxness and saturation 2018-11-01 Paper Productive corecursion in logic programming 2017-11-08 Paper A productivity...10 bytes (16 words) - 10:04, 7 October 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
- 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
- Epistemic Logic Programs 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) - 10:50, 7 October 2023
- Reasoning 2006-06-23 Paper Logic for Programming, Artificial Intelligence, and Reasoning 2005-11-10 Paper Logic Programming 2005-08-26 Paper https://portal...10 bytes (18 words) - 13:57, 7 October 2023
- optimal goal satisfaction 2018-09-05 Paper Programming in logic without logic programming 2017-11-09 Paper A logic-based calculus of events 2017-02-28 Paper...10 bytes (18 words) - 15:14, 6 October 2023
- argumentation and logic programming comparison based on 5-valued labellings 2022-06-15 Paper Assumption-based argumentation is logic programming with projection...10 bytes (16 words) - 19:50, 24 September 2023
- Compliance: From LTL to Abductive Logic Programming 2018-05-03 Paper Verifiable agent interaction in abductive logic programming 2017-07-12 Paper Reactive Event...10 bytes (16 words) - 03:36, 25 September 2023
- Coinductive Logic Programming and Its Applications 2009-03-05 Paper Coinductive Logic Programming 2008-03-11 Paper Co-Logic Programming: Extending Logic Programming...10 bytes (17 words) - 03:04, 28 December 2023
- Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming 2005-08-26 Paper Logic Programming 2005-08-26 Paper Enhancing...10 bytes (18 words) - 07:26, 7 October 2023
- Computer Science 2006-11-14 Paper Logic Programming 2006-06-27 Paper A treatment of higher-order features in logic programming 2006-02-08 Paper https://portal...10 bytes (16 words) - 03:45, 7 October 2023
- logic without logic programming 2017-11-09 Paper Reactive computing as model generation 2016-04-01 Paper Teleo-Reactive Abductive Logic Programs 2012-07-23...10 bytes (16 words) - 15:14, 6 October 2023
- International Conference on Logic Programming Special Issue 2022-09-30 Paper Introduction to the 38th International Conference on Logic Programming Special Issue II...10 bytes (16 words) - 14:30, 6 October 2023
- 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 (17 words) - 15:30, 6 October 2023
- Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic...10 bytes (17 words) - 06:18, 7 October 2023
- Event-Condition-Action Logic Programming Language 2008-10-30 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic...10 bytes (17 words) - 09:57, 7 October 2023
- de/entity/Q5422272 2007-10-17 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming 2005-08-26 Paper Logic Programming 2005-08-26 Paper...10 bytes (16 words) - 17:34, 6 October 2023
- Inductive Logic Programming 2015-09-07 Paper https://portal.mardi4nfdi.de/entity/Q2880978 2012-04-17 Paper CLP( $\cal{BN}$ ): Constraint Logic Programming for...10 bytes (17 words) - 02:35, 25 September 2023