Science Central - All about Science

Tuesday, 24 November, 2009

search

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

KR, Inc.

Popularity:    Hit: 167 | Visit: 1
Details
Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conferences on Principles of Knowledge Representation and Reasoning, cooperating with workshops on related topics, and maintaining informational materials on the World Wide Web, and maintaining KR-related mailing lists.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
ALP (Popularity: ): Association for Logic Programming. Membership information, newsletter, journals, meetings.
IGPL (Popularity: ): Interest Group in Pure and Applied Logics: part of FoLLI.
ASL (Popularity: ): Association for Symbolic Logic.
FoLLI (Popularity: ): European Association for Logic, Language and Information. Meetings and publications.
DVMLG (Popularity: ): Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)
Kurt Gödel Society (Popularity: ): An international organization for the promotion of research in the areas of Logic, Philosophy, History ...
International Federation for Computational Logic (IFCoLog) (Popularity: ): A federation of societies and groups active in computational logic.
British Logic Colloquium (Popularity: ): Meetings, publications, reports and resources.
COMPULOG Americas (Popularity: ): American Logic Programming Organization.
CSHPM (Popularity: ): Canadian Society for History and Philosophy of Mathematics.

© 2005-2008 Science Central. All Rights Reserved