|
|
 |
Don't forget to come back to this page and click the check mark ( ) to vote for a site!
| Science & Tech /Computer Science /Logic Programming /Set Theory |
Programming with {SETS}
forum of discussion dedicated to computational uses of set theoretic concepts.
(http://www.cs.nmsu.edu/~complog/sets)
Research Areas
List of Research Groups in Logic and Theoretical Computer Science World-wide Here: Type Theory, Logical Frameworks TYPES working group on types for proofs and programs
(http://www.mat.uu.se/logik/logic-server/researchareas.html)
A WAM-based Implementation of a Logic Language with Sets
Set theory represents a universally accepted mean for representing various forms of knowledge, both in formal and commonsense reasoning. Nevertheless their use as a programming tool ...
(http://www.cs.nmsu.edu/lldap/pub_lp/setwam.html)
cs20 home page
An introduction to the fundamental concepts of computer science Course Description This course will focus on the fundamental underpinnings of computer science.
(http://www.cs.caltech.edu/~cs20/main.html)
Kostis J Dryllerakis' Home Page
Imperial College, Department of Computing, 180 Queen's Gate, London SW7 2BZ, U.K. Research Associate Domain Logic Programming and the language Euclid
(http://www-lp.doc.ic.ac.uk/~kd/index.html)
Brian Howard's Home Page
227 McKinney Center for Science and Mathematics Box 81 Bridgewater College Bridgewater, Virginia 22812 (540) 828-5623 Fax: (540) 828-5479 205 Weeping Willow Lane, Apt.
(http://www.cis.ksu.edu/~bhoward/home.html)
Inference Rules
The formal concept of an inference rule is extremely simple and yet, I believe, of profound significance. It provides simple presentations of a variety of important algorithms.
(http://www.ai.mit.edu/people/dam/rules.html)
Home Page of Kenneth Kunen
Professor of Computer Sciences and Mathematics Computer Sciences Department University of Wisconsin 1210 W. Dayton St. Ph.D., Stanford University, 1968 Interests: Mathematical logic, automated deduction, logic programming
(http://www.cs.wisc.edu/~pubs/faculty-info/kunen.html)
YAMADA-Study
Basically, mathematical and logial studies are now underway in this laboratory on various problems in information sciences in their broader sense, that is, including artificial intelligence.
(http://syyk11.is.noda.sut.ac.jp/study/study-e.html)
Dissertations
Adviser: H. CORLEY Supervisor: Title: SOME PROBLEMS IN FUZZY DECISION-MAKING (FUZZY LOGIC CONTROL, LINGUISTIC VARIABLES) Degree: DEGREE: PH.D. Abstract : In this dissertation, fuzzy set theory is applied to multiple attribute decision-making and goal prog
(http://www.uta.edu/ie/chu.htm)
ECML 1993
Pavel B. Brazdil (Ed.): Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings. Lecture Notes in Computer Science, Vol. 667, Springer, 1993, ISBN ...
(http://www.informatik.uni-trier.de/~ley/db/conf/ecml/ecml93.html)
%% ===================================== . . . ====== %% V @article{Val76, author = ...
No Description available
(http://www.math.wisc.edu/~quesada/refs/V.bib)
ECML 1993
Pavel B. Brazdil (Ed.): Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings. Lecture Notes in Computer Science, Vol. 667, Springer, 1993, ...
(http://sunsite.informatik.rwth-aachen.de/dblp/db/conf/ecml/ecml93.html)
Journal of Logic and Computation, Volume 2
: Editorial. 1-4 Valentin Goranko, Solomon Passy: Using the Universal Modality: Gains and Questions. 5-30 Mario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the ...
(ftp.informatik.rwth-aachen.de/dblp/db/journals/logcom/logcom2.html)
README with abstracts
[ radyr.cl.cam.ac.uk:/public/papers/reports/README.full ] Available abstracts for the Reports Name: TR035-lcp-rewriting.dvi.gz Title: A higher-order implementation of rewriting (revised version of "Rewriting in ...
(http://www.cl.cam.ac.uk/ftp/papers/reports/abstract.html)
Courses, colloquia, and conferences
Courses, colloquia, and conferences
(http://www.cs.cmu.edu/afs/cs/project/pal/www/brochure/node3.html)
Ken Kunen's Home Page
Professor Math and Computer Sciences University of Wisconsin 1210 W. Dayton St. Madison, WI 53706-1685 E-mail: kunen@cs.wisc.edu Telephone: (608) 263-2874 Ph.D., Stanford University, 1968 Interests : automated ...
(http://www.cs.wisc.edu/~kunen/kunen.html)
Omodeo, resumé
No Description available
(http://univaq.it/~omodeo/resume.html)
No Title
No Description available
(http://www.dimi.uniud.it/~dovier/abstract_tesi.html)
OUP USA: General Catalog
No Description available
(http://mnemosyne.oup-usa.org/catalogs/gencat/index/Mathematics.html)
Michael Winikoff's Publications
No Description available
(http://luke.wvhtf.org/~winikoff/pubs.html)
No Title
No Description available
(http://www.dimi.uniud.it/~dovier/riviste.html)
No Title
No Description available
(http://www.dimi.uniud.it/~dovier/ref)
OUP USA: Series, Imprints and Distributed Lines
No Description available
(http://www.oup-usa.org/catalogs/gencat/series/Oxford_Logic_Guides.html)
Jan Chomicki's teaching interests
No Description available
(http://www.cis.ksu.edu/~chomicki/teaching.html)
More in sites in this topic
 |
 Information about this site |
Vote for this site |
 Site not available |
|  |
|
| |
|
