Clingo
From MaRDI portal
Cited in
(only showing first 100 items - show all)- ASPeRiX
- SMProbLog
- PASTA
- DeepProbLog
- NeurASP
- sCASP
- Louise
- caspo
- CoLoMoTo
- Dsharp
- CP-nets
- RuleML
- C-SPARQL
- GOLOG
- ASSAT
- LUPS
- HYPROLOG
- DLVHEX
- LARS: a logic-based framework for analytic reasoning over streams
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Cmodels
- Modeling delayed dynamics in biological regulatory networks from time series data
- The first international competition on computational models of argumentation: results and analysis
- Gringo
- Smodels
- Lparse
- DLV
- DLV-EX
- What is answer set programming to propositional satisfiability
- FORS
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- A computational framework for conceptual blending
- Conflict-driven answer set solving: from theory to practice
- DELORES
- Computing diverse Boolean networks from phosphoproteomic time series data
- clpfd
- ASPIDE
- wamcc
- ProbLog
- CP-logic
- YAP-Prolog
- PITA
- Potassco
- plasp
- clasp
- GASP
- CCGbank
- Mercury
- Autoepistemic answer set programming
- Pruning external minimality checking for answer set programs using semantic dependencies
- Learning programs by learning from failures
- DualGrounder: lazy instantiation via clingo multi-shot framework
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- ASPARTIX
- Graph-based construction of minimal models
- GK: implementing full first order default logic for commonsense reasoning (system description)
- Prioritization of candidate genes through Boolean networks
- Mole
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- oClingo
- 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
- WASP
- Galliwasp
- DepQBF
- STeLP
- cmMUS
- dynASP
- Clingcon
- D-FLAT
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- Inductive general game playing
- Probabilistic reasoning about epistemic action narratives
- Static analysis and stochastic search for reachability problem
- Making sense of sensory input
- Paracoherent answer set computation
- Making sense of raw input
- Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics
- Design and results of the second international competition on computational models of argumentation
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- Knowledge representation analysis of graph mining
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- The return of \textit{xorro}
- iClingo
- Backdoors to tractable answer set programming
- claspfolio 2
- The ASP system DLV2
- Nurse scheduling via answer set programming
- Moviola: interpreting dynamic logic programs via multi-shot answer set programming
- Aleph
- Spartacus
- ASPMT2SMT
- MUSer2
- ROSoClingo
- Equibel
- XSB
- FLORA
- Reasoning about strong inconsistency in ASP
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- Solving projected model counting by utilizing treewidth and its limits
This page was built for software: Clingo
