Filter by source Ethos UK [2] Arizona State University [0] Atlanta University Center [0] Australiasian Digital Theses Program [0] Ball State University [0] Bibliothèque interuniversitaire de la Communauté française de Belgique [0] Boston College [0] Boston University [0] Bradford Scholars [0] Brigham Young University [0] Brigham Young University Theses [0] Butler University [0] CCSD theses-EN-ligne, France [0] CRANFIELD [0] CRANFIELD1 [0] California Institute of Technology [0] California Polytechnic State University [0] California State University San Bernardino [0] Carnegie Mellon University [0] Chapman University [0] Claremont Colleges [0] Columbia University [0] Czech ETDs [0] DiVA Archive at Upsalla University [0] Digitale Hochschulschriften der LMU [0] Dissertations and other Documents of the Gerhard-Mercator-University Duisburg [0] Doshisha University [0] Duke University [0] Duquesne University [0] Dépôt national des thèses électroniques françaises [0] East Tennessee State University [0] Florida Atlantic University [0] Florida International University [0] Florida State University [0] Georg-August-Universität Göttingen [0] George Washington University Theses [0] Georgia State University [0] Georgia Tech Electronic Thesis and Dissertation Archive [0] Hamburg Universtiy of Applied Sciences (HAW Hamburg) [0] Harvard University [0] Hitotsubashi University [0] Hochschulschriftenserver (HSSS) der SLUB Dresden [0] Hokkaido University Japan [0] Hong Kong Baptist University [0] Hong Kong University Theses [0] Humboldt University of Berlin [0] IBICT Brazilian ETDs [0] India Institute of Science [0] Indiana University of Pennsylvania Thesis [0] Indiana University-Purdue University Indianapolis [0] K-State Research Exchange [0] King Abdullah University of Science and Technology [0] Kyoto University [0] Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada [0] Lingnan University [0] Lithuanian ETD submission system [0] Louisiana State University [0] Loyola Marymount University [0] M.I.T. Theses and Dissertation [0] McGill University [0] McMaster University [0] Middle East Technical Univ. [0] Mississippi State University [0] Montana State University [0] NDLTD Individual ETDs [0] NSYSU Electronic Thesis and Dissertation Archive [0] Nagoya University [0] National Chengchi University Libraries [0] National Digital Library of Theses and Dissertations in Taiwan [0] National Library of Portugal DiTeD ETD Repository [0] Naval Postgraduate School [0] North Carolina State University [0] North Dakota State University [0] North-West University [0] North-West University, South Africa [0] Northeastern University [0] Nova Southeastern University [0] OCLC [0] Ohiolink ETDs [0] Oregon Health and Science Univ. Library [0] Oregon State University [0] PUC Rio [0] Physnet, Physics Document Server, Germany [0] Pontificia Universidad Católica del Perú [0] Portland State University [0] Potsdam University [0] ProQuest.com [0] Purdue University [0] Rhodes University SA [0] Rice University [0] Robert Gordon University [0] Sao Paulo State University, Sao Paulo - Brazil. [0] South African National ETD Portal [0] Southern Baptist Theological Seminary [0] Southern Illinois University Carbondale [0] Technischen Universität Darmstadt [0] Temple University [0] Texas A and M University [0] Texas Christian University [0] The Chinese University of Hong Kong [0] Theses and Dissertations Online (Catalunya) [0] Tulane University [0] UCF [0] UCL [0] UDLA-Thesis [0] UniZar [0] Univ. of Western Cape [0] Universidad Catolica Santo Toribio de Mogrovejo [0] Universidad Continental [0] Universidad Mayor de San André(UMSA) [0] Universidad Nacional Jorge Basadre Grohmann [0] Universidad Nacional Mayor de San Marcos - SISBIB PERU [0] Universidad Nacional de Ingenierí(UNI) [0] Universidad Nacional de La Plata, Sedici [0] Universidad Nacional del Sur [0] Universidad Peruana de Ciencias Aplicadas (UPC) [0] Universidad Ricardo Palma (URP) [0] Universidad de Alicante [0] Universidad de Cantabria [0] Universidad de Chile [0] Universidad de Lima [0] Universidad de Murcia [0] Universidad de Oviedo [0] Universidad de San Martin de Porres [0] Universidad de las Americas, Puebla: Digital Theses [0] Universidad del Pacífico [0] Universidade Estadual Paulista [0] Universidade de São Paulo [0] Universidade do Porto [0] Universita Cattolica del Sacro Cuore. DocTA [0] Universitat Abat Oliba [0] Universitat Autònoma de Barcelona [0] Universitat Internacional de Catalunya [0] Universitat Jaume I [0] Universitat Oberta de Catalunya [0] Universitat Politècnica de Catalunya [0] Universitat Politècnica de València [0] Universitat Pompeu Fabra [0] Universitat Ramon Llull [0] Universitat Rovira i Virgili [0] Universitat de Barcelona [0] Universitat de Girona [0] Universitat de Lleida [0] Universitat de Rovira i Virgili [0] Universitat de València [0] Universitat de Vic [0] Universitat de les Illes Balears [0] University of Arizona [0] University of Auckland [0] University of British Columbia [0] University of Canterbury [0] University of Central Florida [0] University of Hawaii at Manoa Libraries [0] University of Iowa [0] University of Kentucky [0] University of Latvia [0] University of Macau [0] University of Maine [0] University of Manitoba Canada [0] University of Massachusetts Medical School [0] University of Massachusetts, Amherst [0] University of Miami [0] University of Missiouri at St. Louis ETD Archive [0] University of Montana Missoula [0] University of New Orleans [0] University of North Carolina-Chapel Hill [0] University of North Florida [0] University of North Texas [0] University of Novi Sad [0] University of Oregon [0] University of Oulu [0] University of Patras [0] University of Pittsburgh [0] University of Saskatchewan Library [0] University of South Flordia [0] University of Tennessee Libraries [0] University of Texas [0] University of Toronto [0] University of Vermont [0] University of Victoria [0] University of Waterloo Electronic Theses Repository [0] University of Würzburg [0] University of the Pacific [0] Università di Bologna [0] Università di Trento [0] Universität Osnabrück [0] Université Laval [0] Université de Montréal [0] Université de Sherbrooke [0] Université de Toulouse [0] Université du Québec à Chicoutimi [0] Université du Québec à Trois-Rivières [0] Université d'Ottawa [0] Université libre de Bruxelles [0] Ural Federal University [0] Utah State University [0] VTechWorks NDLTD ETDs [0] Vanderbilt University Theses [0] Vidyanidhi Digital Lib. (India) [0] Virginia Commonwealth University [0] Virginia Tech Theses and Dissertation [0] Walden University [0] Western Kentucky University Theses [0] Wichita State University [0] William and Mary [0] Wirtschaftsuniversität Wien [0] Worcester Polytechnic Institute [0] Yale Medical student MD Thesis [0]
programming 2
Prolog and expert systems
Davies, Peter Leslie January 1987 (has links)
The first part of the thesis provides an introduction to the logic programming language Prolog and some areas of current research. The use of compilation to make Prolog faster and more efficient is studied and a modified representation for complex structures is presented. Two programming tools are also presented. The second part of the thesis focuses on one problem which arises when implementing an Expert System using Prolog. A practical three-valued Prolog implementation is described. An interpreter accepts three-valued formulae and converts these into a Prolog representation. Formulae are in clausal form which allows disjunctive conclusions to rules. True and false formulae are stated explicitly and therefore the interpreter is able to perform useful consistency checks when information is added to the data base.
Computer logic programming
Gazing : a technique for controlling the use of rewrite rules
Plummer, David John January 1988 (has links)
Computer/logic programming