Pages that link to "Item:Q814596"
From MaRDI portal
The following pages link to Reasoning with infinite stable models (Q814596):
Displaying 8 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Conceptual logic programs (Q854977) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Disjunctive ASP with functions: Decidable queries and effective computation (Q3585164) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
