The following pages link to Steffen Hölldobler (Q918540):
Displaying 30 items.
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- A new deductive approach to planning (Q922685) (← links)
- The undecidability of the unification and matching problem for canonical theories (Q1077931) (← links)
- Modelling the combination of functional and logic programming languages (Q1079941) (← links)
- Foundations of equational logic programming (Q1801319) (← links)
- Horn equational theories and paramodulation (Q1824409) (← links)
- Logic programs and connectionist networks (Q1884268) (← links)
- Do humans reason with \(\mathcal{E} \)-matchers? (Q2185478) (← links)
- Contextual reasoning: usually birds can abductively fly (Q2401926) (← links)
- (Q2767036) (← links)
- (Q2767101) (← links)
- Contextual Abductive Reasoning with Side-Effects (Q2931270) (← links)
- Combining Logic Programming and Equation Solving (Q3348390) (← links)
- A New Computational Logic Approach to Reason with Conditionals (Q3449210) (← links)
- (Q3783622) (← links)
- (Q4264713) (← links)
- (Q4412234) (← links)
- (Q4524778) (← links)
- (Q4530466) (← links)
- Modeling the suppression task under weak completion and well-founded semantics (Q4583344) (← links)
- Linear deductive planning (Q4881298) (← links)
- Improving Resource-Unaware SAT Solvers (Q4933329) (← links)
- A Core Method for the Weak Completion Semantics with Skeptical Abduction (Q4963214) (← links)
- The Weak Completion Semantics and Equality (Q5222964) (← links)
- Logic Programs under Three-Valued Łukasiewicz Semantics (Q5325771) (← links)
- Representative Encodings to Translate Finite CSPs into SAT (Q5418737) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450789) (← links)
- (Q5851185) (← links)
- (Q6156535) (← links)
- Conditional Reasoning and Relevance (Q6488127) (← links)
