Science Central - All about Science

Thursday, 8 January, 2009

search

for
Directories
 
Category:  Science » Math » Logic and Foundations » Directories UPDATE URL | REPORT BROKEN LINK

Knowledge Representation

Popularity:    Hit: 303 | Visit: 5
Details
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.

Sponsored Links:


URL:
Title: KR/DB Conferences and Journal CFPs
Description:

Category:


Related sites
Mathematical Logic around the world (Popularity: ): A service provided by the Mathematical Logic Group in Bonn
Logic Programming (Popularity: ): Section of WWW Virtual Library.
Logic and Set Theory (Popularity: ): Groups and conferences.
Computability Theory (Popularity: ): Information on this site includes a Bibliographic Database for Computability Theory, a list of Open ...
Description Logics (Popularity: ): Maintained by Carsten Lutz.
Logic and Set Theory (Popularity: ): Category of Topics in Mathematics (MathArchives).
Logic Page (Popularity: ): Maintained by Christian Gottschall, Vienna philosophy department.
Logic Links (Popularity: ): Gustavus Philosophy Department.
ASL members (Popularity: ): List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
Formal Logic (Popularity: ): Directory of encyclopedia articles and related websites. [epistemelinks.com]

© 2005-2008 Science Central. All Rights Reserved