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
• Answer Set Programming for Single-Player Games in General Game Playing
• Declarative distributed computing
• 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
• 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
• Multi-shot ASP solving with clingo
• A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
• 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
• 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
• Integrating ASP into ROS for reasoning in robots
• Computing Parameterized Invariants of Parameterized Petri Nets
• Automated verification of state sequence invariants in general game playing
• Conflict-driven ASP solving with external sources
• aspeed: solver scheduling via answer set programming
• 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?)
• 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
• Inconsistency management for traffic regulations: formalization and complexity results
• Paraconsistency and word puzzles
• Solving distributed constraint optimization problems using logic programming

This page was built for software: Potassco