Pages that link to "Item:Q5424872"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424872):
Displaying 18 items.
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Set based logic programming (Q1029592) (← links)
- Set constraints and logic programming (Q1271565) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Sampler programs: the stable model semantics of abstract constraint programs revisited (Q2883081) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- (Q4385449) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- On logical constraints in logic programming (Q5101440) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)