#KRR hashtag - Bluesky

Grafa Grafa is the world's most powerful AI market screener for shares, crypto and forex. Track the ASX200, Dow Jones, NYSE, Nasdaq, crypto, and company share prices. Research finance terms and uncover hot stocks

2 months ago

King River Resources ( #KRR ) has released " Trading Halt " on Fri 09 Jan at 14:36 AEST #trading #Australia #media #ASX #TradingHalt

0 0 0 0

Grafa Grafa is the world's most powerful AI market screener for shares, crypto and forex. Track the ASX200, Dow Jones, NYSE, Nasdaq, crypto, and company share prices. Research finance terms and uncover hot stocks

2 months ago

King River Resources ( #KRR ) has released " Pause in Trading " on Fri 09 Jan at 13:59 AEST #trading #ASX #SEC

0 0 0 0

Readings shared October 25, 2025 The readings shared in Bluesky on 25 October 2025 are: Gauss: towards autoformalization for the working mathematician. ~ Jared Duker Lichtman, Jesse Han. #AI #Math #Autoformalization #LLM #ITP #LeanP

5 months ago

Readings shared October 25, 2025. jaalonso.github.io/vestigium/po... #AI #Autoformalization #History #ITP #KRR #LLM #LeanProver #Logic #Math

0 0 0 0

5 months ago

Course "Artificial Intelligence": 9. Other knowledge representation formalisms: frames, conceptual dependency, semantic networks. ~ Deepak Kumar. cs.brynmawr.edu/Courses/cs37... #AI #KRR

0 0 0 0

5 months ago

Course "Artificial Intelligence": 8. Logic in Prolog. ~ Deepak Kumar. cs.brynmawr.edu/Courses/cs37... #AI #Logic #KRR

0 0 0 0

Allen Tien, MD, MHS mdlogix.com 94,698 田一彦

5 months ago

Course "Artificial Intelligence": 7. Representing knowledge using logic. ~ Deepak Kumar. cs.brynmawr.edu/Courses/cs37... #AI #Logic #KRR

0 0 0 0

@allentien.bsky.social

8 months ago

#FutureAI =

#ComputationalSemanticLogic #KnowledgeRepresentationReasoning #KRR
+
#LargeLanguageModels #LLM
+
#MachineLearning #ML optimization
+
#BioPsychoSocialTechnical #BPST community models

3 1 1 0

King River Resources share price King River Resources (ASX:KRR) is an asset listed on the ASX, and part of the Materials sector. Grafa’s asset page shows King River Resources’s share price, cha

8 months ago

King River Resources ( #KRR ) has released " Quarterly Activities/Appendix 5B Cash Flow Report " on Tue 22 Jul at 11:49 AEST #tax #government #Mining #Gold #Australia

0 0 0 0

King River Resources share price King River Resources (ASX:KRR) is an asset listed on the ASX, and part of the Materials sector. Grafa’s asset page shows King River Resources’s share price, cha

8 months ago

King River Resources ( #KRR ) has released " 2025 Exploration Update Tennant Creek " on Mon 14 Jul at 08:23 AEST #Mining #Gold #Australia #live #ltd

0 0 0 0

King River Resources share price King River Resources (ASX:KRR) is an asset listed on the ASX, and part of the Materials sector. Grafa’s asset page shows King River Resources’s share price, cha

11 months ago

King River Resources ( #KRR ) has released " Quarterly Activities/Appendix 5B Cash Flow Report " on Thu 10 Apr at 11:19 AEST #tax #government #Mining #Gold #Australia

1 0 0 0

Shiwali Mohan

@shiwali.bsky.social

1 year ago

An architecture showing how a planning agent can be extended with metareasoning.

At #AAAI2025? Looking for #AI #ML research beyond #GenAI hype & doom? Excited about #AI running on your laptop? Listen to my colleague Wiktor Piotrowski talk about #OpenWorldLearning #OWL at 9:30 am on Feb 28th (Journal Track).

arxiv.org/abs/2306.06272
#AIPlanning #MBR #CognitiveSystems #KRR

1 0 0 0

John Redins

@johnredins.bsky.social

1 year ago

La liste complète des candidats dans le Nord de l’Ontario Un total de 73 candidats se présentent pour obtenir un des 13 sièges du Nord de l'Ontario en vue des élections provinciales du 27 février.

La liste complete des candidats le Northern Ontario #onpoli #KRR ici.radio-canada.ca/nouvelle/214...

0 0 0 0

King River Resources share price King River Resources (ASX:KRR) is an asset listed on the ASX, and part of the Materials sector. Grafa’s asset page shows King River Resources’s share price, cha

1 year ago

King River Resources ( #KRR ) has released " TVN: TVN completes Speewah contractual arrangements with KRR " on Tue 18 Feb at 09:10 AEST #Mining #Australia #ltd #ASX #price

0 0 0 0