Pages that link to "Item:Q3643118"
From MaRDI portal
The following pages link to A First Order Forward Chaining Approach for Answer Set Computing (Q3643118):
Displaying 4 items.
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- (Q5240210) (← links)
- $$\exists $$ -ASP for Computing Repairs with Existential Ontologies (Q5268421) (← links)
- Logic programming (Q6602251) (← links)