The following pages link to (Q5625152):
Displaying 3 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- On a synonymy relation for extensional first order theories. I: A notion of synonymy (Q594088) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
