Clingo
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Probabilistic reasoning about epistemic action narratives
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Knowledge representation analysis of graph mining
- Constraint answer set programming without grounding
- A tutorial on hybrid answer set solving with \textit{clingo}
- \texttt{eclingo}: a solver for epistemic logic programs
- GK: implementing full first order default logic for commonsense reasoning (system description)
- Relating two dialects of answer set programming
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- Boosting Answer Set Optimization with Weighted Comparator Networks
- The return of \textit{xorro}
- Flexible FOND Planning with Explicit Fairness Assumptions
- Extending the metabolic network of Ectocarpus siliculosus using answer set programming
- PASOCS
- Making sense of sensory input
- Moviola: interpreting dynamic logic programs via multi-shot answer set programming
- The ASP system DLV2
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Design and results of the second international competition on computational models of argumentation
- Prioritization of candidate genes through Boolean networks
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- Toward Question Answering in Travel Domains
- Better paracoherent answer sets with less resources
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- LARS: a logic-based framework for analytic reasoning over streams
- scientific article; zbMATH DE number 7455725 (Why is no real title available?)
- A computational framework for conceptual blending
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
- scientific article; zbMATH DE number 7455711 (Why is no real title available?)
- Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics
- Making sense of raw input
- Paracoherent answer set computation
- Modal logic S5 satisfiability in answer set programming
- Hybrid metabolic network completion
- Computing Diverse Optimal Stable Models
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- Solving projected model counting by utilizing treewidth and its limits
- Lifted Reasoning for Combinatorial Counting
- scientific article; zbMATH DE number 7453150 (Why is no real title available?)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- Learning Boolean controls in regulated metabolic networks: a case-study
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Managing caching strategies for stream reasoning with reinforcement learning
- Witnesses for Answer Sets of Logic Programs
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Static analysis and stochastic search for reachability problem
- ASPeRiX
- CP-nets
- RuleML
- C-SPARQL
- GOLOG
- ASSAT
- LUPS
- HYPROLOG
- DLVHEX
- Cmodels
- DLV
- DLV-EX
- Gringo
- Lparse
- Smodels
- FORS
- DELORES
- ASPIDE
- clpfd
- wamcc
- CP-logic
- ProbLog
- PITA
- Potassco
- clasp
- GASP
- plasp
- YAP-Prolog
- CCGbank
- Mercury
- ASPARTIX
- Mole
- oClingo
- Galliwasp
- DepQBF
- cmMUS
- dynASP
- Clingcon
- D-FLAT
- WASP
- STeLP
- iClingo
- claspfolio 2
- Aleph
- Spartacus
- ASPMT2SMT
- Equibel
- MUSer2
- ROSoClingo
- FLORA
- XSB
- COBRApy
This page was built for software: Clingo
