Clingo

swMATH9893MaRDI QIDQ21872FDOQ21872

Author name not available (Why is that?)

Official website: https://potassco.org/

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 parallel memory-efficient epistemic logic program solver: harder, better, faster
• Knowledge representation analysis of graph mining
• A tutorial on hybrid answer set solving with \textit{clingo}
• GK: implementing full first order default logic for commonsense reasoning (system description)
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Making sense of sensory input
• 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
• Title not available (Why is that?)
• Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
• xclingo
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• Title not available (Why is that?)
• Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics
• Making sense of raw input
• Paracoherent answer set computation
• Computing Diverse Optimal Stable Models
• 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
• PASOCS
• Static analysis and stochastic search for reachability problem
• Aggregating conditionally lexicographic preferences using answer set programming solvers
• Pruning external minimality checking for answer set programs using semantic dependencies
• Answer set programming
• Reasoning about strong inconsistency in ASP
• Title not available (Why is that?)
• Exploiting answer set programming with external sources for meta-interpretive learning
• 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
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• 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
• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Computing diverse Boolean networks from phosphoproteomic time series data
• Inconsistency proofs for ASP: the ASP-DRUPE format
• Modelling multi-agent epistemic planning in ASP
• Train scheduling with hybrid answer set programming
• Inductive general game playing
• plasp 3: towards effective ASP planning
• Solving Advanced Argumentation Problems with Answer Set Programming
• The External Interface for Extending WASP
• Temporal answer set programming on finite traces
• Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
• Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
• 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
• selp: a single-shot epistemic logic program solver
• DatalogMTL
• Graph-based construction of minimal models
• \texttt{eclingo}: a solver for epistemic logic programs
• Relating two dialects of answer set programming
• DeepCoder
• LARS
• Extending the metabolic network of Ectocarpus siliculosus using answer set programming
• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
• 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
• Title not available (Why is that?)
• PASTA
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• Ricochet Robots reloaded: a case-study in multi-shot ASP solving
• Louise
• Conflict-driven answer set solving: from theory to practice
• 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
• ALM
• REBA
• Yedalog
• ActHEX
• ASPVIZ
• asprin
• anthem
• fastGapFill
• IDPDraw
• Kara
• onlineSPARC
• meneco
• OntoDLV
• SeaLion
• delSAT

This page was built for software: Clingo