The following pages link to Potassco (Q19059):
Displaying 50 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- A synthesis of automated planning and reinforcement learning for efficient, robust decision-making (Q334800) (← links)
- Knowledge-based multi-criteria optimization to support indoor positioning (Q421460) (← links)
- Reformulation based MaxSat robustness (Q487654) (← links)
- 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 (Q532932) (← links)
- Causal effect identification in acyclic directed mixed graphs and gated models (Q1678412) (← links)
- A constraint optimization approach to causal discovery from subsampled time series data (Q1678425) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Relational data factorization (Q1699908) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Modeling multi-valued biological interaction networks using fuzzy answer set programming (Q1795202) (← links)
- Computing maximal and minimal trap spaces of Boolean networks (Q2003486) (← links)
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding (Q2112149) (← links)
- Inductive general game playing (Q2203324) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language (Q2296746) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- The return of \textit{xorro} (Q2326736) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (Q2353984) (← links)
- \(\mathsf {Harvey}\): a system for random testing in ASP (Q2401939) (← links)
- Nurse scheduling via answer set programming (Q2401947) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- A New Solver for the Minimum Weighted Vertex Cover Problem (Q2815127) (← links)
- Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects (Q2835873) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Conflict-Based Program Rewriting for Solving Configuration Problems (Q2851276) (← links)
- Advanced SAT Techniques for Abstract Argumentation (Q2851963) (← links)
- Web Based System for Weighted Defeasible Argumentation (Q2851967) (← links)
- Reasoning about the Intentions of Agents (Q2900476) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- LoCo—A Logic for Configuration Problems (Q2946729) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Integrating ASP into ROS for Reasoning in Robots (Q3449192) (← links)
- aspeed: Solver scheduling via answer set programming (Q4592974) (← links)
- Learning weak constraints in answer set programming (Q4592994) (← links)
- Optimizing phylogenetic supertrees using answer set programming (Q4593001) (← links)
- Justifying answer sets using argumentation (Q4593019) (← links)
- Paraconsistency and word puzzles (Q4593052) (← links)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
