swMATH6996MaRDI QIDQ19059FDOQ19059
Author name not available (Why is that?)
Official website: http://potassco.sourceforge.net/
Cited In (only showing first 100 items - show all)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Domain expansion for ASP-programs with external sources
- Answer Set Programming for Single-Player Games in General Game Playing
- Declarative distributed computing
- LARS
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- 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
- Justifying answer sets using argumentation
- Computing maximal and minimal trap spaces of Boolean networks
- A note on the McKelvey uncovered set and Pareto optimality
- Applications of action languages in cognitive robotics
- Revising event calculus theories to recover from unexpected observations
- Exploiting contextual knowledge for hybrid classification of visual objects
- Forgetting in ASP: the forgotten properties
- Ricochet Robots reloaded: a case-study in multi-shot ASP solving
- The impact of treewidth on grounding and solving of answer set programs
- Conflict-driven answer set solving: from theory to practice
- Pruning external minimality checking for answer set programs using semantic dependencies
- Representing and reasoning about game strategies
- Conflict-based program rewriting for solving configuration problems
- Web based system for weighted defeasible argumentation
- A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
- JCI
- A constraint optimization approach to causal discovery from subsampled time series data
- Causal effect identification in acyclic directed mixed graphs and gated models
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- eclingo
- Inductive general game playing
- On the limits of forgetting in answer set programming
- Advanced SAT techniques for abstract argumentation
- Reformulation based MaxSat robustness
- Optimizing phylogenetic supertrees using answer set programming
- \(\mathsf {Harvey}\): a system for random testing in ASP
- Backdoors to tractable answer set programming
- Reasoning about the intentions of agents
- The External Interface for Extending WASP
- Backdoors to normality for disjunctive logic programs
- Learning weak constraints in answer set programming
- Nurse scheduling via answer set programming
- Title not available (Why is that?)
- Semantics for conditional literals via the SM operator
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- What is answer set programming to propositional satisfiability
- Coala: a compiler from action languages to ASP
- Relational data factorization
- Constraint Answer Set Solving
- Computing Parameterized Invariants of Parameterized Petri Nets
- Automated verification of state sequence invariants in general game playing
- Conflict-driven ASP solving with external sources
- Inconsistency management for traffic regulations: formalization and complexity results
- onlineSPARC: a programming environment for answer set programming
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Reduction-based approaches to implement Modgil's extended argumentation frameworks
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- LoCo—A Logic for Configuration Problems
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Introducing computer science to high school students through logic programming
- Recent advances in Datalog\(^\pm \)
- A General Framework for Stable Roommates Problems using Answer Set Programming
- Omission-based abstraction for answer set programs
- Title not available (Why is that?)
- ATHENA
- Title not available (Why is that?)
- Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming
- Datalog and Its Extensions for Semantic Web Databases
- Paraconsistency and word puzzles
- Solving distributed constraint optimization problems using logic programming
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- The return of \textit{xorro}
- D-Finder
- C-SPARQL
- LUPS
- Cmodels
- DASWAM
- DLV
- DLV-EX
- Gringo
- Lparse
- Smodels
- DELORES
- AgentSpeak
- ASPIDE
- CDAOstore
- clasp
- GASP
- plasp
- BoolNet
- NuMVC
- PhyloWS
- Coala
- Ginsim
- oClingo
- Galliwasp
This page was built for software: Potassco
