Pages that link to "Item:Q1603743"
From MaRDI portal
The following pages link to Extending and implementing the stable model semantics (Q1603743):
Displaying 50 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- On abstract modular inference systems and solvers (Q286083) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- Solving parity games by a reduction to SAT (Q414902) (← links)
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Stable models and circumscription (Q543596) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Equilibrium logic (Q854969) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- The theory of interval probabilistic logic programs (Q1039578) (← links)
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Answer set programming and plan generation (Q1603732) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437) (← 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)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Answers set programs for non-transferable utility games: expressiveness, complexity and applications (Q2060739) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Rough set reasoning using answer set programs (Q2237125) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- A multiparametric view on answer set programming (Q2317973) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (Q2353982) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits (Q2389669) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
