Harald Sack<p>Open PhD/Junior Researcher Position in Neurosymbolic AI and Information Extraction on historical documents at FIZ Karlsruhe - Knowledge-driven AI research group (former ISE research group), starting at Jan 1, 2026. <br>Application Deadline: Oct 31, 2025<br><a href="https://www.fiz-karlsruhe.de/en/stellenanzeigen/phdjunior-researcher-wmx-0" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">fiz-karlsruhe.de/en/stellenanz</span><span class="invisible">eigen/phdjunior-researcher-wmx-0</span></a></p><p><a href="https://sigmoid.social/tags/jobadvertisement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jobadvertisement</span></a> <a href="https://sigmoid.social/tags/phd" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>phd</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a> <a href="https://sigmoid.social/tags/informationextraction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>informationextraction</span></a> <a href="https://sigmoid.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a> <a href="https://sigmoid.social/tags/knmowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knmowledgegraphs</span></a> <a href="https://sigmoid.social/tags/ontologies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ontologies</span></a> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fizise</span></a></span> <a href="https://sigmoid.social/tags/dh" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dh</span></a> <a href="https://sigmoid.social/tags/culturalheritage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>culturalheritage</span></a> <span class="h-card" translate="no"><a href="https://nfdi.social/@nfdi4culture" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>nfdi4culture</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@MahsaVafaie" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>MahsaVafaie</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@tabea" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>tabea</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>sourisnumerique</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>enorouzi</span></a></span></p>
Recent searches
No recent searches
Search options
Not available on mastodon.xyz.
mastodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance, open to everyone, but mainly English and French speaking.
Administered by:
Server stats:
714active users
mastodon.xyz: About · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.4
#NeuroSymbolicAI
0 posts · 0 participants · 0 posts today
Miguel Afonso Caetano<p>"Finally, the current paradigm takes a kind of one-size-fits-all approach by relying on a single cognitive mechanism — the large language model — to solve everything. But we know the human mind uses many different tools for many different kinds of problems. For example, the renowned psychologist Daniel Kahneman suggested humans utilize one system of thought — which is quick, reflexive and automatic and driven largely by the statistics of experience but is superficial and prone to blunders — along with a second system that is driven more by abstract reasoning and deliberative thinking but is slow and laborious. Large language models, which are a bit like the first system, try to do everything with a single statistical approach but wind up unreliable as a result.</p><p>We need a new approach, closer to what Mr. Kahneman described. This may come in the form of neurosymbolic A.I., which bridges statistically driven neural networks (from which large language models are drawn) and some older ideas from symbolic A.I. Symbolic A.I. is more abstract and deliberative by nature; it processes information by taking cues from logic, algebra and computer programming. I have long advocated a marriage of these two traditions. Increasingly, we are seeing companies like Amazon and Google DeepMind take such a hybrid approach. (Even OpenAI appears to be doing some of this, quietly.) By the end of the decade, neurosymbolic A.I. may well eclipse pure scaling.</p><p>Large language models have had their uses, especially for coding, writing and brainstorming, in which humans are still directly involved. But no matter how large we have made them, they have never been worthy of our trust. To build A.I. that we can genuinely trust and to have a shot at A.G.I., we must move on from the trappings of scaling. We need new ideas. A return to the cognitive sciences might well be the next logical stage in the journey."</p><p><a href="https://www.nytimes.com/2025/09/03/opinion/ai-gpt5-rethinking.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">nytimes.com/2025/09/03/opinion</span><span class="invisible">/ai-gpt5-rethinking.html</span></a></p><p><a href="https://tldr.nettime.org/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://tldr.nettime.org/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenerativeAI</span></a> <a href="https://tldr.nettime.org/tags/AGI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AGI</span></a> <a href="https://tldr.nettime.org/tags/OpenAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenAI</span></a> <a href="https://tldr.nettime.org/tags/AIBubble" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIBubble</span></a> <a href="https://tldr.nettime.org/tags/AIHype" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIHype</span></a> <a href="https://tldr.nettime.org/tags/NeurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeurosymbolicAI</span></a></p>
Miguel Afonso Caetano<p>Gary Marcus is onto something in here. Maybe true AGI is not so impossible to reach after all. Just probably not in the near future but likely within 20 years. </p><p>"For all the efforts that OpenAI and other leaders of deep learning, such as Geoffrey Hinton and Yann LeCun, have put into running neurosymbolic AI, and me personally, down over the last decade, the cutting edge is finally, if quietly and without public acknowledgement, tilting towards neurosymbolic AI.</p><p>This essay explains what neurosymbolic AI is, why you should believe it, how deep learning advocates long fought against it, and how in 2025, OpenAI and xAI have accidentally vindicated it.</p><p>And it is about why, in 2025, neurosymbolic AI has emerged as the team to beat.</p><p>It is also an essay about sociology.</p><p>The essential premise of neurosymbolic AI is this: the two most common approaches to AI, neural networks and classical symbolic AI, have complementary strengths and weaknesses. Neural networks are good at learning but weak at generalization; symbolic systems are good at generalization, but not at learning."</p><p><a href="https://garymarcus.substack.com/p/how-o3-and-grok-4-accidentally-vindicated" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">garymarcus.substack.com/p/how-</span><span class="invisible">o3-and-grok-4-accidentally-vindicated</span></a></p><p><a href="https://tldr.nettime.org/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://tldr.nettime.org/tags/NeuralNetworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuralNetworks</span></a> <a href="https://tldr.nettime.org/tags/DeepLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DeepLearning</span></a> <a href="https://tldr.nettime.org/tags/SymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SymbolicAI</span></a> <a href="https://tldr.nettime.org/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a> <a href="https://tldr.nettime.org/tags/AGI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AGI</span></a></p>
Harald Sack<p>Good Morning ESWC2025! The last conference day is about to start. Looking forward to an interesting keynote, more presentations and interesting discussions! Most interesting to see for me this year was the presence of neurosymbolic topics almost everywhere in our community.</p><p><a href="https://sigmoid.social/tags/eswc2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eswc2025</span></a> <a href="https://sigmoid.social/tags/portoroz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>portoroz</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/KnowledgeGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KnowledgeGraphs</span></a> <a href="https://sigmoid.social/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a> <a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ai</span></a></p>
Harald Sack<p>ESWC 2025 has just started with the presentation of the submission numbers to the individual tracks:<br>research track: 98 papers<br>resource track: 36 papers<br>in-use track: 22 papers</p><p>Looking forward to great presentations and discussions!</p><p><a href="https://sigmoid.social/tags/eswc2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eswc2025</span></a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semweb</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraphs</span></a> <a href="https://sigmoid.social/tags/responsibleAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>responsibleAI</span></a> <a href="https://sigmoid.social/tags/reliableAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reliableAI</span></a> <a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/llms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llms</span></a> <a href="https://sigmoid.social/tags/conference" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>conference</span></a> <a href="https://sigmoid.social/tags/slovenia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>slovenia</span></a> <a href="https://sigmoid.social/tags/portoroz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>portoroz</span></a></p>
Harald Sack<p>Conference colateral benefit: catching up with Good old Friends & colleagues, talking research, and having a decent Espresso 😜</p><p><a href="https://sigmoid.social/tags/eswc2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eswc2025</span></a> <a href="https://sigmoid.social/tags/slovenia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>slovenia</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semweb</span></a> <a href="https://sigmoid.social/tags/KnowledgeGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KnowledgeGraphs</span></a> <a href="https://sigmoid.social/tags/academiclife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academiclife</span></a> <span class="h-card" translate="no"><a href="https://wien.rocks/@AxelPolleres" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>AxelPolleres</span></a></span> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fizise</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@eswc_conf" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>eswc_conf</span></a></span></p>
Harald Sack<p>Good Morning ESWC 2025! If you want to join me for a morning run during the conference week, don’t hesitate to address me when you see me around 🏃</p><p><a href="https://sigmoid.social/tags/eswc2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eswc2025</span></a> <a href="https://sigmoid.social/tags/academiclife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academiclife</span></a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semweb</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/KnowledgeGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KnowledgeGraphs</span></a> <a href="https://sigmoid.social/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a> <a href="https://sigmoid.social/tags/running" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>running</span></a></p>
isws<p>Our 3rd keynoter will be Enrico Motta from the Knowledge Media Institute of UK’s Open University. He pioneered with hybrid computational architectures integrating <a href="https://sigmoid.social/tags/ML" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ML</span></a> with knowledge representation, being applied in application domains as e.g. news & scholarly analytics, and cognitive robotics. </p><p>Apply here: <a href="https://2025.semanticwebschool.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">2025.semanticwebschool.org/</span><span class="invisible"></span></a><br>Deadline: March 15, 2025</p><p><a href="https://sigmoid.social/tags/knowledgegraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraph</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/llm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llm</span></a> <a href="https://sigmoid.social/tags/generativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeAI</span></a> <a href="https://sigmoid.social/tags/responsibleAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>responsibleAI</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@lysander07" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>lysander07</span></a></span> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fiz_karlsruhe</span></a></span> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/lod" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lod</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/neurosymbolicai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicai</span></a> <a href="https://sigmoid.social/tags/robotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>robotics</span></a></p>
Jaleed Khan<p>Our paper "KnowZRel: <a href="https://mastodon.social/tags/CommonSense" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonSense</span></a> Knowledge-based Zero-Shot Relationship Retrieval for Generalised Scene Graph Generation" is now published in IEEE Transactions on <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a>! 📜🤖🎯🎉<br><a href="https://ieeexplore.ieee.org/document/10897903" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ieeexplore.ieee.org/document/1</span><span class="invisible">0897903</span></a><br><span class="h-card" translate="no"><a href="https://mastodon.social/@johnbreslin" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>johnbreslin</span></a></span><br><a href="https://mastodon.social/tags/artificialintelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>artificialintelligence</span></a> <a href="https://mastodon.social/tags/sceneunderstanding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sceneunderstanding</span></a> <a href="https://mastodon.social/tags/visualreasoning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>visualreasoning</span></a> <a href="https://mastodon.social/tags/computervision" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computervision</span></a> <a href="https://mastodon.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraphs</span></a> <a href="https://mastodon.social/tags/deeplearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>deeplearning</span></a> <a href="https://mastodon.social/tags/NeurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeurosymbolicAI</span></a></p>
Harald Sack<p>TGDK is launching a Special Issue for Use-Case articles. They are interested in submissions describing use-cases (applications, events, products, services, etc.) that put research on Graph Data & Knowledge into practice. If you work on such initiatives, consider telling the community about them by submitting to the Special Issue! <br>Deadline is March 31, 2025.</p><p><a href="https://drops.dagstuhl.de/entities/journal/TGDK#cfp-si-use-case-articles" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">drops.dagstuhl.de/entities/jou</span><span class="invisible">rnal/TGDK#cfp-si-use-case-articles</span></a></p><p><span class="h-card" translate="no"><a href="https://mastodon.social/@tgdkjournal" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>tgdkjournal</span></a></span> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraphs</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/ontologies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ontologies</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a></p>
José A. Alonso<p>Readings shared January 24, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/01/24-readings_shared_01-24-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/01/24-readings_shared_01-24-25</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GenerativeAI</span></a> <a href="https://mathstodon.xyz/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a></p>
José A. Alonso<p>Formally verified neurosymbolic trajectory learning via tensor-based linear temporal logic on finite traces. ~ Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot. <a href="https://arxiv.org/abs/2501.13712" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2501.13712</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a></p>
Harald Sack<p>Proceedings for the Workshop on Generative AI and Knowledge Graph (GenAIK) 2025 co-located with <a href="https://sigmoid.social/tags/coling2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coling2025</span></a> are available via the COLING website:</p><p><a href="https://coling-2025-proceedings.s3.us-east-1.amazonaws.com/workshops/GenAIK/program.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">coling-2025-proceedings.s3.us-</span><span class="invisible">east-1.amazonaws.com/workshops/GenAIK/program.html</span></a></p><p><a href="https://sigmoid.social/tags/generativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeAI</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraphs</span></a> <a href="https://sigmoid.social/tags/llms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llms</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fizise</span></a></span> <span class="h-card" translate="no"><a href="https://mas.to/@albertmeronyo" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>albertmeronyo</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@GenAsefa" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>GenAsefa</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@GenAIK" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>GenAIK</span></a></span></p>
José A. Alonso<p>Readings shared January 10, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/01/10-readings_shared_01-10-25</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a></p>
José A. Alonso<p>Neuro-Symbolic AI in 2024: A systematic review. ~ Brandon C. Colelough, William Regli. <a href="https://arxiv.org/abs/2501.05435" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2501.05435</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuroSymbolicAI</span></a></p>
Harald Sack<p>Check out the 2025 edition of the NeSy conference: <br>19th International conference on NeuroSymbolic Learning and Reasoning NeSy2025<br><a href="https://2025.nesyconf.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">2025.nesyconf.org/</span><span class="invisible"></span></a></p><p>Programme, slides & recordings of NeSy2024: <a href="https://sites.google.com/view/nesy2024/nesy-2024-schedule?authuser=0" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">sites.google.com/view/nesy2024</span><span class="invisible">/nesy-2024-schedule?authuser=0</span></a><br>NeSy2024 proceedings: <a href="https://link.springer.com/book/10.1007/978-3-031-71167-1" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">link.springer.com/book/10.1007</span><span class="invisible">/978-3-031-71167-1</span></a></p><p>via <span class="h-card" translate="no"><a href="https://mastodon.social/@ejimenez_ruiz" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>ejimenez_ruiz</span></a></span> <a href="https://bsky.app/profile/ejimenez-ruiz.bsky.social/post/3lbn6vhhc7s25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">bsky.app/profile/ejimenez-ruiz</span><span class="invisible">.bsky.social/post/3lbn6vhhc7s25</span></a></p><p><a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/llms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llms</span></a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraphs</span></a> <span class="h-card" translate="no"><a href="https://mstdn.social/@pascalhitzler" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>pascalhitzler</span></a></span> <a href="https://sigmoid.social/tags/NeSy2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeSy2025</span></a> <a href="https://sigmoid.social/tags/NeSy2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeSy2024</span></a></p>
vp<p><a href="https://fosstodon.org/tags/Neurosymbolic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Neurosymbolic</span></a> AI combines neural networks with symbolic reasoning to bring true logic & reasoning to LLMs. By integrating solvers, graphs of rules, & PKGs, we enhance AI beyond just pattern matching. The future is reasoning-driven AI! <a href="https://fosstodon.org/tags/NeurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeurosymbolicAI</span></a> <a href="https://fosstodon.org/tags/LLM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLM</span></a> <a href="https://fosstodon.org/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://fosstodon.org/tags/KnowledgeGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KnowledgeGraphs</span></a> <a href="https://fosstodon.org/tags/SymbolicReasoning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SymbolicReasoning</span></a><br><a href="https://www.youtube.com/watch?v=473QKajx3QI" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=473QKajx3Q</span><span class="invisible">I</span></a></p>
Harald Sack<p>In her keynote at <a href="https://sigmoid.social/tags/Semantics2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semantics2024</span></a>, Maria-Esther Vidal is reflecting on the trends in <a href="https://sigmoid.social/tags/SemanticWeb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SemanticWeb</span></a> research over the years pointing out that the rapid growth of Hybrid AI is reflecting the demand for improved AI explainalibilty.</p><p>related paper: Breit et al., Combining Machine Learning and Semantic Web: A Systematic Mapping Study, ACM Comp. Surv., 55, 2023<br><a href="https://dl.acm.org/doi/10.1145/3586163" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">dl.acm.org/doi/10.1145/3586163</span><span class="invisible"></span></a></p><p><a href="https://sigmoid.social/tags/Semanticsconf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semanticsconf</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/HybridAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HybridAI</span></a> <a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraphs</span></a></p>
Harald Sack<p>Knowledge Graphs are here to stay! According to the latest Gardner hype cycle, <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledgegraphs</span></a> have entered the "slope of enlightenment". Moreover, Neurosymbolic AI as fusion of symbolic Ai, e.g. knowledge graphs and neural networks, e.g. LLMs, is on the rise!</p><p>via Svetlana Sicular, Research VP, AI at Gartner @linkedIn <br><a href="https://www.linkedin.com/feed/update/urn:li:activity:7208519032365305857/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">linkedin.com/feed/update/urn:l</span><span class="invisible">i:activity:7208519032365305857/</span></a></p><p><a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a> <a href="https://sigmoid.social/tags/llms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llms</span></a> <a href="https://sigmoid.social/tags/gartner" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gartner</span></a> <a href="https://sigmoid.social/tags/hypecycle2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hypecycle2024</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/generativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeAI</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fizise</span></a></span></p>
Harald Sack<p>Frank van Harmelen is presenting his keynote "Neuro-symbolic ≠ Neuro-semantic" claiming that none of the commonly used embeddings are capturing any semantics. "It's just wishful mnemonics." Obviously, we are doing something wrong in neuro-symbolic AI... ;-) "Semantics is predictable inference."<br><a href="https://sigmoid.social/tags/GeNeSy2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GeNeSy2024</span></a> workshop at <a href="https://sigmoid.social/tags/eswc2024" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eswc2024</span></a> </p><p>GeNeSy 2024 website: <a href="https://sites.google.com/view/genesy2024/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">sites.google.com/view/genesy20</span><span class="invisible">24/</span></a><br>Slides (from a similar talk): <a href="https://de.slideshare.net/slideshow/the-k-in-neurosymbolic-stands-for-knowledge/258584872" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">de.slideshare.net/slideshow/th</span><span class="invisible">e-k-in-neurosymbolic-stands-for-knowledge/258584872</span></a></p><p><a href="https://sigmoid.social/tags/neurosymbolicAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neurosymbolicAI</span></a> <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semantics</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@eswc_conf" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>eswc_conf</span></a></span></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
LoginDrag & drop to upload