The following pages link to Abstract gringo (Q4592989):
Displaying 28 items.
- Gringo (Q16800) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Transforming gringo rules into formulas in a natural way (Q2055818) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Arguing correctness of ASP programs with aggregates (Q2694567) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (Q4559799) (← links)
- Program completion in the input language of GRINGO (Q4592711) (← links)
- Achievements in answer set programming (Q4592719) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- Stable models for infinitary formulas with extensional atoms (Q4593057) (← links)
- Proving infinitary formulas (Q4593059) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- Train Scheduling with Hybrid Answer Set Programming (Q4957222) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- Strong Equivalence of Logic Programs with Counting (Q5038462) (← links)
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling (Q5038465) (← links)
- Towards Verifying Logic Programs in the Input Language of clingo (Q5049051) (← links)
- Relating Two Dialects of Answer Set Programming (Q5108518) (← links)
- Verifying Tight Logic Programs with anthem and vampire (Q5140011) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Intelligent Instantiation and Supersafe Rules (Q5240211) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
- Here and There with Arithmetic (Q6063863) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
