Potassco
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Domain expansion for ASP-programs with external sources
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
- Reduction-based approaches to implement Modgil's extended argumentation frameworks
- Declarative distributed computing
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- LoCo—A Logic for Configuration Problems
- Answer Set Programming for Single-Player Games in General Game Playing
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- The return of \textit{xorro}
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- Introducing computer science to high school students through logic programming
- Knowledge-based multi-criteria optimization to support indoor positioning
- Improving the normalization of weight rules in answer set programs
- Exact algorithms for the maximum planar subgraph problem: new models and experiments
- A new solver for the minimum weighted vertex cover problem
- Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 8th international conference, CPAIOR 2011, Berlin, Germany, May 23--27, 2011. Proceedings
- Paracoherent answer set computation
- Recent advances in Datalog\(^\pm \)
- Justifying answer sets using argumentation
- Computing maximal and minimal trap spaces of Boolean networks
- Applications of action languages in cognitive robotics
- A note on the McKelvey uncovered set and Pareto optimality
- Revising event calculus theories to recover from unexpected observations
- A General Framework for Stable Roommates Problems using Answer Set Programming
- Exploiting contextual knowledge for hybrid classification of visual objects
- Forgetting in ASP: the forgotten properties
- D-Finder
- CP-nets
- PLATYPUS
- RuleML
- C-SPARQL
- ASSAT
- LUPS
- M-DPOP
- Cmodels
- DASWAM
- DLV
- DLV-EX
- Gringo
- Lparse
- Smodels
- DELORES
- AgentSpeak
- ASPIDE
- CDAOstore
- clasp
- GASP
- plasp
- BoolNet
- NuMVC
- PhyloWS
- Coala
- Ginsim
- oClingo
- Galliwasp
- CCalc
- Clingcon
- Clingo
- D-FLAT
- WASP
- iClingo
- PROLEG
- Konclude
- WebPIE
- ASPMT2SMT
- ROSoClingo
- H-ASP PL
- OPTYap
- YapOr
- SparQ
- BEE
- GRAPPA
- CircuitTSAT
- aspcud
- Datalog
- SCIFF
- Harvey
- nomore++
- Lpopt
- DIAMOND
- SLING
- Alice
- Ontop
- GidL
- PARLOG
- April
- Binder
- asprilo
- aspeed
- ezcsp
- GDL
- Moviola
- NoHR
- PENGASP
- HaLoop
- GI-log
- iArgue
This page was built for software: Potassco
