| Multi-shot ASP solving with clingo |
7 |
| A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming |
4 |
| Founded (Auto) Epistemic Equilibrium Logic Satisfies Epistemic Splitting |
3 |
| Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning |
3 |
| Optimizing Answer Set Computation via Heuristic-Based Decomposition |
2 |
| Shared aggregate sets in answer set programming |
2 |
| Temporal Answer Set Programming on Finite Traces |
2 |
| Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming |
2 |
| A Distributed Approach to LARS Stream Reasoning (System paper) |
2 |
| Incremental Answer Set Programming with Overgrounding |
2 |
| Answering the why in answer set programming-A survey of explanation approaches |
2 |
| Debugging Non-ground ASP Programs: Technique and Graphical Tools |
2 |
| Technical Note Hybrid metabolic network completion |
1 |
| Enabling Reasoning with LegalRuleML |
1 |
| Constraint Answer Set Programming without Grounding |
1 |
| Cautious reasoning in ASP via minimal models and unsatisfiable cores |
1 |
| Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates |
1 |
| Certified Graph View Maintenance with Regular Datalog |
1 |
| Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming |
1 |
| Solving Horn Clauses on Inductive Data Types Without Induction |
1 |
| An ASP Methodology for Understanding Narratives about Stereotypical Activities |
1 |
| Constraint-Based Inference in Probabilistic Logic Programs |
1 |
| Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples |
1 |
| Enhancing Magic Sets with an Application to Ontological Reasoning |
1 |
| First-order Answer Set Programming as Constructive Proof Search |
1 |
| Resource Analysis driven by (Conditional) Termination Proofs |
1 |
| About Epistemic Negation and World Views in Epistemic Logic Programs |
1 |
| Partial Compilation of ASP Programs |
1 |
| On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs |
1 |
| A Syntactic Operator for Forgetting that Satisfies Strong Persistence |
1 |
| Performing fully parallel constraint logic programming on a quantum annealer |
1 |
| Introducing Computer Science to High School Students Through Logic Programming |
1 |
| Mining External Sources in Answer Set Programs |
1 |
| Technical Note Random generation of closed simply typed lambda-terms: A synergy between logic programming and Boltzmann samplers |
1 |
| SUNNY-CP and the MiniZinc challenge |
1 |
| Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption |
1 |
| Predicate Pairing for program verification |
1 |
| A concurrent constraint programming interpretation of access permissions |
1 |
| A review of literature on parallel constraint solving |
1 |
| Parallelism, concurrency and distribution in constraint handling rules: A survey |
1 |
| Logic programming as a service |
1 |
| Scaling-up reasoning and advanced analytics on BigData |
1 |
| Tree dimension in verification of constrained Horn clauses |
0 |
| Stepwise debugging of answer-set programs |
0 |
| Logic plus control: On program construction and verification |
0 |
| Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach |
0 |
| plasp 3: Towards Effective ASP Planning |
0 |
| Description, Implementation, and Evaluation of a Generic Design for Tabled CLP |
0 |
| Web-STAR: A Visual Web-based IDE for a Story Comprehension System |
0 |
| Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages |
0 |
