Search results
From MaRDI portal
- approach to possibilistic BL-logic 2019-08-12 Paper Decidability of order-based modal logics 2017-06-30 Paper Bi-modal Godel logic over [0,1-valued Kripke frames]...10 bytes (18 words) - 21:19, 8 December 2023
- fuzzy logic setting 2002-06-27 Paper https://portal.mardi4nfdi.de/entity/Q4329198 2002-05-29 Paper Monoidal t-norm based logic: Towards a logic for left-continuous...10 bytes (17 words) - 15:59, 7 December 2023
- Paper Logic programs with monotone abstract constraint atoms 2008-03-27 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming...10 bytes (17 words) - 14:24, 10 December 2023
- 2007-11-13 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Answer set based design of knowledge systems 2006-12-20 Paper Logic Programming...10 bytes (17 words) - 15:33, 8 December 2023
- Foundations for a logic of arguments 2018-09-12 Paper Logical limits of abstract argumentation frameworks 2018-08-28 Paper Equivalence in logic-based argumentation...10 bytes (16 words) - 02:20, 9 December 2023
- Product Lines with Kripke Structures and Modal Logic 2019-02-08 Paper A theoretical framework for cardinality-based feature models: the semantics and computational...10 bytes (21 words) - 15:15, 12 December 2023
- Semantics of Logic Programs 2008-01-04 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07...10 bytes (18 words) - 17:38, 11 December 2023
- Temporal Description Logics for Reasoning over Temporal Conceptual Models 2011-10-07 Paper A modal logic framework for reasoning about comparative distances...10 bytes (17 words) - 23:16, 9 December 2023
- Publication Type Logic tensor networks 2022-03-02 Paper https://portal.mardi4nfdi.de/entity/Q4997237 2021-06-28 Paper Learning and Reasoning with Logic Tensor Networks...10 bytes (21 words) - 02:43, 9 December 2023
- Justifications for Logic Programs Under Answer Set Semantics 2008-03-11 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming...10 bytes (18 words) - 02:44, 9 December 2023
- Constraints: a General Framework based on Abductive Reasoning* 2018-10-02 Paper Evaluating Compliance: From LTL to Abductive Logic Programming 2018-05-03 Paper...10 bytes (16 words) - 15:06, 9 December 2023
- assumption-based argumentation 2013-08-26 Paper Reasoning on the Web with Assumption-Based Argumentation 2012-11-08 Paper Semi-negative Abductive Logic Programs...10 bytes (17 words) - 23:17, 9 December 2023
- Paper Reasoning under minimal upper bounds in propositional logic 2007-01-09 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic Programming...10 bytes (17 words) - 12:36, 8 December 2023
- Propositional dynamic logic for Petri nets 2019-01-08 Paper Towards reasoning about Petri nets: a propositional dynamic logic based approach 2018-09-24 Paper...10 bytes (18 words) - 15:25, 10 December 2023
- and Quantitative Approaches to Reasoning with Uncertainty 2006-06-23 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Argumentation...10 bytes (18 words) - 20:42, 12 December 2023
- 2021-02-05 Paper A fuzzy logic approach to experience-based reasoning 2007-08-09 Paper Abductive case-based reasoning 2005-09-22 Paper Case base building with similarity...10 bytes (18 words) - 21:55, 12 December 2023
- Publication Date of Publication Type Algebra-Based Reasoning for Loop Synthesis 2023-08-31 Paper Supercharging plant configurations using Z3 2022-03-21...10 bytes (17 words) - 02:18, 12 December 2023
- graphs 2022-10-27 Paper A flexible logic-based approach to closeness using order of magnitude qualitative reasoning 2022-06-09 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 18:03, 9 December 2023
- temporal action logic 2007-07-25 Paper Tableau-based automata construction for dynamic linear time temporal logic 2007-01-24 Paper Logics in Artificial Intelligence...10 bytes (17 words) - 14:35, 11 December 2023
- interactive case-based reasoning approach for generating expressive music 2001-11-19 Paper A logical approach to case-based reasoning using fuzzy similarity...10 bytes (21 words) - 06:01, 9 December 2023