sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

598
active users

#Logics

0 posts0 participants0 posts today
Vivekanandan KS :nixos:<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@thomasfuchs" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>thomasfuchs</span></a></span> <br>Honestly I learnt every <a href="https://mstdn.social/tags/tech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tech</span></a> skills of mine because of the <a href="https://mstdn.social/tags/passion" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>passion</span></a>. Sooner or later we get these <a href="https://mstdn.social/tags/short" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>short</span></a> <a href="https://mstdn.social/tags/term" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>term</span></a> and <a href="https://mstdn.social/tags/long" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>long</span></a> term <a href="https://mstdn.social/tags/purpose" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>purpose</span></a>. <br>But if someone's going for <a href="https://mstdn.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mstdn.social/tags/coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coding</span></a> for the sake of <a href="https://mstdn.social/tags/Job" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Job</span></a> / <a href="https://mstdn.social/tags/Career" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Career</span></a> might not <a href="https://mstdn.social/tags/sustain" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sustain</span></a> if things get hard. That's why I <a href="https://mstdn.social/tags/suggest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>suggest</span></a> people to <a href="https://mstdn.social/tags/learn" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>learn</span></a> <a href="https://mstdn.social/tags/organically" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>organically</span></a> developing their mind <a href="https://mstdn.social/tags/map" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>map</span></a> through <a href="https://mstdn.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a>.<br>I use AI for understanding the <a href="https://mstdn.social/tags/documentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>documentation</span></a> and <a href="https://mstdn.social/tags/debugging" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>debugging</span></a> purposes not for a entire <a href="https://mstdn.social/tags/mental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mental</span></a> <a href="https://mstdn.social/tags/model" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>model</span></a>. <br>I do it for <a href="https://mstdn.social/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>education</span></a> not <a href="https://mstdn.social/tags/production" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>production</span></a>.</p>
isws<p>The first ISWS 2025 Tutorial Session is on &quot;Reasoning in Large Knowledge Graphs&quot;. Valentina Presutti is announcing Aidan Hogan from University of Chile, Santiago de Chile, as first speaker. </p><p><a href="https://sigmoid.social/tags/isws2025" class="mention hashtag" rel="tag">#<span>isws2025</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="tag">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="tag">#<span>semweb</span></a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="tag">#<span>knowledgegraphs</span></a> <a href="https://sigmoid.social/tags/reasoning" class="mention hashtag" rel="tag">#<span>reasoning</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="tag">#<span>logics</span></a> <a href="https://sigmoid.social/tags/tutorial" class="mention hashtag" rel="tag">#<span>tutorial</span></a> <a href="https://sigmoid.social/tags/summerschool" class="mention hashtag" rel="tag">#<span>summerschool</span></a> <a href="https://sigmoid.social/tags/bertinoro" class="mention hashtag" rel="tag">#<span>bertinoro</span></a></p>
C. Knodel<p>I've been fumbling around with <a href="https://mastodon.de/tags/openprocessing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>openprocessing</span></a> <a href="https://mastodon.de/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a> and <a href="https://mastodon.de/tags/colours" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>colours</span></a> and made two sketches demonstrating something like logical combination of colours, applying logical operations to the r, g, b values of the colours to be "mixed". I know this is completely useless but it was a funny prgramming exercise... </p><p>You can see (and test) the results in the two sketches </p><p>Colour VenDetta:</p><p><a href="https://openprocessing.org/sketch/2634928" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">openprocessing.org/sketch/2634</span><span class="invisible">928</span></a></p><p>and Colour VennDango: </p><p><a href="https://openprocessing.org/sketch/2635918" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">openprocessing.org/sketch/2635</span><span class="invisible">918</span></a></p><p><a href="https://mastodon.de/tags/CreativeCoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CreativeCoding</span></a> <a href="https://mastodon.de/tags/mathart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathart</span></a> <a href="https://mastodon.de/tags/processing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>processing</span></a></p>
µP<p>It's done! I have just given print approval for "Medientechnisches Wissen Vol. 1", 2nd edition. The book, originally published on 2017, grew from 306 to 428 pages - mostly because of an additional chapter on <a href="https://mastodon.social/tags/archaeology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>archaeology</span></a>. </p><p><a href="https://www.degruyter.com/document/isbn/9783111036540/html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">degruyter.com/document/isbn/97</span><span class="invisible">83111036540/html</span></a></p><p><a href="https://mastodon.social/tags/MediaScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MediaScience</span></a> <a href="https://mastodon.social/tags/MediaArchaeology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MediaArchaeology</span></a> <a href="https://mastodon.social/tags/Logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logics</span></a> <a href="https://mastodon.social/tags/InformationTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>InformationTheory</span></a> <a href="https://mastodon.social/tags/Cybernetics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cybernetics</span></a></p>
Harald Sack<p>In his keynote Ian Horrocks starts with looking back into <a href="https://sigmoid.social/tags/SemanticWeb" class="mention hashtag" rel="tag">#<span>SemanticWeb</span></a> History...which was to be wxpected with a title like this: &quot;Semantic Technology 20 Years On: The Journey So Far&quot; ;-)</p><p><a href="https://sigmoid.social/tags/Semantics2024" class="mention hashtag" rel="tag">#<span>Semantics2024</span></a> <a href="https://sigmoid.social/tags/Semanticsconf" class="mention hashtag" rel="tag">#<span>Semanticsconf</span></a> <a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="tag">#<span>ai</span></a> <a href="https://sigmoid.social/tags/dl" class="mention hashtag" rel="tag">#<span>dl</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="tag">#<span>logics</span></a> <a href="https://sigmoid.social/tags/semantics" class="mention hashtag" rel="tag">#<span>semantics</span></a></p>
Harald Sack<p>A special occasion in our <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention">@<span>fizise</span></a></span> research seminar today: Sebastian Rudolph from TU Dresden was presenting on How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic</p><p>paper: <a href="https://arxiv.org/abs/2206.06793" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/2206.06793</span><span class="invisible"></span></a></p><p><a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="tag">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="tag">#<span>logics</span></a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="tag">#<span>knowledgerepresentation</span></a> <a href="https://sigmoid.social/tags/academiclife" class="mention hashtag" rel="tag">#<span>academiclife</span></a> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention">@<span>sourisnumerique</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@enorouzi" class="u-url mention">@<span>enorouzi</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sashabruns" class="u-url mention">@<span>sashabruns</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@tabea" class="u-url mention">@<span>tabea</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@GenAsefa" class="u-url mention">@<span>GenAsefa</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@MahsaVafaie" class="u-url mention">@<span>MahsaVafaie</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@shufan" class="u-url mention">@<span>shufan</span></a></span> <span class="h-card" translate="no"><a href="https://fosstodon.org/@heikef" class="u-url mention">@<span>heikef</span></a></span></p>
Harald Sack<p>In 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.</p><p>G. Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879.<br /><a href="https://gallica.bnf.fr/ark:/12148/bpt6k65658c" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">gallica.bnf.fr/ark:/12148/bpt6</span><span class="invisible">k65658c</span></a></p><p><a href="https://sigmoid.social/tags/HostoryOfAI" class="mention hashtag" rel="tag">#<span>HostoryOfAI</span></a> <a href="https://sigmoid.social/tags/ISE2024" class="mention hashtag" rel="tag">#<span>ISE2024</span></a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="tag">#<span>lecture</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="tag">#<span>logics</span></a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="tag">#<span>knowledgerepresentation</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@enorouzi" class="u-url mention">@<span>enorouzi</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention">@<span>sourisnumerique</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention">@<span>fizise</span></a></span> <a href="https://sigmoid.social/tags/AIart" class="mention hashtag" rel="tag">#<span>AIart</span></a></p>
Harald Sack<p>In Week 5 of our free <a href="https://sigmoid.social/tags/kg2023" class="mention hashtag" rel="tag">#<span>kg2023</span></a> lecture we put Ontological Engineering for smarter Knowledge Graphs in the focus. First thing we have to take a look &quot;Beyond the Limits of OWL&quot; to better understand what we can do and what we cannot do with the Semantic Web technology stack.<br /><a href="https://sigmoid.social/tags/OpenHPI" class="mention hashtag" rel="tag">#<span>OpenHPI</span></a> video: <a href="https://open.hpi.de/courses/knowledgegraphs2023/items/4t7hBxv1I2qkSgWlFN6sm6" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">open.hpi.de/courses/knowledgeg</span><span class="invisible">raphs2023/items/4t7hBxv1I2qkSgWlFN6sm6</span></a><br />youtube video: <a href="https://www.youtube.com/watch?v=8G5lCj4BxVw&amp;list=PLNXdQl4kBgzubTOfY5cbtxZCgg9UTe-uF&amp;index=48" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=8G5lCj4BxV</span><span class="invisible">w&amp;list=PLNXdQl4kBgzubTOfY5cbtxZCgg9UTe-uF&amp;index=48</span></a><br />slides: : <a href="https://zenodo.org/records/10135440" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">zenodo.org/records/10135440</span><span class="invisible"></span></a><br /><a href="https://sigmoid.social/tags/semantiweb" class="mention hashtag" rel="tag">#<span>semantiweb</span></a> <a href="https://sigmoid.social/tags/knowledgegraph" class="mention hashtag" rel="tag">#<span>knowledgegraph</span></a> <a href="https://sigmoid.social/tags/owl" class="mention hashtag" rel="tag">#<span>owl</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="tag">#<span>logics</span></a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="tag">#<span>lecture</span></a> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention">@<span>fizise</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@tabea" class="u-url mention">@<span>tabea</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sashabruns" class="u-url mention">@<span>sashabruns</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@MahsaVafaie" class="u-url mention">@<span>MahsaVafaie</span></a></span> <a href="https://sigmoid.social/tags/aiart" class="mention hashtag" rel="tag">#<span>aiart</span></a></p>
Harald Sack<p>“The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right.”<br />Quoting Leibniz for last week&#39;s <a href="https://sigmoid.social/tags/ise2023" class="mention hashtag" rel="tag">#<span>ise2023</span></a> lecture with a brief <a href="https://sigmoid.social/tags/HistoryofAI" class="mention hashtag" rel="tag">#<span>HistoryofAI</span></a> <br />Slides: <a href="https://drive.google.com/file/d/18_xPnJDM04I7pDihMMhoFIuDshfUKMk9/view?usp=sharing" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">drive.google.com/file/d/18_xPn</span><span class="invisible">JDM04I7pDihMMhoFIuDshfUKMk9/view?usp=sharing</span></a></p><p><a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="tag">#<span>ai</span></a> <a href="https://sigmoid.social/tags/artificialintelligence" class="mention hashtag" rel="tag">#<span>artificialintelligence</span></a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="tag">#<span>lecture</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention">@<span>fizise</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@KIT_Karlsruhe" class="u-url mention">@<span>KIT_Karlsruhe</span></a></span> @ebrahim <a href="https://sigmoid.social/tags/calculemus" class="mention hashtag" rel="tag">#<span>calculemus</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="tag">#<span>logics</span></a> <a href="https://sigmoid.social/tags/leibniz" class="mention hashtag" rel="tag">#<span>leibniz</span></a> <a href="https://sigmoid.social/tags/philosophy" class="mention hashtag" rel="tag">#<span>philosophy</span></a></p>