Advances in WASP

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Conference on Logic Programming and Non-Monotonic Reasoning

• Publication date

  2015-09-27

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-23264-5_5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size

  2015cited by this paper
• Allotment Problem in Travel Industry: A Solution Based on ASP

  2015cited by this paper
• Preliminary Report on WASP 2.0

  2014cited by this paper
• Anytime Computation of Cautious Consequences in Answer Set Programming

  2014influential reference
• Maximum Satisfiability Using Core-Guided MaxSAT Resolution

  2014cited by this paper
• Core-Guided MaxSAT with Soft Cardinality Constraints

  2014cited by this paper
• Model-Guided Approaches for MaxSAT Solving

  2013cited by this paper
• Efficient Querying of Inconsistent Databases with Binary Integer Programming

  2013cited by this paper
• WASP: A Native ASP Solver Based on Constraint Learning

  2013cited by this paper
• Iterative and core-guided MaxSAT solving: A survey and assessment

  2013cited by this paper
• The Fourth Answer Set Programming Competition: Preliminary Report

  2013cited by this paper
• SAT-based MaxSAT algorithms

  2013cited by this paper
• Conflict-driven answer set solving: From theory to practice

  2012influential reference
• Unsatisfiability-based optimization in clasp

  2012cited by this paper
• Core-Guided Binary Search Algorithms for Maximum Satisfiability

  2011cited by this paper
• Consistent query answering via ASP from different perspectives: Theory and practice

  2011cited by this paper
• Team-building with answer set programming in the Gioia-Tauro seaport

  2011cited by this paper
• Advances in gringo Series 3

  2011cited by this paper
• The Disjunctive Datalog System DLV

  2010cited by this paper
• On Computing Backbones of Propositional Theories

  2010cited by this paper
• Predicting Learnt Clauses Quality in Modern SAT Solvers

  2009cited by this paper
• A new Approach for Solving Satisfiability Problems with Qualitative Preferences

  2008cited by this paper
• Some (in)translatability results for normal logic programs and propositional theories

  2006cited by this paper
• Effective Preprocessing in SAT Through Variable and Clause Elimination

  2005cited by this paper
• Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs

  2004cited by this paper
• Logic Programs for Querying Inconsistent Databases

  2003cited by this paper
• ASSAT: computing answer sets of a logic program by SAT solvers

  2002cited by this paper
• The DLV system for knowledge representation and reasoning

  2002cited by this paper
• Enhancing Disjunctive Datalog by Constraints

  2000cited by this paper
• Extending and implementing the stable model semantics

  2000cited by this paper
• GRASP: A Search Algorithm for Propositional Satisfiability

  1999influential reference
• Disjunctive datalog

  1997cited by this paper
• Classical negation in logic programs and disjunctive databases

  1991cited by this paper
• for Semantic Information Extraction

  year unknowncited by this paper
• Íòòòö Óò××××öøøóò Óö Ôùùðð Blockinøøóò Ò Ìììóöý Òò Èö Blockinøø Óó Äó Èöóöñññòò

  year unknowncited by this paper

• Proceedings 41st International Conference on Logic Programming

  2026cites this paper
• An ASP-Based Framework for MUSes

  2025cites this paper
• Counting and Reasoning with Plans

  2025cites this paper
• Application Placement with Constraint Relaxation

  2025cites this paper
• Counting Answer Sets of Disjunctive Answer Set Programs

  2025cites this paper
• ASP Essentials: Modelling and Efficient Solving (Invited Paper)

  2025cites this paper
• A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets

  2025cites this paper
• Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs

  2025cites this paper
• The XAI system for answer set programming xASP2

  2024cites this paper
• On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases

  2024cites this paper
• AMO-aware Aggregates in Answer Set Programming

  2024influential citation
• Efficient Constraint Learning For Stream Reasoning

  2023cites this paper
• Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

  2023cites this paper
• Short Boolean Formulas as Explanations in Practice

  2023cites this paper
• Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity

  2023cites this paper
• A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs

  2023cites this paper
• Advancements in xASP, an XAI System for Answer Set Programming

  2023cites this paper
• Large-Neighbourhood Search for Optimisation in Answer-Set Solving

  2022cites this paper
• Compilation of ASP Programs: Recent Developments (Short Paper)

  2022cites this paper
• Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery

  2022cites this paper
• On the Configuration of More and Less Expressive Logic Programs

  2022cites this paper
• ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser

  2022cites this paper
• Compilation of Aggregates in ASP Systems

  2022influential citation
• Benchmarking Answer Set Programming systems for resource allocation in business processes

  2022cites this paper
• Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring

  2022cites this paper
• On the Foundations of Grounding in Answer Set Programming

  2021cites this paper
• Rushing and Strolling among Answer Sets - Navigation Made Easy

  2021cites this paper
• Compilation of Aggregates in ASP

  2021cites this paper
• Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images

  2021cites this paper
• Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators

  2020cites this paper
• Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

  2020cites this paper
• Compilation of Aggregates in ASP: Preliminary Results

  2020cites this paper
• Incremental maintenance of overgrounded logic programs with tailored simplifications

  2020influential citation
• How to build your own ASP-based system?!

  2020cites this paper
• Managing caching strategies for stream reasoning with reinforcement learning

  2020cites this paper
• Knowledge Discovery, Knowledge Engineering and Knowledge Management: 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

  2020cites this paper
• Boosting Answer Set Optimization with Weighted Comparator Networks

  2020cites this paper
• The Impact of Treewidth on Grounding and Solving of Answer Set Programs

  2020influential citation
• A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)

  2020cites this paper
• Debugging of Answer Set Programs Using Paracoherent Reasoning

  2019cites this paper
• Argumentation Reasoning via Circumscription with Pyglaf

  2019cites this paper
• Nurse (Re)scheduling via answer set programming

  2019cites this paper
• The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs

  2019cites this paper
• Large-Scale Reasoning on Expressive Horn Ontologies

  2019cites this paper
• The Hexlite Solver

  2019cites this paper
• Inconsistency Proofs for ASP: The ASP - DRUPE Format

  2019influential citation
• Partial Compilation of ASP Programs

  2019influential citation
• Better Paracoherent Answer Sets with Less Resources

  2019influential citation
• Beyond NP: Quantifying over Answer Sets

  2019cites this paper
• Abstract Solvers for Computing Cautious Consequences of ASP programs

  2019influential citation
• Evaluation of Disjunctive Programs in WASP

  2019influential citation
• Enhancing DLV for Large-Scale Reasoning

  2019cites this paper
• The Seventh Answer Set Programming Competition: Design and Results

  2019cites this paper
• An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems

  2019cites this paper
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms

  2019cites this paper
• Incremental Answer Set Programming with Overgrounding

  2019cites this paper
• Model Enumeration via Assumption Literals

  2019influential citation
• Empowering ASPQ to Win in QBFEval 2018

  2019cites this paper
• Knowledge and Reasoning

  2019cites this paper
• The External Interface for Extending WASP

  2018influential citation
• New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

  2018influential citation
• Shared aggregate sets in answer set programming

  2018influential citation
• Cautious reasoning in ASP via minimal models and unsatisfiable cores

  2018influential citation
• Externally Supported Models for Efficient Computation of Paracoherent Answer Sets

  2018cites this paper
• Optimizing Answer Set Computation via Heuristic-Based Decomposition

  2018influential citation
• Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, Melbourne, Australia, August 28 - September 1, 2017

  2018cites this paper
• The ASP System DLV: Advancements and Applications

  2018cites this paper
• Aggregates in Answer Set Programming

  2018cites this paper
• Answer set programming unleashed!

  2018cites this paper
• Query Answering in Propositional Circumscription

  2018cites this paper
• Evaluation Techniques and Systems for Answer Set Programming: a Survey

  2018influential citation
• Algorithms for solving optimization problems in answer set programming

  2018cites this paper
• Debugging Non-ground ASP Programs: Technique and Graphical Tools

  2018influential citation
• Adjudication of coreference annotations via answer set optimisation

  2018cites this paper
• Industrial Applications of Answer Set Programming

  2018cites this paper
• First Steps towards Reasoning on Big Data with DLV

  2018cites this paper
• Answering the “why” in answer set programming – A survey of explanation approaches

  2018influential citation
• Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

  2018cites this paper
• Efficiently Coupling the I-DLV Grounder with ASP Solvers

  2018influential citation
• Coalition formation in social environments with logic-based agents

  2018cites this paper
• A Generator of Hard 2QBF Formulas and ASP Programs

  2018cites this paper
• DLV : Evolution and Perspectives

  2018cites this paper
• An Overview of ASP Applications in the Health-care Domain

  2018cites this paper
• KR&R Approaches for Robot Manipulation Tasks with Articulated Objects

  2018cites this paper
• Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source

  2018cites this paper
• A Benchmark for ASP Systems: Resource Allocation in Business Processes

  2018influential citation
• Reasoning over Ontologies with DLV

  2018cites this paper
• Outpatient day service operations: A case study within rheumatology diseases management

  2017cites this paper
• Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste

  2017cites this paper
• On the Equivalence between Assumption-Based Argumentation and Logic Programming

  2017cites this paper
• Learning logic rules from text using statistical methods for natural language processing

  2017cites this paper
• Multi-shot ASP solving with clingo

  2017cites this paper
• External Computations and Interoperability in the New DLV Grounder

  2017cites this paper
• Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis*

  2017cites this paper
• Tools and Techniques for Easing the Application of Answer Set Programming

  2017cites this paper
• Nurse Scheduling via Answer Set Programming

  2017cites this paper
• On the Computation of Paracoherent Answer Sets

  2017influential citation
• Model enumeration in propositional circumscription via unsatisfiable core analysis*

  2017influential citation
• An Advanced Answer Set Programming Encoding for Nurse Scheduling

  2017cites this paper
• Backdoor Trees for Answer Set Programming

  2017cites this paper