Search results
From MaRDI portal
- W. W. Wadge (section List of research outcomes)2009-02-10 Paper An infinite-game semantics for well-founded negation in logic programming 2008-03-06 Paper Logic Programming 2006-06-27 Paper https://portal...10 bytes (17 words) - 23:59, 24 September 2023
- Panos Rondogiannis (section List of research outcomes)Extensional Higher-order Logic Programming with Negation 2014-11-25 Paper Game Semantics for Non-monotonic Intensional Logic Programming 2013-10-10 Paper A game-theoretic...10 bytes (13 words) - 18:45, 24 September 2023
- Stefania Costantini (section List of research outcomes)programs with negation 1997-02-28 Paper A metalogic programming approach: language, semantics and applications 1994-10-12 Paper SEMANTICS OF A METALOGIC PROGRAMMING...10 bytes (15 words) - 11:24, 24 September 2023
- Dov Gabbay (section List of research outcomes)classical propositional logic with the Peirce-Quine dagger 2013-03-21 Paper A logic of argumentation for specification and verification of abstract argumentation...10 bytes (16 words) - 01:43, 9 December 2023
- Stefan Woltran (section List of research outcomes)Debugging ASP Programs by Means of ASP 2007-11-13 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic...10 bytes (14 words) - 11:24, 7 October 2023
- José Júlio Alferes (section List of research outcomes)1997-03-19 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 (16 words) - 13:35, 12 December 2023
- Thomas Eiter (section List of research outcomes)Expressiveness of stable model semantics for disjunctive logic programs with functions 1998-07-16 Paper Abduction from logic programs: Semantics and complexity...10 bytes (15 words) - 11:36, 8 December 2023
- N. Leone (section List of research outcomes)Theory - ICDT 2005 2005-09-13 Paper Logic Programming 2005-08-26 Paper Abductive logic programs with penalization: semantics, complexity and implementation...10 bytes (15 words) - 04:41, 9 December 2023
- Jia-Huai You (section List of research outcomes)Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming 2005-08-26...10 bytes (15 words) - 06:26, 7 October 2023
- Enrico Pontelli (section List of research outcomes)Justifications for logic programs under answer set semantics 2009-03-10 Paper Logic Programs with Abstract Constraint Atoms: The Role of Computations 2009-03-05...10 bytes (13 words) - 06:46, 9 December 2023
- Paper Autoepistemic logic of knowledge and beliefs 1998-06-30 Paper `Classical' negation in nonmonotonic reasoning and logic programming 1998-06-02 Paper...10 bytes (15 words) - 13:53, 8 December 2023
- Seiki Akama (section List of research outcomes)constructive logic 1996-06-09 Paper The Gentzen-Kripke construction of the intermediate logic LQ 1992-07-22 Paper Subformula semantics for strong negation systems...10 bytes (13 words) - 01:14, 25 September 2023
- Laura Giordano (section List of research outcomes)Paper Combining negation as failure and embedded implications in logic programs 1999-03-07 Paper A modal extension of logic programming: modularity, beliefs...10 bytes (14 words) - 13:35, 11 December 2023
- Luís Moniz Pereira (section List of research outcomes)1997-03-19 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 (15 words) - 19:59, 11 December 2023
- Katsumi Inoue (section List of research outcomes)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
- Yi-Dong Shen (section List of research outcomes)description logic programs 2010-08-19 Paper Termination prediction for general logic programs 2009-11-25 Paper A Default Approach to Semantics of Logic Programs...10 bytes (14 words) - 15:22, 10 December 2023
- Hans Tompits (section List of research outcomes)2007-04-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) - 11:39, 24 September 2023
- Michael J. Maher (section List of research outcomes)defeasible logic into logic programming 2007-02-13 Paper Oracle semantics for Prolog 2006-10-10 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27...10 bytes (15 words) - 17:25, 12 December 2023
- Michael Gelfond (section List of research outcomes)Paper Answer set based design of knowledge systems 2006-12-20 Paper Logic Programming 2006-06-27 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23...10 bytes (15 words) - 14:33, 8 December 2023
- Agostino Dovier (section List of research outcomes)empirical study of constraint logic programming and answer set programming solutions of combinatorial problems 2009-10-27 Paper Logic Programming 2009-08-06...10 bytes (15 words) - 06:45, 9 December 2023
