answer set programming

ASP-Based Declarative Process Mining AAAI 2022 Axiomatization of Aggregates in Answer Set Programming AAAI 2022 Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022 Compilation of Aggregates in ASP Systems AAAI 2022 Considering Constraint Monotonicity and Foundedness in Answer Set Programming IJCAI 2022 Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming IJCAI 2022 Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (Extended Abstract) IJCAI 2022 Large-Neighbourhood Search for Optimisation in Answer-Set Solving AAAI 2022 Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach IJCAI 2022 Rushing and Strolling among Answer Sets – Navigation Made Easy AAAI 2022 Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data IJCAI 2022 Simulating Sets in Answer Set Programming IJCAI 2022 Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) IJCAI 2022 Constraint Logic Programming for Real-World Test Laboratory Scheduling AAAI 2021 Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021 Scalable Non-observational Predicate Learning in ASP IJCAI 2021 Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard AAAI 2021 A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020 Finding Most Compatible Phylogenetic Trees over Multi-State Characters AAAI 2020 Learning Optimal Cyclic Causal Graphs from Interventional Data PGM 2020 Lossless Semantic Round-Tripping in PENG ASP IJCAI 2020 NeurASP: Embracing Neural Networks into Answer Set Programming IJCAI 2020 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020 Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020 Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020