The following pages link to Jorgen Fischer Nilsson (Q789184):
Displayed 13 items.
- Grammatical unification (Q789185) (← links)
- Item:Q789184 (redirect page) (← links)
- Logic program synthesis as problem reduction using combining forms (Q1857307) (← links)
- On the design of a natural logic system for knowledge bases (Q2081592) (← links)
- A cube of opposition for predicate logic (Q2307718) (← links)
- Diagrammatic Reasoning with Classes and Relationships (Q2948607) (← links)
- (Q4225082) (← links)
- (Q4373454) (← links)
- (Q4417568) (← links)
- (Q4524835) (← links)
- (Q5285119) (← links)
- Program Development in Computational Logic (Q5712543) (← links)
- Ontological Constitutions for Classes and Properties (Q5757428) (← links)