Cited in
(only showing first 100 items - show all)- Graph-based construction of minimal models
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- The External Interface for Extending WASP
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Better paracoherent answer sets with less resources
- Learning Boolean controls in regulated metabolic networks: a case-study
- Exploiting answer set programming with external sources for meta-interpretive learning
- selp: a single-shot epistemic logic program solver
- Pruning external minimality checking for answer set programs using semantic dependencies
- Constraint answer set programming without grounding
- Answer set programming
- Reasoning about strong inconsistency in ASP
- Probabilistic reasoning about epistemic action narratives
- xclingo
- Learning programs by learning from failures
- Partial compilation of ASP programs
- DualGrounder: lazy instantiation via clingo multi-shot framework
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Knowledge representation analysis of graph mining
- Design and results of the second international competition on computational models of argumentation
- Aggregating conditionally lexicographic preferences using answer set programming solvers
- A computational framework for conceptual blending
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Static analysis and stochastic search for reachability problem
- Towards metric temporal answer set programming
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- Solving Advanced Argumentation Problems with Answer Set Programming
- plasp 3: towards effective ASP planning
- Temporal answer set programming on finite traces
- 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
- Prioritization of candidate genes through Boolean networks
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
- A tutorial on hybrid answer set solving with \textit{clingo}
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- scientific article; zbMATH DE number 7455725 (Why is no real title available?)
- Inductive general game playing
- Solving projected model counting by utilizing treewidth and its limits
- A trajectory calculus for qualitative spatial reasoning using answer set programming
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- 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 Boolean networks from phosphoproteomic time series data
- GK: implementing full first order default logic for commonsense reasoning (system description)
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- 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
- DatalogMTL
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- Making sense of sensory input
- Train scheduling with hybrid answer set programming
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- The D-FLAT system for dynamic programming on tree decompositions
- The return of \textit{xorro}
- Integrating ASP into ROS for reasoning in robots
- An implementation of consistency-based multi-agent belief change using ASP
- ASPeRiX
- CP-nets
- RuleML
- C-SPARQL
- GOLOG
- ASSAT
- LUPS
- HYPROLOG
- DLVHEX
- Cmodels
- DLV
- DLV-EX
- Gringo
- Lparse
- Smodels
- FORS
- DELORES
- ASPIDE
- clpfd
- wamcc
- CP-logic
- ProbLog
- PITA
- Potassco
- clasp
- GASP
- plasp
- YAP-Prolog
- CCGbank
- Mercury
- ASPARTIX
- Mole
- oClingo
This page was built for software: Clingo
