Potassco

swMATH6996MaRDI QIDQ19059

No author found.

Related Items (75)

Backdoors to Normality for Disjunctive Logic Programs ⋮ Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Integrating ASP into ROS for Reasoning in Robots ⋮ 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 ⋮ A synthesis of automated planning and reinforcement learning for efficient, robust decision-making ⋮ \(\mathsf {Harvey}\): a system for random testing in ASP ⋮ Nurse scheduling via answer set programming ⋮ Answer Set Programming for Single-Player Games in General Game Playing ⋮ Improving the Normalization of Weight Rules in Answer Set Programs ⋮ Causal effect identification in acyclic directed mixed graphs and gated models ⋮ A constraint optimization approach to causal discovery from subsampled time series data ⋮ LoCo—A Logic for Configuration Problems ⋮ aspeed: Solver scheduling via answer set programming ⋮ Learning weak constraints in answer set programming ⋮ Optimizing phylogenetic supertrees using answer set programming ⋮ Justifying answer sets using argumentation ⋮ Paraconsistency and word puzzles ⋮ The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) ⋮ Solving distributed constraint optimization problems using logic programming ⋮ Knowledge-based multi-criteria optimization to support indoor positioning ⋮ What is answer set programming to propositional satisfiability ⋮ Relational data factorization ⋮ Inductive general game playing ⋮ Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy ⋮ Semantics for conditional literals via the SM operator ⋮ Recent Advances in Datalog$$^\pm $$ ⋮ On the limits of forgetting in answer set programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A General Framework for Stable Roommates Problems using Answer Set Programming ⋮ Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming ⋮ Reformulation based MaxSat robustness ⋮ Paracoherent answer set computation ⋮ Datalog and Its Extensions for Semantic Web Databases ⋮ Conflict-driven ASP solving with external sources ⋮ Constraint Answer Set Solving ⋮ 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 ⋮ Computing maximal and minimal trap spaces of Boolean networks ⋮ Automated verification of state sequence invariants in general game playing ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving ⋮ Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks ⋮ An Incremental Answer Set Programming Based System for Finite ModelComputation ⋮ Coala: A Compiler from Action Languages to ASP ⋮ Revising event calculus theories to recover from unexpected observations ⋮ Multi-shot ASP solving with clingo ⋮ Introducing Computer Science to High School Students Through Logic Programming ⋮ onlineSPARC: A Programming Environment for Answer Set Programming ⋮ Modeling multi-valued biological interaction networks using fuzzy answer set programming ⋮ A note on the McKelvey uncovered set and Pareto optimality ⋮ The External Interface for Extending WASP ⋮ Omission-Based Abstraction for Answer Set Programs ⋮ The Impact of Treewidth on Grounding and Solving of Answer Set Programs ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Uhura: an authoring tool for specifying answer-set programs using controlled natural language ⋮ A New Solver for the Minimum Weighted Vertex Cover Problem ⋮ A parallel memory-efficient epistemic logic program solver: harder, better, faster ⋮ Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects ⋮ Forgetting in ASP: The Forgotten Properties ⋮ Unnamed Item ⋮ The return of \textit{xorro} ⋮ Conflict-Based Program Rewriting for Solving Configuration Problems ⋮ Detecting Inconsistencies in Large Biological Networks with Answer Set Programming ⋮ Advanced SAT Techniques for Abstract Argumentation ⋮ Web Based System for Weighted Defeasible Argumentation ⋮ Representing and reasoning about game strategies ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey ⋮ Backdoors to tractable answer set programming ⋮ Minimal trap spaces of logical models are maximal siphons of their Petri net encoding ⋮ Domain expansion for ASP-programs with external sources ⋮ Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

This page was built for software: Potassco