The following pages link to Torsten Schaub (Q421457):
Displayed 50 items.
- Knowledge-based multi-criteria optimization to support indoor positioning (Q421460) (← links)
- Learning Boolean logic models of signaling networks with ASP (Q498928) (← links)
- Automatic construction of parallel portfolios via algorithm configuration (Q511786) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Alternative approaches to default logic (Q1342221) (← links)
- Item:Q421457 (redirect page) (← links)
- Signed systems for paraconsistent reasoning (Q1382164) (← links)
- The automation of reasoning with incomplete information. From semantic foundations to efficient computation (Q1387257) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- What is a (non-constructive) non-monotone logical system? (Q1575268) (← links)
- Expressing preferences in default logic (Q1589465) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Computing diverse Boolean networks from phosphoproteomic time series data (Q1796486) (← links)
- Optimality theory as a family of cumulative logics (Q1868481) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Temporal logic programs with temporal description logic axioms (Q2185465) (← links)
- Lower bound founded logic of here-and-there (Q2296740) (← links)
- Train scheduling with hybrid ASP (Q2326704) (← links)
- Towards dynamic answer set programming over finite traces (Q2326722) (← links)
- \textit{telingo} = ASP + time (Q2326733) (← links)
- Verifying strong equivalence of programs in the input language of \textsc{gringo} (Q2326735) (← links)
- The return of \textit{xorro} (Q2326736) (← links)
- A consistency-based framework for merging knowledge bases (Q2372196) (← links)
- Catnap: generating test suites of constrained combinatorial testing with answer set programming (Q2401942) (← links)
- plasp 3: towards effective ASP planning (Q2401946) (← links)
- Hybrid metabolic network completion (Q2401949) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- \textit{Clingraph}: ASP-based visualization (Q2694596) (← links)
- (Q2734933) (← links)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Symbolic System Synthesis Using Answer Set Programming (Q2851234) (← links)
- Accurate Computation of Sensitizable Paths Using Answer Set Programming (Q2851235) (← links)
- Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming (Q2851257) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- (Q2909134) (← links)
- (Q2909136) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- A Model-Theoretic Approach to Belief Change in Answer Set Programming (Q2946699) (← links)
- Tableau Calculi for Logic Programs under Answer Set Semantics (Q2946700) (← links)
- Reactive Answer Set Programming (Q3003243) (← links)
- Detecting inconsistencies in large biological networks with answer set programming (Q3008410) (← links)
- (Q3011296) (← links)
- (Q3011302) (← links)
- Automatic network reconstruction using ASP (Q3087459) (← links)
- Complex optimization in answer set programming (Q3087462) (← links)
- Expressing Default Logic Variants in Default Logic (Q3374095) (← links)