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)

• Constraint answer set programming without grounding
• Probabilistic reasoning about epistemic action narratives
• A tutorial on hybrid answer set solving with \textit{clingo}
• \texttt{eclingo}: a solver for epistemic logic programs
• Relating two dialects of answer set programming
• 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}
• Extending the metabolic network of Ectocarpus siliculosus using answer set programming
• 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
• 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?)
• Better paracoherent answer sets with less resources
• 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
• Modal logic S5 satisfiability in answer set programming
• 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}^{++}\)
• Ricochet Robots reloaded: a case-study in multi-shot ASP solving
• Conflict-driven answer set solving: from theory to practice
• 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
• Answer set programming
• Design and results of the Fifth Answer Set Programming Competition
• Exploiting answer set programming with external sources for meta-interpretive learning
• Autoepistemic answer set programming
• Partial compilation of ASP programs
• Towards metric temporal answer set programming
• Optimizing answer set computation via heuristic-based decomposition
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• ASP-Core-2 input language format
• 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
• Inductive general game playing
• plasp 3: towards effective ASP planning
• Backdoors to tractable answer set programming
• Solving Advanced Argumentation Problems with Answer Set Programming
• The External Interface for Extending WASP
• The first international competition on computational models of argumentation: results and analysis
• Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
• Nurse scheduling via answer set programming
• Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
• What is answer set programming to propositional satisfiability
• Title not available (Why is that?)
• Computing secure sets in graphs using answer set programming
• Constraint Answer Set Solving
• The D-FLAT system for dynamic programming on tree decompositions
• Integrating ASP into ROS for reasoning in robots
• An implementation of consistency-based multi-agent belief change using ASP
• Graph-based construction of minimal models
• Statistical statements in probabilistic logic programming
• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• Knowledge representation analysis of graph mining
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Flexible FOND Planning with Explicit Fairness Assumptions
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Toward Question Answering in Travel Domains
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• Title not available (Why is that?)
• Hybrid metabolic network completion
• Computing Diverse Optimal Stable Models
• Lifted Reasoning for Combinatorial Counting
• 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
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• I-DLV-sr: A Stream Reasoning System based on I-DLV
• Aggregating conditionally lexicographic preferences using answer set programming solvers
• 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?)
• Incremental answer set programming with overgrounding
• Accurate computation of sensitizable paths using answer set programming
• Symbolic system synthesis using answer set programming
• A distributed approach to LARS stream reasoning (system paper)
• Reasoning about strong inconsistency in ASP
• 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?
• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Inconsistency proofs for ASP: the ASP-DRUPE format

This page was built for software: Clingo