Gringo
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Search methods for tile sets in patterned DNA self-assembly
- Infinitary equilibrium logic and strongly equivalent logic programs
- Domain expansion for ASP-programs with external sources
- Stable models for infinitary formulas with extensional atoms
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Modeling biological networks by action languages via answer set programming
- Generating explanations for biomedical queries
- \texttt{eclingo}: a solver for epistemic logic programs
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- Relating two dialects of answer set programming
- One More Decidable Class of Finitely Ground Programs
- The return of \textit{xorro}
- Extending the metabolic network of Ectocarpus siliculosus using answer set programming
- Look-back techniques for ASP programs with aggregates
- scientific article; zbMATH DE number 6139984 (Why is no real title available?)
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
- DiscASP
- Disjunctive ASP with functions: decidable queries and effective computation
- Toward Question Answering in Travel Domains
- Knowledge-based multi-criteria optimization to support indoor positioning
- Towards Verifying Logic Programs in the Input Language of clingo
- Intelligent Instantiation and Supersafe Rules
- Stable-unstable semantics: Beyond NP with normal logic programs
- Proving infinitary formulas
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Verifying Tight Logic Programs with anthem and vampire
- A decidable subclass of finitary programs
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- PBINT, a logic for modelling search problems involving arithmetic
- 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
- Dynamic magic sets and super-coherent answer set programs
- 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
- Writing declarative specifications for clauses
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- ASPeRiX
- GNT
- PLATYPUS
- C-SPARQL
- NP-SPEC
- ASSAT
- LUPS
- Cmodels
- DLV
- DLV-EX
- Lparse
- Smodels
- RPOLY
- DELORES
- ASPIDE
- Prolog
- wamcc
- B-Prolog
- Potassco
- clasp
- GASP
- NoMoRe
- plasp
- CCGbank
- PhyloWS
- Terminyzer
- oClingo
- dynASP
- AspCcgTk
- Clingcon
- Clingo
- Cplus2ASP
- D-FLAT
- WASP
- STeLP
- BWare
- iClingo
- claspfolio 2
- ASPMT2SMT
- OOASP
- ROSoClingo
- XSB
- BEE
- Temporal logic programs with variables
- aspcud
- Datalog
- htd
- Harvey
- nomore++
- Lpopt
- IDP3
- GidL
- Pathway Commons
- IDP
- asprilo
- ezcsp
- Democratix
- Moviola
- teaspoon
This page was built for software: Gringo
