The following pages link to (Q3011296):
Displaying 50 items.
- Potassco (Q19059) (← links)
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- A synthesis of automated planning and reinforcement learning for efficient, robust decision-making (Q334800) (← links)
- Reformulation based MaxSat robustness (Q487654) (← links)
- Causal effect identification in acyclic directed mixed graphs and gated models (Q1678412) (← links)
- A constraint optimization approach to causal discovery from subsampled time series data (Q1678425) (← links)
- Relational data factorization (Q1699908) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Modeling multi-valued biological interaction networks using fuzzy answer set programming (Q1795202) (← links)
- Computing maximal and minimal trap spaces of Boolean networks (Q2003486) (← links)
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Minimal trap spaces of logical models are maximal siphons of their Petri net encoding (Q2112149) (← links)
- Inductive general game playing (Q2203324) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (Q2353984) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects (Q2835873) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Inductive Learning of Answer Set Programs (Q2938503) (← links)
- Learning Through Hypothesis Refinement Using Answer Set Programming (Q2943878) (← links)
- LoCo—A Logic for Configuration Problems (Q2946729) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Automated Inference of Rules with Exception from Past Legal Cases Using ASP (Q3449193) (← links)
- Solving Disjunctive Fuzzy Answer Set Programs (Q3449229) (← links)
- Characterising and Explaining Inconsistency in Logic Programs (Q3449230) (← links)
- aspeed: Solver scheduling via answer set programming (Q4592974) (← links)
- Learning weak constraints in answer set programming (Q4592994) (← links)
- Optimizing phylogenetic supertrees using answer set programming (Q4593001) (← links)
- Justifying answer sets using argumentation (Q4593019) (← links)
- Paraconsistency and word puzzles (Q4593052) (← links)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
- Solving distributed constraint optimization problems using logic programming (Q4593098) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- (Q5020560) (← links)
- (Q5020583) (← links)
- (Q5020961) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
