swMATH9893MaRDI QIDQ21872FDOQ21872
Author name not available (Why is that?)
Official website: https://potassco.org/
Cited In (only showing first 100 items - show all)
- \texttt{eclingo}: a solver for epistemic logic programs
- Relating two dialects of answer set programming
- DeepCoder
- LARS
- Extending the metabolic network of Ectocarpus siliculosus using answer set programming
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- LARS: a logic-based framework for analytic reasoning over streams
- Modal logic S5 satisfiability in answer set programming
- A computational framework for conceptual blending
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Title not available (Why is that?)
- PASTA
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Ricochet Robots reloaded: a case-study in multi-shot ASP solving
- Louise
- Conflict-driven answer set solving: from theory to practice
- Modeling delayed dynamics in biological regulatory networks from time series data
- REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
- Design and results of the Fifth Answer Set Programming Competition
- Autoepistemic answer set programming
- ALM
- REBA
- Yedalog
- ActHEX
- ASPVIZ
- asprin
- anthem
- fastGapFill
- IDPDraw
- Kara
- onlineSPARC
- meneco
- OntoDLV
- SeaLion
- delSAT
- EHEX
- ELPS
- ESmodels
- ESParser
- GISolver
- SWISH DataLab
- selp
- Web-STAR
- Wviews
- DeReS
- EmptyHeaded
- ASPTools
- circumscriptino
- DLPEQ
- DLV2
- hclasp
- LP2SAT
- lpeq
- maxino
- Stanza
- modopt
- OMiGA
- pyglaf
- pyrunlim
- Hexlite
- TensorLog
- xorro
- CytoCtrlAnalyser
- ASP-G
- CPCES
- Metagol
- Metaopt
- BioLQM
- Pint
- Hailfinder
- aGrUM
- eclingo
- Flix
- countAntom
- 2P-Kt
- tuProlog
- SMProbLog
- Dsharp
- Backdoors to tractable answer set programming
- DeepProbLog
- NeurASP
- sCASP
- caspo
- CoLoMoTo
- The first international competition on computational models of argumentation: results and analysis
- Nurse scheduling via answer set programming
- What is answer set programming to propositional satisfiability
- Title not available (Why is that?)
- Computing secure sets in graphs using answer set programming
- Constraint Answer Set Solving
- Statistical statements in probabilistic logic programming
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- The return of \textit{xorro}
- Moviola: interpreting dynamic logic programs via multi-shot answer set programming
- The ASP system DLV2
- C-SPARQL
- LUPS
- Cmodels
- DLV
- DLV-EX
This page was built for software: Clingo