Search results
From MaRDI portal
- semantics without circular justifications for general logic programs 2014-06-10 Paper Well-Supported Semantics for Logic Programs with Generalized Rules 2012-07-23...10 bytes (14 words) - 15:22, 10 December 2023
- imagination 2018-03-27 Paper Reprint of: ``A more general general proof theory 2018-01-31 Paper A more general general proof theory 2018-01-11 Paper 40 years of...10 bytes (14 words) - 02:41, 12 December 2023
- Description Logic FL0 with respect to General TBoxes 2019-07-04 Paper https://portal.mardi4nfdi.de/entity/Q4576238 2018-07-12 Paper A new description logic with...10 bytes (15 words) - 18:33, 24 September 2023
- expressiveness of interval logics of Allen's relations: the general and the dense cases 2016-04-07 Paper A decidable weakening of Compass Logic based on cone-shaped...10 bytes (13 words) - 04:34, 7 October 2023
- knowledge bases 2007-07-25 Paper Logics in Artificial Intelligence 2006-10-25 Paper Expressing Default Logic Variants in Default Logic 2006-03-09 Paper A consistency-based...10 bytes (14 words) - 21:41, 10 December 2023
- Plotkin logic 2008-11-12 Paper A Simple Model of Separation Logic for Higher-Order Store 2008-08-19 Paper Relational Parametricity and Separation Logic 2008-08-07...10 bytes (15 words) - 02:23, 9 December 2023
- autoepistemic semantics for general logic programs 1993-01-16 Paper Stable and extension class theory for logic programs and default logics 1993-01-16 Paper Paraconsistent...10 bytes (15 words) - 16:12, 24 September 2023
- Interval Temporal Logic 2019-10-31 Paper Index set expressions can represent temporal logic formulas 2019-08-09 Paper A temporal logic programming approach...10 bytes (13 words) - 15:37, 6 October 2023
- 2014-01-17 Paper A tableau for general linear temporal logic 2013-11-21 Paper Model Checking General Linear Temporal Logic 2013-10-04 Paper Metric temporal...10 bytes (16 words) - 01:45, 10 December 2023
- 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23 Paper Logic for Programming...10 bytes (16 words) - 02:58, 12 December 2023
- Propositional dynamic logic with recursive programs 2007-08-23 Paper A tableau algorithm for description logics with concrete domains and general TBoxes 2007-05-04...10 bytes (15 words) - 11:42, 7 October 2023
- Paper Index set expressions can represent temporal logic formulas 2019-08-09 Paper A temporal logic programming approach to planning 2019-06-25 Paper Verifying...10 bytes (13 words) - 15:37, 6 October 2023
- Time Constraints: a General Framework based on Abductive Reasoning* 2018-10-02 Paper Evaluating Compliance: From LTL to Abductive Logic Programming 2018-05-03...10 bytes (13 words) - 14:06, 9 December 2023
- {L}\mathcal {C}\) with general concept inclusions 2015-04-23 Paper The limits of decidability in fuzzy description logics with general concept inclusions 2015-02-02...10 bytes (15 words) - 09:43, 7 October 2023
- extensions of dependence logic 2013-04-23 Paper Dependence logic with a majority quantifier 2012-08-31 Paper Team Logic and Second-Order Logic 2011-11-22 Paper...10 bytes (15 words) - 01:08, 10 December 2023
- of the extensions of a logic 2018-03-29 Paper The strong version of a sentential logic 2017-11-16 Paper Four-valued modal logic: Kripke semantics and duality...10 bytes (15 words) - 10:15, 9 December 2023
- Non-termination Analysis of Logic Programs 2012-11-13 Paper Polytool: Polynomial interpretations as a basis for termination analysis of logic programs 2011-08-17...10 bytes (17 words) - 03:12, 9 December 2023
- An abductive framework for extended logic programming 2022-08-30 Paper Dischargeable Obligations in Abductive Logic Programming 2022-07-01 Paper Symbolic...10 bytes (13 words) - 08:44, 25 September 2023
- Lukasiewicz-Pavelka logic 2015-06-24 Paper Erratum to: ``\(n\)-fold implicative basic logic is Gödel logic. 2013-11-07 Paper \(n\)-fold implicative basic logic is Gödel...10 bytes (14 words) - 10:15, 9 December 2023
- Description Logics 2019-01-15 Paper Reasoning within fuzzy OWL 2 EL revisited 2018-10-16 Paper Optimising fuzzy description logic reasoners with general concept...10 bytes (15 words) - 13:35, 6 October 2023
