A logic-algebraic tool for reasoning with knowledge-based systems
DOI10.1016/j.jlamp.2018.09.001zbMath1400.68210arXiv1809.00508OpenAlexW2963524300WikidataQ129327022 ScholiaQ129327022MaRDI QIDQ1994361
Gonzalo A. Aranda-Corral, M. Magdalena Fernández-Lebrón, Joaquín Borrego-Díaz, M. José Hidalgo-Doblado, José A. Alonso-Jiménez
Publication date: 1 November 2018
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1809.00508
Symbolic computation and algebraic computation (68W30) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Semantics in the theory of computing (68Q55)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Refutational theorem proving using term-rewriting systems
- Multi-valued logic and Gröbner bases with applications to modal logic
- An algebraic approach to rule based expert systems
- Reasoning under inconsistency: a forgetting-based approach
- Knowledge forgetting: properties and applications
- Hasse-Schmidt derivations and coefficient fields in positive characteristics.
- Minimal sets on propositional formulae. Problems and reductions
- A prototype of a RBES for personalized menus generation
- Conditional independence in propositional logic.
- Polynomial algorithms in computer algebra
- A Gröbner bases-based rule based expert system for fibromyalgia diagnosis
- An algebraic model for implementing expert systems based on the knowledge of different experts
- Formally verified tableau-based reasoners for a description logic
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- Semantic forgetting in answer set programming
- A multi-criteria computer package for power transformer fault detection and diagnosis
- A polynomial model for logics with a prime power number of truth values
- Partition-based logical reasoning for first-order and propositional theories
- Formal verification of a generic framework to synthesize SAT-provers
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
- Variable Forgetting in Reasoning about Knowledge
- On polynomial semantics for propositional logics
- Faster Multiplication in GF(2)[x]
- Forgetting Literals with Varying Propositional Symbols
This page was built for publication: A logic-algebraic tool for reasoning with knowledge-based systems
