Business Profile
Formal Reasoning Group provides analysis and development of formal reasoning in artificial intelligence.
Academics, AI researchers, PhD students and collaborators in logic, knowledge representation, and context; participants in seminars/workshops related to AI reasoning.
Longstanding Stanford-affiliated group led by notable AI figures (e.g., John McCarthy) with a focus on formal reasoning, context formalization, and reasoning about actions, plus involvement in the HPKB project and multiple AI workshops.
Not specified
A Stanford-based research group focusing on the analysis and development of formal reasoning in artificial intelligence, including context, reasoning about actions, and nonmonotonic reasoning.
Academic institutions, AI research labs, and other researchers seeking advances in AI formal reasoning and knowledge representation
Leverages the legacy and ongoing work of John McCarthy to advance formal AI methods, with emphasis on context, situation calculus, and action reasoning, complemented by active participation in major AI events and initiatives.
Not specified
Not specified
Based on matching: problems solved, target roles, key features, industries
Y Combinator helps startups make something people want by providing early-stage funding, mentorship, and a strong network.
Dell provides technology solutions, services, and support, offering a wide range of products including laptops, desktops, servers, storage, monitors, gaming accessories, and more.
BuiltWith provides detailed web technology usage statistics and insights for businesses and developers.
SentientJobs provides a comprehensive job board for AI, human, and hybrid positions, helping individuals find career opportunities in the evolving workforce landscape.
Providing comprehensive technology solutions tailored to business needs.
goQR.me QR Code Generator provides free QR code creation for commercial and print usage, including logo-enabled codes and vector exports (EPS/SVG) for high-quality print.
Join 2,000+ professionals getting weekly sales intelligence updates from GoAgentic
We’ll map the qualification bar, buyer evidence, outreach, follow-up, booking, and guardrails GoAgentic would propose.
One mission. One approved plan. Every external action attributable.