Search results
From MaRDI portal
- 2011-02-10 Paper The TPTP World – Infrastructure for Automated Reasoning 2011-01-07 Paper Automated Reasoning and Presentation Support for Formalizing Mathematics...10 bytes (16 words) - 17:52, 9 December 2023
- Tableaux 2011-05-06 Paper Automated Reasoning with Analytic Tableaux and Related Methods 2010-03-09 Paper Automated Reasoning 2007-09-25 Paper The disconnection...10 bytes (16 words) - 12:28, 6 October 2023
- 2023-08-10 Paper Inductive benchmarks for automated reasoning 2022-04-22 Paper Automated generation of exam sheets for automated deduction 2022-04-22 Paper Integer...10 bytes (16 words) - 01:59, 25 September 2023
- 2023-06-22 Paper Automated exploration of envelopes and offsets with networking of technologies 2023-06-22 Paper Automated reasoning tools in GeoGebra...10 bytes (17 words) - 11:19, 6 October 2023
- de/entity/Q4994694 2021-06-21 Paper Automated Circular Assume-Guarantee Reasoning 2019-12-19 Paper Automated Circular Assume-Guarantee Reasoning with N-way Decomposition...10 bytes (18 words) - 00:46, 13 December 2023
- Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups 1997-12-03 Paper The application of automated reasoning to questions...10 bytes (18 words) - 16:06, 10 December 2023
- proving geometric inequalities in the classroom? 2023-06-22 Paper Automated reasoning tools in GeoGebra discovery 2022-09-06 Paper A mechanical geometer...10 bytes (16 words) - 15:02, 10 December 2023
- Compliance by Reasoning about Actions 2010-08-24 Paper https://portal.mardi4nfdi.de/entity/Q3563381 2010-05-31 Paper Automated Reasoning with Analytic...10 bytes (18 words) - 14:35, 11 December 2023
- 2019-01-15 Paper Automated Reasoning in the Wild 2015-12-02 Paper On First-Order Model-Based Reasoning 2015-09-14 Paper Deontic Logic for Human Reasoning 2015-02-04...10 bytes (17 words) - 10:27, 13 December 2023
- 2008-03-14 Paper Automated Deduction – CADE-20 2006-11-01 Paper Logics in Artificial Intelligence 2006-10-25 Paper Mechanizing Mathematical Reasoning 2006-01-10...10 bytes (16 words) - 17:45, 7 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
- 1997-07-06 Paper Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles 1997-02-20 Paper Automated production...10 bytes (17 words) - 19:14, 9 December 2023
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover 2023-06-14 Paper An application of automated equational reasoning to many-valued logic...10 bytes (19 words) - 15:52, 10 December 2023
- Paper Verifying Business Process Compliance by Reasoning about Actions 2010-08-24 Paper Automated Reasoning with Analytic Tableaux and Related Methods 2010-03-09...10 bytes (17 words) - 14:35, 11 December 2023
- of Ground and Linear Arithmetic 2007-11-28 Paper Automated Reasoning 2007-09-25 Paper Automated Reasoning 2007-09-25 Paper Attacking group protocols by refuting...10 bytes (17 words) - 00:42, 12 December 2023
- 2022-01-27 Paper Probabilistic Modeling of Default Reasoning 2022-01-27 Paper Logics for reasoning about degrees of confirmation 2022-01-03 Paper An epistemic...10 bytes (16 words) - 12:12, 11 December 2023
- Publication Date of Publication Type VizAR: visualization of automated reasoning proofs (system description) 2024-02-28 Paper Targeted configuration of...10 bytes (17 words) - 01:14, 13 December 2023
- Date of Publication Type Automated Circular Assume-Guarantee Reasoning 2019-12-19 Paper Automated Circular Assume-Guarantee Reasoning with N-way Decomposition...10 bytes (18 words) - 19:09, 24 September 2023
- minspaces 2010-09-03 Paper Automated Reasoning with Analytic Tableaux and Related Methods 2010-03-09 Paper Automated Reasoning with Analytic Tableaux and...10 bytes (16 words) - 17:38, 9 December 2023
- 1999-01-12 Paper Automated model selection for simulation based on relevance reasoning 1998-08-13 Paper Speeding up inferences using relevance reasoning: a formalism...10 bytes (19 words) - 20:35, 9 December 2023
