The following pages link to (Q4702577):
Displaying 50 items.
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Inferring phylogenetic trees using answer set programming (Q2467563) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- Representing abstract dialectical frameworks with binary decision diagrams (Q2694565) (← links)
- Arguing correctness of ASP programs with aggregates (Q2694567) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q2694570) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- Temporal Here and There (Q2835864) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- On the existence of stable models of non-stratified logic programs (Q3426203) (← links)
- Performance Tuning in Answer Set Programming (Q3449203) (← links)
- Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204) (← links)
- Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
- The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
- Integrating Inductive Definitions in SAT (Q3498482) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- (Q4375823) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Achievements in answer set programming (Q4592719) (← links)
- Generating explanations for biomedical queries (Q4592972) (← links)
- Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
- Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
- Modular action language (Q4593024) (← links)
- Putting logic-based distributed systems on stable grounds (Q4593035) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- Solving distributed constraint optimization problems using logic programming (Q4593098) (← links)
- An application of answer set programming to the field of second language acquisition (Q4601065) (← links)
