Cited in
(only showing first 100 items - show all)- AlzPathway
- Yedalog
- ActHEX
- ASPVIZ
- APE
- asprin
- anthem
- iGROM
- Kara
- onlineSPARC
- LoIDE
- OntoDLV
- SeaLion
- EHEX
- ELPS
- ESmodels
- ESParser
- GISolver
- selp
- Wviews
- Uhura
- DLV2
- Hexlite
- xorro
- ASP-G
- CPCES
- Metagol
- BioLQM
- PyBoolNet
- JCI
- eclingo
- ATHENA
- Omission-based abstraction for answer set programs
- 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
- The impact of treewidth on grounding and solving of answer set programs
- scientific article; zbMATH DE number 7453142 (Why is no real title available?)
- Representing and reasoning about game strategies
- Conflict-based program rewriting for solving configuration problems
- Web based system for weighted defeasible argumentation
- A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
- Multi-shot ASP solving with clingo
- A constraint optimization approach to causal discovery from subsampled time series data
- Causal effect identification in acyclic directed mixed graphs and gated models
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- Reformulation based MaxSat robustness
- Inductive general game playing
- LARS
- On the limits of forgetting in answer set programming
- Advanced SAT techniques for abstract argumentation
- Optimizing phylogenetic supertrees using answer set programming
- \(\mathsf {Harvey}\): a system for random testing in ASP
- scientific article; zbMATH DE number 7453118 (Why is no real title available?)
- Backdoors to tractable answer set programming
- Reasoning about the intentions of agents
- The External Interface for Extending WASP
- Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming
- Nurse scheduling via answer set programming
- Backdoors to normality for disjunctive logic programs
- Learning weak constraints in answer set programming
- scientific article; zbMATH DE number 7455705 (Why is no real title available?)
- Semantics for conditional literals via the SM operator
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- Datalog and Its Extensions for Semantic Web Databases
- What is answer set programming to propositional satisfiability
- Relational data factorization
- Coala: a compiler from action languages to ASP
- Constraint Answer Set Solving
- Integrating ASP into ROS for reasoning in robots
- Computing Parameterized Invariants of Parameterized Petri Nets
- Automated verification of state sequence invariants in general game playing
- Inconsistency management for traffic regulations: formalization and complexity results
- Methods for solving reasoning problems in abstract argumentation -- a survey
- Conflict-driven ASP solving with external sources
- aspeed: solver scheduling via answer set programming
- Paraconsistency and word puzzles
- Solving distributed constraint optimization problems using logic programming
- onlineSPARC: a programming environment for answer set programming
- Domain expansion for ASP-programs with external sources
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
- Reduction-based approaches to implement Modgil's extended argumentation frameworks
- Declarative distributed computing
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
- LoCo—A Logic for Configuration Problems
- Answer Set Programming for Single-Player Games in General Game Playing
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- The return of \textit{xorro}
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
- Introducing computer science to high school students through logic programming
- Knowledge-based multi-criteria optimization to support indoor positioning
- Improving the normalization of weight rules in answer set programs
- Exact algorithms for the maximum planar subgraph problem: new models and experiments
- A new solver for the minimum weighted vertex cover problem
- Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 8th international conference, CPAIOR 2011, Berlin, Germany, May 23--27, 2011. Proceedings
- Paracoherent answer set computation
- Recent advances in Datalog\(^\pm \)
This page was built for software: Potassco
