Clingo

swMATH9893MaRDI QIDQ21872FDOQ21872

Author name not available (Why is that?)

Described by source

• Clingo goes linear constraints over reals and integers
• Multi-shot ASP solving with clingo

Cited In (only showing first 100 items - show all)

• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• Knowledge representation analysis of graph mining
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Flexible FOND Planning with Explicit Fairness Assumptions
• ASP Solving for Expanding Universes
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Toward Question Answering in Travel Domains
• A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
• Incremental Answer Set Programming with Overgrounding
• A Distributed Approach to LARS Stream Reasoning (System paper)
• Train Scheduling with Hybrid Answer Set Programming
• Inconsistency Proofs for ASP: The ASP - DRUPE Format
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• Modelling Multi-Agent Epistemic Planning in ASP
• Title not available (Why is that?)
• Hybrid metabolic network completion
• Computing Diverse Optimal Stable Models
• Lifted Reasoning for Combinatorial Counting
• Temporal Answer Set Programming on Finite Traces
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• Managing caching strategies for stream reasoning with reinforcement learning
• Witnesses for Answer Sets of Logic Programs
• Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
• Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
• selp: A Single-Shot Epistemic Logic Program Solver
• I-DLV-sr: A Stream Reasoning System based on I-DLV
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about strong inconsistency in ASP
• Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem
• Title not available (Why is that?)
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• Efficient Knowledge Compilation Beyond Weighted Model Counting
• Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
• Accurate Computation of Sensitizable Paths Using Answer Set Programming
• Symbolic System Synthesis Using Answer Set Programming
• Enumeration of minimal models and MUSes in WASP
• Analysis of cyclic fault propagation via ASP
• ASP for flexible payroll management
• Modal logic S5 in answer set programming with lazy creation of worlds
• Metric temporal answer set programming over timed traces
• Optimising business process discovery using answer set programming
• Semantics for conditional literals via the SM operator
• Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
• Probabilistic reasoning about epistemic action narratives
• GK: implementing full first order default logic for commonsense reasoning (system description)
• The Hexlite solver. Lightweight and efficient evaluation of HEX programs
• The return of \textit{xorro}
• Moviola: interpreting dynamic logic programs via multi-shot answer set programming
• The ASP system DLV2
• Making sense of sensory input
• Lpopt: a rule optimization tool for answer set programming
• Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
• Design and results of the second international competition on computational models of argumentation
• Prioritization of candidate genes through Boolean networks
• Title not available (Why is that?)
• Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
• ASP-Core-2 Input Language Format
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• Optimizing Answer Set Computation via Heuristic-Based Decomposition
• plasp 3: Towards Effective ASP Planning
• The D-FLAT System for Dynamic Programming on Tree Decompositions
• Partial Compilation of ASP Programs
• Towards Metric Temporal Answer Set Programming
• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
• Title not available (Why is that?)
• Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
• LARS: a logic-based framework for analytic reasoning over streams
• An Implementation of Consistency-Based Multi-agent Belief Change Using ASP
• Integrating ASP into ROS for Reasoning in Robots
• A computational framework for conceptual blending
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics
• Making sense of raw input
• Paracoherent answer set computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving projected model counting by utilizing treewidth and its limits
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• Learning Boolean controls in regulated metabolic networks: a case-study
• Static analysis and stochastic search for reachability problem
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• Conflict-driven answer set solving: from theory to practice
• Constraint Answer Set Programming without Grounding
• Pruning external minimality checking for answer set programs using semantic dependencies
• Modeling delayed dynamics in biological regulatory networks from time series data
• REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
• Design and results of the Fifth Answer Set Programming Competition
• Autoepistemic answer set programming
• A Tutorial on Hybrid Answer Set Solving with clingo
• Learning programs by learning from failures
• DualGrounder: lazy instantiation via clingo multi-shot framework
• Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
• Computing diverse Boolean networks from phosphoproteomic time series data
• eclingo : A Solver for Epistemic Logic Programs
• Relating Two Dialects of Answer Set Programming

This page was built for software: Clingo