Potassco

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