Pages that link to "Item:Q4428287"
From MaRDI portal
The following pages link to Knowledge Representation, Reasoning and Declarative Problem Solving (Q4428287):
Displaying 50 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Portfolio approaches for constraint optimization problems (Q276552) (← links)
- ASlib: a benchmark library for algorithm selection (Q286390) (← 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)
- Knowledge-based multi-criteria optimization to support indoor positioning (Q421460) (← links)
- A core language for fuzzy answer set programming (Q448947) (← links)
- Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597) (← links)
- A weighted causal theory for acquiring and utilizing open knowledge (Q465606) (← links)
- Learning Boolean logic models of signaling networks with ASP (Q498928) (← links)
- Automatic construction of parallel portfolios via algorithm configuration (Q511786) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Aggregated fuzzy answer set programming (Q766043) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← 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)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Set based logic programming (Q1029592) (← links)
- Identification of biological transition systems using meta-interpreted logic programs (Q1621890) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- Modeling delayed dynamics in biological regulatory networks from time series data (Q1662593) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- Modeling multi-valued biological interaction networks using fuzzy answer set programming (Q1795202) (← links)
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- Learning Boolean controls in regulated metabolic networks: a case-study (Q2142113) (← links)
