Potassco
From MaRDI portal
Cited in
(only showing first 100 items - show all)- D-Finder
- PLATYPUS
- CP-nets
- RuleML
- C-SPARQL
- ASSAT
- LUPS
- M-DPOP
- Cmodels
- Causal effect identification in acyclic directed mixed graphs and gated models
- A constraint optimization approach to causal discovery from subsampled time series data
- Gringo
- Smodels
- DASWAM
- Lparse
- DLV
- DLV-EX
- What is answer set programming to propositional satisfiability
- Relational data factorization
- Automated verification of state sequence invariants in general game playing
- Conflict-driven answer set solving: from theory to practice
- DELORES
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- AgentSpeak
- ASPIDE
- CDAOstore
- plasp
- clasp
- GASP
- BoolNet
- Computing maximal and minimal trap spaces of Boolean networks
- NuMVC
- PhyloWS
- Revising event calculus theories to recover from unexpected observations
- Pruning external minimality checking for answer set programs using semantic dependencies
- Coala
- Ginsim
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
- oClingo
- WASP
- Galliwasp
- Clingcon
- Clingo
- D-FLAT
- CCalc
- Inductive general game playing
- On the limits of forgetting in answer set programming
- Paracoherent answer set computation
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- The return of \textit{xorro}
- iClingo
- Representing and reasoning about game strategies
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Backdoors to tractable answer set programming
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- \(\mathsf {Harvey}\): a system for random testing in ASP
- Nurse scheduling via answer set programming
- PROLEG
- Konclude
- WebPIE
- ASPMT2SMT
- ROSoClingo
- Domain expansion for ASP-programs with external sources
- H-ASP PL
- YapOr
- OPTYap
- SparQ
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- Semantics for conditional literals via the SM operator
- A new solver for the minimum weighted vertex cover problem
- Exploiting contextual knowledge for hybrid classification of visual objects
- Forgetting in ASP: the forgotten properties
- Conflict-based program rewriting for solving configuration problems
- Advanced SAT techniques for abstract argumentation
- Web based system for weighted defeasible argumentation
- BEE
- Reasoning about the intentions of agents
- Applications of action languages in cognitive robotics
- Declarative distributed computing
- Inconsistency management for traffic regulations: formalization and complexity results
- Improving the normalization of weight rules in answer set programs
- LoCo—A Logic for Configuration Problems
- Recent advances in Datalog^
- CircuitTSAT
- aspcud
- Datalog
- SCIFF
- GRAPPA
- nomore++
- Harvey
- Lpopt
- A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
- SLING
- DIAMOND
- Integrating ASP into ROS for reasoning in robots
- Alice
- Ontop
- GidL
- PARLOG
This page was built for software: Potassco
