The following pages link to (Q4702577):
Displayed 50 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- On the parameterized complexity of non-monotonic logics (Q494658) (← links)
- Learning discrete decomposable graphical models via constraint optimization (Q517387) (← links)
- Stable models and circumscription (Q543596) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- The complexity of recursive constraint satisfaction problems (Q636283) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Aggregated fuzzy answer set programming (Q766043) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Strong order equivalence (Q854968) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Stable models and difference logic (Q1028651) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Set based logic programming (Q1029592) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Answer set programming and plan generation (Q1603732) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- On the equivalence and range of applicability of graph-based representations of logic programs. (Q1853147) (← links)
- Logic programs, iterated function systems, and recurrent radial basis function networks (Q1884270) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Answers set programs for non-transferable utility games: expressiveness, complexity and applications (Q2060739) (← links)
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Equilibrium graphs (Q2317964) (← links)
- Multi-context systems in dynamic environments (Q2317972) (← links)
- A multiparametric view on answer set programming (Q2317973) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- 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)