Search results
From MaRDI portal
- between logic programming semantics and argumentation semantics 2015-05-15 Paper A QBF-based formalization of abstract argumentation semantics 2014-04-17...10 bytes (15 words) - 20:07, 22 September 2023
- \(cf2\) argumentation semantics revisited 2013-11-21 Paper AGM-Style Belief Revision of Logic Programs under Answer Set Semantics 2013-10-10 Paper Admissibility...10 bytes (14 words) - 11:24, 7 October 2023
- Date of Publication Type A Coalgebraic Approach to Unification Semantics of Logic Programming 2024-03-14 Paper From Tuscany to Scotland and back. A homage...10 bytes (16 words) - 18:24, 9 December 2023
- 2011-11-23 Paper Semantics and complexity of recursive aggregates in answer set programming 2011-06-17 Paper Dynamic Magic Sets for Programs with Monotone...10 bytes (15 words) - 04:41, 9 December 2023
- extensive relationship 2018-01-12 Paper Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness 2016-07-15 Paper Modelling...10 bytes (14 words) - 15:31, 8 December 2023
- Nonmonotonic Logic Programs 2009-11-10 Paper Answer Set Programming: A Primer 2009-10-28 Paper Logic Programming 2009-08-06 Paper Logic Programming 2009-08-06...10 bytes (15 words) - 11:36, 8 December 2023
- extended logic programming 1997-02-27 Paper On the equivalence of semantics for normal logic programs 1995-04-06 Paper A three-valued semantics for deductive...10 bytes (15 words) - 06:26, 7 October 2023
- of Publication Type Logic programming semantics made easy 2019-12-04 Paper Characterizing and extending answer set semantics using possibility theory 2017-11-09...10 bytes (13 words) - 12:00, 11 December 2023
- Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Distance semantics for database...10 bytes (13 words) - 07:52, 7 October 2023
- operational semantics and algebraic semantics for a probabilistic timed shared-variable language 2011-12-19 Paper Generating Denotational Semantics from Algebraic...10 bytes (13 words) - 23:27, 24 September 2023
- 2015-09-11 Paper Bialgebraic Semantics for Logic Programming 2015-04-22 Paper A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic...10 bytes (13 words) - 06:03, 7 October 2023
- Informal Semantics for Answer Set Programming 2014-02-25 Paper Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers...10 bytes (15 words) - 13:24, 10 December 2023
- Possible world semantics for analogous reasoning 2019-04-29 Paper https://portal.mardi4nfdi.de/entity/Q4619829 2019-02-07 Paper Programming norm change 2018-08-28...10 bytes (18 words) - 00:52, 9 December 2023
- 1997-02-27 Paper Resultant semantics for prolog 1997-02-17 Paper Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable...10 bytes (13 words) - 00:57, 10 December 2023
- Theoretical Foundation for Programming Languages Aggregation 2016-02-25 Paper From Rewriting Logic, to Programming Language Semantics, to Program Verification 2015-09-14...10 bytes (14 words) - 00:42, 9 December 2023
- Logic Programming 2022-07-01 Paper Symbolic DNN-tuner 2022-04-20 Paper Abduction with probabilistic logic programming under the distribution semantics 2022-02-22...10 bytes (13 words) - 16:34, 6 October 2023
- Safe Belief Semantics 2007-12-12 Paper Semantics for Possibilistic Disjunctive Programs 2007-11-13 Paper Updates in answer set programming: An approach...10 bytes (14 words) - 21:56, 24 September 2023
- fixed-point semantics for definitional higher-order logic programs 2017-02-27 Paper Game semantics for non-monotonic intensional logic programming 2016-12-02...10 bytes (13 words) - 18:45, 24 September 2023
- Rewriting Logic 2011-03-04 Paper Programming Language Description Languages 2010-04-23 Paper VDM Semantics of Programming Languages: Combinators and Monads...10 bytes (17 words) - 03:54, 12 December 2023
- unique-status grounded semantics 2017-09-05 Paper Soft concurrent constraint programming 2017-07-12 Paper On merging two trust-networks in one with bipolar preferences...10 bytes (15 words) - 18:24, 9 December 2023
