Kowalski - PDFSEARCH.IO - Document Search Engine

Kowalski
Results: 431

#	Item
401	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
402	Computational Logic in an Object-Oriented World Robert Kowalski Imperial College London [removed] Abstract Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-07 11:54:52 Logical syntax Propositional calculus Philosophical logic Logic programming Abductive logic programming Semantics Knowledge representation and reasoning Object Programming language Logic Programming paradigms Grammar
403	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
404	227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
405	From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A short essay in honour of Andrzej Mostowski) In Andrzej Mostowski and Foundational Studies (Eds. A. Ehrenfeucht, V.W. Marek and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-23 08:49:19 Non-classical logic Philosophical logic Knowledge representation Logical consequence Robert Kowalski Abductive logic programming Mostowski Modal logic Event calculus Logic Mathematical logic Logic programming
406	Providing High-Quality Innovation and Technology Support Services – University Experience and Best Practices Professor Stanley Kowalski Overview: Add to Reading List Source URL: www.ipophil.gov.ph Language: English - Date: 2012-07-03 20:56:54 Association of University Technology Managers Knowledge National Institutes of Health T3 ~ Technion Technology Transfer Technology Technology transfer Knowledge transfer
407	Access to and Searching Non-Patent Literature: On-Line Scientific and Technical Journals Stanley Kowalski Franklin Pierce Center for Intellectual Property UNH School of Law Add to Reading List Source URL: www.ipophil.gov.ph Language: English - Date: 2012-07-03 20:54:50 Science Knowledge Bioinformatics Patent offices Medical research MEDLINE PubMed Patent Lens Entrez National Institutes of Health Bibliographic databases Biological databases
408	Patent Landscape Analyses of Vaccines, Diagnostics and Medicines: Policy and Practical Implications for Global Access Stanley Kowalski, J.D., Ph.D. Professor of Law Director, International Technology Transfer Institute ( Add to Reading List Source URL: www.ipophil.gov.ph Language: English - Date: 2012-07-03 20:57:01 Patent World Intellectual Property Organization Vaccine Intellectual property Biology Economics Business Monopoly Intellectual property law International trade
409	1 CURRICULUM VITAE Septem ber 2013 ROBERT AN THON Y KOWALSKI Distinguished Research Fellow Em eritus Professor of Com putational Logic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-08-27 06:03:13 Logic Philosophy of mathematics Keith Clark Academia Knowledge Science Abstraction Axiology
410	LOGIC PROGRAMMING Robert Kowalski 1 INTRODUCTION Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-12-18 05:34:05 Theoretical computer science Rules of inference Automated theorem proving Predicate logic Programming paradigms Resolution Horn clause Prolog Clause Logic programming Logic Mathematical logic