MainComputersArtificial IntelligenceAcademic Departments › Stanford University - Formal Reasoning Group

Stanford University - Formal Reasoning Group

Edit Page
Report
Scan day: 02 February 2014 UTC
12
Virus safety - good
Description: Research on reasoning, including default and nonmonotonic reasoning.
The formal reasoning group focuses on the analysis and development of formal reasoning in artificial intelligence. In the Spring of 1997, there was established a In the Spring of 1998, Stanford is hosting the 7th Workshop on
Size: 224 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Formal Reasoning Group
Keywords:
Description:
IP-address:171.64.71.20

WHOIS Info

NS
Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758
WHOIS
Date
activated: 04-Oct-1985
last updated: 07-May-2009
expires: 31-Jul-2014