Pages that link to "Item:Q5929707"

The following pages link to Unification of concept terms in description logics (Q5929707):

Displaying 32 items.

• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
• Best unifiers in transitive modal logics (Q647403) (← links)
• Unification in linear temporal logic LTL (Q716499) (← links)
• Language equations with complementation: expressive power (Q764318) (← links)
• Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
• Unresolved systems of language equations: expressive power and decision problems (Q817804) (← links)
• Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
• Language equations with complementation: decision problems (Q880178) (← links)
• Decision problems for language equations (Q972384) (← links)
• Closure properties and decision problems of dag automata (Q1041757) (← links)
• Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
• Language equations (Q2074222) (← links)
• About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
• Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← links)
• Computational completeness of equations over sets of natural numbers (Q2252522) (← links)
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
• Equations over free inverse monoids with idempotent variables (Q2411041) (← links)
• Decidability of trajectory-based equations (Q2575751) (← links)
• Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862) (← links)
• Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
• Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
• Description Logics (Q3638996) (← links)
• Canonical rules (Q3655251) (← links)
• <i>KD</i> is nullary (Q4586229) (← links)
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
• Extensions of unification modulo ACUI (Q5139274) (← links)
• Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016) (← links)
• Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
• EQUATIONS IN FREE INVERSE MONOIDS (Q5386970) (← links)
• Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
• Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)