Pages that link to "Item:Q5705946"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705946):
Displaying 10 items.
- Conceptual logic programs (Q854977) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- External sources of knowledge and value invention in logic programming (Q2457798) (← links)
- DFL -- a dialog based integration of concept and rule reasoners (Q2778462) (← links)
- Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)