Potassco
From MaRDI portal
Software:19059
swMATH6996MaRDI QIDQ19059FDOQ19059
Author name not available (Why is that?)
Cited In (75)
- 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
- Reasoning about the Intentions of Agents
- 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
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
- The Impact of Treewidth on Grounding and Solving of Answer Set Programs
- Knowledge-based multi-criteria optimization to support indoor positioning
- Integrating ASP into ROS for Reasoning in Robots
- 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
- Declarative Distributed Computing
- Computing maximal and minimal trap spaces of Boolean networks
- A note on the McKelvey uncovered set and Pareto optimality
- Revising event calculus theories to recover from unexpected observations
- Improving the Normalization of Weight Rules in Answer Set Programs
- Backdoors to Normality for Disjunctive Logic Programs
- A New Solver for the Minimum Weighted Vertex Cover Problem
- Coala: A Compiler from Action Languages to ASP
- aspeed: Solver scheduling via answer set programming
- 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
- Multi-shot ASP solving with clingo
- A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
- onlineSPARC: A Programming Environment for Answer Set Programming
- Applications of Action Languages in Cognitive Robotics
- 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
- Inductive general game playing
- On the limits of forgetting in answer set programming
- Reformulation based MaxSat robustness
- Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
- Forgetting in ASP: The Forgotten Properties
- Optimizing phylogenetic supertrees using answer set programming
- \(\mathsf {Harvey}\): a system for random testing in ASP
- Backdoors to tractable answer set programming
- The External Interface for Extending WASP
- Learning weak constraints in answer set programming
- Conflict-Based Program Rewriting for Solving Configuration Problems
- Web Based System for Weighted Defeasible Argumentation
- Nurse scheduling via answer set programming
- Title not available (Why is that?)
- 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
- Relational data factorization
- Constraint Answer Set Solving
- Computing Parameterized Invariants of Parameterized Petri Nets
- Advanced SAT Techniques for Abstract Argumentation
- Automated verification of state sequence invariants in general game playing
- Conflict-driven ASP solving with external sources
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- LoCo—A Logic for Configuration Problems
- Omission-Based Abstraction for Answer Set Programs
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results
- A General Framework for Stable Roommates Problems using Answer Set Programming
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
- Title not available (Why is that?)
- Recent Advances in Datalog$$^\pm $$
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks
- Title not available (Why is that?)
- Introducing Computer Science to High School Students Through Logic Programming
- Datalog and Its Extensions for Semantic Web Databases
- Paraconsistency and word puzzles
- Solving distributed constraint optimization problems using logic programming
This page was built for software: Potassco