First Page | Document Content | |
---|---|---|
![]() Date: 2011-04-22 09:34:20Quantification Ontology Mathematical logic Propositional calculus Philosophical logic Existential quantification Existence Function Truth Logic Philosophy Mathematics | Add to Reading List |
![]() | Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale UniversityDocID: 1xV4m - View Document |
![]() | PDF DocumentDocID: 1xQTu - View Document |
![]() | PDF DocumentDocID: 1xBPs - View Document |
![]() | PDF DocumentDocID: 1xzsE - View Document |
![]() | PDF DocumentDocID: 1xlL7 - View Document |