Decidable, Logic-Based Knowledge Representation. Patel-Schneider, P. F. Technical Report 201/87, University of Toronto, Toronto, May, 1987. bibtex @techreport{pps,
Address = {Toronto},
Author = {Peter F. Patel-Schneider},
Institution = {University of Toronto},
Month = {May},
Number = {201/87},
Title = {Decidable, Logic-Based Knowledge Representation},
Type = {Technical Report},
Year = {1987}}
Downloads: 0
{"_id":{"_str":"534279640e946d920a0017fd"},"__v":1,"authorIDs":[],"author_short":["Patel-Schneider, P. F."],"bibbaseid":"patelschneider-decidablelogicbasedknowledgerepresentation-1987","bibdata":{"bibtype":"techreport","type":"Technical Report","address":"Toronto","author":[{"firstnames":["Peter","F."],"propositions":[],"lastnames":["Patel-Schneider"],"suffixes":[]}],"institution":"University of Toronto","month":"May","number":"201/87","title":"Decidable, Logic-Based Knowledge Representation","year":"1987","bibtex":"@techreport{pps,\n\tAddress = {Toronto},\n\tAuthor = {Peter F. Patel-Schneider},\n\tInstitution = {University of Toronto},\n\tMonth = {May},\n\tNumber = {201/87},\n\tTitle = {Decidable, Logic-Based Knowledge Representation},\n\tType = {Technical Report},\n\tYear = {1987}}\n\n","author_short":["Patel-Schneider, P. F."],"key":"pps","id":"pps","bibbaseid":"patelschneider-decidablelogicbasedknowledgerepresentation-1987","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["decidable","logic","based","knowledge","representation","patel-schneider"],"title":"Decidable, Logic-Based Knowledge Representation","year":1987,"dataSources":["2cjnbEWxd35GBeqEe"]}