Pages that link to "Item:Q2931249"
From MaRDI portal
The following pages link to Dynamic Consistency Checking in Goal-Directed Answer Set Programming (Q2931249):
Displayed 9 items.
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (Q518622) (← links)
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- (Q5020588) (← links)
- Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- On Dual Programs in Co-Logic Programming (Q5743583) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)