Search results
From MaRDI portal
- Huowang Chen (section List of research outcomes)Argumentation in disjunctive logic programming 1998-12-14 Paper https://portal.mardi4nfdi.de/entity/Q4217935 1998-11-11 Paper The least fixpoint transformation for...10 bytes (13 words) - 09:11, 24 September 2023
- Marc Denecker (section List of research outcomes)FO(ID) Based on Least Fixpoint Logic 2009-11-10 Paper CP-logic: A language of causal probabilistic events and its relation to logic programming 2009-08-19 Paper...10 bytes (13 words) - 07:52, 7 October 2023
- Chiaki Sakama (section List of research outcomes)disjunctive logic programming 1997-10-30 Paper https://portal.mardi4nfdi.de/entity/Q5688901 1997-05-25 Paper A fixpoint characterization of abductive logic programs...10 bytes (13 words) - 19:33, 11 December 2023
- Kewen Wang (section List of research outcomes)Paper Random logic programs: Linear model 2017-11-09 Paper Comparisons and computation of well-founded semantics for disjunctive logic programs 2017-07-12...10 bytes (13 words) - 12:44, 7 October 2023
- Helmut Seidl (section List of research outcomes)Paper Deciding equivalence of separated non-nested attribute systems in polynomial time 2020-01-28 Paper Least solutions of equations over N 2019-04-29...10 bytes (13 words) - 22:29, 11 December 2023
- Quanyuan Wu (section List of research outcomes)Argumentation in disjunctive logic programming 1998-12-14 Paper The least fixpoint transformation for disjunctive logic programs 1998-11-10 Paper Credolous...10 bytes (13 words) - 21:29, 24 September 2023
- D. Massart (section List of research outcomes)an inverse problem for a system of composite type. 2004-06-15 Paper Combinatorics of multisets. 2004-06-15 Paper A solution of the Goncharov-Ash problem...10 bytes (12 words) - 11:30, 24 September 2023
- J. Lambek (section List of research outcomes)1994-07-04 Paper Least fixpoints of endofunctors of cartesian closed categories 1994-06-02 Paper Are the traditional philosophies of mathematics really...10 bytes (15 words) - 13:37, 8 December 2023
- stable models of a recursive logic program? Compositional model-theoretic semantics for logic programs Multi-valued logic programming semantics An algebraic...15 bytes (886 words) - 07:30, 6 February 2024
- intensional logic programming An effective fixpoint semantics for linear logic programs A game semantics for disjunctive logic programming Logic programs and connectionist...15 bytes (974 words) - 02:53, 1 February 2024
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC A program logic for resources Verification of object-oriented programs: a transformational approach...15 bytes (873 words) - 10:22, 6 February 2024
- Closures and fairness in the semantics of programming logic Categorical fixed point calculus Fixed point theorems and semantics: A folk tale Bi-inductive structural...15 bytes (867 words) - 09:32, 31 January 2024
- expressive The Semantics of Predicate Logic as a Programming Language Autoepistemic logic Semantical considerations on nonmonotonic logic A kripke-kleene...15 bytes (595 words) - 09:26, 30 January 2024
- via the semantics of disjunctive logic programs On completeness of narrowing strategies Semantics for logic programs without occur check A fixpoint semantics...15 bytes (923 words) - 23:07, 5 February 2024
- safety Logic and Game Theory Why not negation by fixpoint? Infinitary logics and 0-1 laws The alternating fixpoint of logic programs with negation A restricted...15 bytes (817 words) - 01:18, 31 January 2024
- environments: semantics, reduction strategies, and program transformations Contributions to the semantics of logic perpetual processes The evaluation of first-order...15 bytes (1,024 words) - 01:30, 31 January 2024
- interpretation of mobile systems Constructive design of a hierarchy of semantics of a transition system by abstract interpretation Logical optimality of groundness...15 bytes (895 words) - 01:34, 6 February 2024
- interactive semantics of logic programming 👍 👎 Fixpoint semantics for logic programming a survey 👍 👎 On the declarative and procedural semantics of logic...15 bytes (482 words) - 22:34, 30 January 2024
- logicstratified least fixpoint logic Mathematics Subject Classification ID Logic programming (68N17) Specification and verification (program logics, model checking...15 bytes (332 words) - 12:56, 31 January 2024
- and stable semantics of logic programs with aggregates The Semantics of Predicate Logic as a Programming Language A Tarskian Informal Semantics for Answer...15 bytes (508 words) - 13:07, 7 February 2024
