Gringo

swMATH4630MaRDI QIDQ16800FDOQ16800

Author name not available (Why is that?)

Described by source

• Abstract gringo

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