Pages that link to "Item:Q1978452"

The following pages link to ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452):

Displayed 6 items.

• The KL-ONE family (Q1202629) ‎ (← links)
• An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) ‎ (← links)
• The complexity of concept languages (Q1363785) ‎ (← links)
• Sound and efficient closed-world reasoning for planning (Q1399125) ‎ (← links)
• Tractable reasoning via approximation (Q1855213) ‎ (← links)
• ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) ‎ (← links)