scientific article

Roland Kaminski, Martin Gebser, Torsten Schaub, Max Ostrowski, Marius Thomas Schneider, Benjamin Kaufmann

Publication date: 28 June 2011

Full work available at URL: http://iospress.metapress.com/content/nr20503mu5606v0x/fulltext.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

answer set programming declarative problem solving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items

Backdoors to Normality for Disjunctive Logic Programs, Computing Parameterized Invariants of Parameterized Petri Nets, Automated Inference of Rules with Exception from Past Legal Cases Using ASP, Solving Disjunctive Fuzzy Answer Set Programs, Characterising and Explaining Inconsistency in Logic Programs, 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, Improving the Normalization of Weight Rules in Answer Set Programs, Inductive Learning of 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, Learning Through Hypothesis Refinement Using Answer Set Programming, LoCo—A Logic for Configuration Problems, Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells, Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation, Parallel Logic Programming: A Sequel, 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, On combining ontologies and rules, Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding, Relational data factorization, Inductive general game playing, Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy, 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, 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, Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks, 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, Pruning external minimality checking for answer set programs using semantic dependencies, Potassco, Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects, Forgetting in ASP: The Forgotten Properties, Dischargeable Obligations in the 𝒮CIFF Framework, Unnamed Item, 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

Uses Software