Pages that link to "Item:Q2786134"

The following pages link to Unification in the description logic EL (Q2786134):

Displaying 16 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)
• Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
• Multiagent temporal logics with multivaluations (Q1617988) (← links)
• Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
• Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor (Q2374390) (← links)
• Approximate Unification in the Description Logic $$\mathcal {FL}_0$$ (Q2835862) (← links)
• UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description (Q2908476) (← links)
• Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
• Unification in the Description Logic $\mathcal{EL}$ without the Top Concept (Q5200016) (← 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)
• Unification of concept terms in description logics (Q5929707) (← links)
• Satisfiability problem in interval FP-logic (Q6115004) (← links)
• Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)