The following pages link to Stefan Brüning (Q1275595):
Displaying 10 items.
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- A disjunctive positive refinement of model elimination and its application to subsumption deletion (Q1369080) (← links)
- (Q4262999) (← links)
- (Q4282502) (← links)
- (Q4282600) (← links)
- (Q4524786) (← links)
- (Q4530457) (← links)
- XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525) (← links)
- (Q4797423) (← links)
- (Q4860655) (← links)
