Gringo
From MaRDI portal
Software:16800
swMATH4630MaRDI QIDQ16800FDOQ16800
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Title not available (Why is that?)
- Look-back techniques for ASP programs with aggregates
- Speed-Up Techniques for Negation in Grounding
- Toward Question Answering in Travel Domains
- Towards Verifying Logic Programs in the Input Language of clingo
- A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
- Intelligent Instantiation and Supersafe Rules
- Incremental Answer Set Programming with Overgrounding
- Proving infinitary formulas
- Train Scheduling with Hybrid Answer Set Programming
- A decidable subclass of finitary programs
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
- Disjunctive ASP with functions: Decidable queries and effective computation
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- Justifications for logic programs under answer set semantics
- Title not available (Why is that?)
- Strong Equivalence of Logic Programs with Counting
- Optimizing phylogenetic supertrees using answer set programming
- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
- Program completion in the input language of GRINGO
- Accurate Computation of Sensitizable Paths Using Answer Set Programming
- Symbolic System Synthesis Using Answer Set Programming
- A machine learning system to improve the performance of ASP solving based on encoding selection
- Semantics for conditional literals via the SM operator
- PBINT, A Logic for Modelling Search Problems Involving Arithmetic
- ASPeRiX, a first-order forward chaining approach for answer set computing
- Stable models for infinitary formulas with extensional atoms
- Title not available (Why is that?)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
- Generating explanations for biomedical queries
- Search methods for tile sets in patterned DNA self-assembly
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- The Intelligent Grounder of DLV
- Domain expansion for ASP-programs with external sources
- Modeling biological networks by action languages via answer set programming
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models
- One More Decidable Class of Finitely Ground Programs
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
- The return of \textit{xorro}
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
- Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming
- Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
- Tableau Calculi for Logic Programs under Answer Set Semantics
- Stable-unstable semantics: Beyond NP with normal logic programs
- ASP-Core-2 Input Language Format
- Efficiently Coupling the I-DLV Grounder with ASP Solvers
- Optimizing Answer Set Computation via Heuristic-Based Decomposition
- Knowledge-based multi-criteria optimization to support indoor positioning
- The D-FLAT System for Dynamic Programming on Tree Decompositions
- Partial Compilation of ASP Programs
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Verifying Tight Logic Programs with anthem and vampire
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Debugging Non-ground ASP Programs: Technique and Graphical Tools
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Constraint answer set programming systems
- Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics
- Achievements in answer set programming
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- Detecting inconsistencies in large biological networks with answer set programming
- Fuzzy answer set computation via satisfiability modulo theories
- Checking termination of bottom-up evaluation of logic programs with function symbols
- Clingcon: The next generation
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Temporal logic programs with variables
- selp: A Single-Shot Epistemic Logic Program Solver
- Conflict-driven answer set solving: from theory to practice
- Magic sets for disjunctive Datalog programs
- Enhancing DLV instantiator by backjumping techniques
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Title not available (Why is that?)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Approximate postdictive reasoning with answer set programming
- Multi-shot ASP solving with clingo
- Title not available (Why is that?)
- Complexity-sensitive decision procedures for abstract argumentation
- Multi-criteria optimization in answer set programming
- DualGrounder: lazy instantiation via clingo multi-shot framework
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
- eclingo : A Solver for Epistemic Logic Programs
- Relating Two Dialects of Answer Set Programming
- Writing Declarative Specifications for Clauses
- New models for generating hard random Boolean formulas and disjunctive logic programs
- Verifying strong equivalence of programs in the input language of \textsc{gringo}
- The Significance of Memory Costs in Answer Set Solver Implementation
- Arguing correctness of ASP programs with aggregates
- Backdoors to tractable answer set programming
- Gelfond-Zhang aggregates as propositional formulas
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- Learning Boolean logic models of signaling networks with ASP
- Title not available (Why is that?)
- What is answer set programming to propositional satisfiability
- Automated reasoning with restricted intensional sets
- A First Order Forward Chaining Approach for Answer Set Computing
- Constraint Answer Set Solving
- Expressive power and abstraction in Essence
- Answer Set Programming
- Shared aggregate sets in answer set programming
- Taming primary key violations to query large inconsistent data via ASP
This page was built for software: Gringo