Extensions of unification modulo ACUI
From MaRDI portal
Recommendations
- Unification modulo ACUI plus distributivity axioms
- Unification modulo ACUI plus homomorphisms/distributivity.
- scientific article; zbMATH DE number 845925
- Unification and matching modulo nilpotence
- The modularity condition for uninorms revisited
- Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification
- The extensions of uninorms
- Extensions of uniserial modules
- Unification Modulo Chaining
- Modular higher-order E-unification
Cites work
- A Framework for Semantic-Based Similarity Measures for $\mathcal{ELH}$ -Concepts
- Any ground associative-commutative theory has a finite canonical system
- Approximate unification in the description logic \(\mathcal {FL}_0\)
- Complexity of unification problems with associative-commutative operators
- scientific article; zbMATH DE number 4049047 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1346494 (Why is no real title available?)
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Matching in the Description Logic FL0 with respect to General TBoxes
- Normalized rewriting: An alternative to rewriting modulo a set of equations
- On the complexity of the maximum satisfiability problem for Horn formulas
- Proximity-based unification theory
- Set unification
- Term Rewriting and All That
- Tractable approximate deduction for OWL
- Unification in the Description Logic $\mathcal{EL}$
- Unification in the union of disjoint equational theories: Combining decision procedures
- Unification of concept terms in description logics
- Unification theory
- Unification theory
- Using automata theory for characterizing the semantics of terminological cycles
Cited in
(9)- Unification modulo ACUI plus distributivity axioms
- scientific article; zbMATH DE number 4043300 (Why is no real title available?)
- scientific article; zbMATH DE number 845925 (Why is no real title available?)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Mathematical Foundations of Computer Science 2003
- Unification modulo ACUI plus homomorphisms/distributivity.
- Logic program proportions
- Unification in the description logic \(\mathcal{ELH}_{\mathcal{R}^+}\) without the top concept modulo cycle-restricted ontologies
- Equations over finite monoids with infinite promises
This page was built for publication: Extensions of unification modulo ACUI
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5139274)
