The following pages link to Gringo (Q16800):
Displayed 50 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Search methods for tile sets in patterned DNA self-assembly (Q395021) (← links)
- Knowledge-based multi-criteria optimization to support indoor positioning (Q421460) (← links)
- Complexity-sensitive decision procedures for abstract argumentation (Q490451) (← links)
- Learning Boolean logic models of signaling networks with ASP (Q498928) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition (Q1621888) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- DualGrounder: lazy instantiation via clingo multi-shot framework (Q2055820) (← links)
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons (Q2071318) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics (Q2238700) (← links)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Verifying strong equivalence of programs in the input language of \textsc{gringo} (Q2326735) (← links)
- The return of \textit{xorro} (Q2326736) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Arguing correctness of ASP programs with aggregates (Q2694567) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- A machine learning system to improve the performance of ASP solving based on encoding selection (Q2694597) (← links)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Symbolic System Synthesis Using Answer Set Programming (Q2851234) (← links)
- Accurate Computation of Sensitizable Paths Using Answer Set Programming (Q2851235) (← links)
- Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming (Q2851257) (← links)
- Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming (Q2851280) (← links)
- Constraint Answer Set Programming Systems (Q2883103) (← links)
- Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming (Q2887086) (← links)
- Look-back Techniques for ASP Programs with Aggregates (Q2895770) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Toward Question Answering in Travel Domains (Q2900529) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Multi-Criteria Optimization in Answer Set Programming (Q2909134) (← links)
- The D-FLAT System for Dynamic Programming on Tree Decompositions (Q2938522) (← links)
- Tableau Calculi for Logic Programs under Answer Set Semantics (Q2946700) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- Detecting inconsistencies in large biological networks with answer set programming (Q3008410) (← links)
- (Q3011296) (← links)
- (Q3011297) (← links)
- Speed-Up Techniques for Negation in Grounding (Q3066087) (← links)
- (Q3100242) (← links)