eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

211
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 "Reasoning in Large Knowledge Graphs". 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="nofollow noopener" target="_blank">#<span>isws2025</span></a> <a href="https://sigmoid.social/tags/semanticweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>semweb</span></a> <a href="https://sigmoid.social/tags/knowledgegraphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgegraphs</span></a> <a href="https://sigmoid.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a> <a href="https://sigmoid.social/tags/tutorial" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tutorial</span></a> <a href="https://sigmoid.social/tags/summerschool" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>summerschool</span></a> <a href="https://sigmoid.social/tags/bertinoro" class="mention hashtag" rel="nofollow noopener" target="_blank">#<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>
Harald Sack<p>In his keynote Ian Horrocks starts with looking back into <a href="https://sigmoid.social/tags/SemanticWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SemanticWeb</span></a> History...which was to be wxpected with a title like this: "Semantic Technology 20 Years On: The Journey So Far" ;-)</p><p><a href="https://sigmoid.social/tags/Semantics2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Semantics2024</span></a> <a href="https://sigmoid.social/tags/Semanticsconf" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Semanticsconf</span></a> <a href="https://sigmoid.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://sigmoid.social/tags/dl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dl</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a> <a href="https://sigmoid.social/tags/semantics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<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" rel="nofollow noopener" target="_blank">@<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" rel="nofollow noopener" translate="no" target="_blank"><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="nofollow noopener" target="_blank">#<span>semanticweb</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgerepresentation</span></a> <a href="https://sigmoid.social/tags/academiclife" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>academiclife</span></a> <span class="h-card" translate="no"><a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fiz_karlsruhe</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" 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" target="_blank">@<span>enorouzi</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sashabruns" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sashabruns</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@tabea" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>tabea</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@GenAsefa" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>GenAsefa</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@MahsaVafaie" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>MahsaVafaie</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@shufan" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>shufan</span></a></span> <span class="h-card" translate="no"><a href="https://fosstodon.org/@heikef" class="u-url mention" rel="nofollow noopener" target="_blank">@<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" rel="nofollow noopener" translate="no" target="_blank"><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="nofollow noopener" target="_blank">#<span>HostoryOfAI</span></a> <a href="https://sigmoid.social/tags/ISE2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ISE2024</span></a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lecture</span></a> <a href="https://sigmoid.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>knowledgerepresentation</span></a> <span class="h-card" translate="no"><a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>enorouzi</span></a></span> <span class="h-card" translate="no"><a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sourisnumerique</span></a></span> <span class="h-card" translate="no"><a href="https://sigmoid.social/@fizise" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fizise</span></a></span> <a href="https://sigmoid.social/tags/AIart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIart</span></a></p>
𝗠𝗔𝘀𝘁𝗼𝗠𝗘𝗺𝗲𝗠𝗔𝗸𝗲𝗿𝘀<p>how i imagine <a href="https://det.social/tags/einstein" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>einstein</span></a> and <a href="https://det.social/tags/goedel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>goedel</span></a> meetings must have been...</p><p><a href="https://det.social/tags/alberteinstein" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>alberteinstein</span></a> <a href="https://det.social/tags/kurtgoedel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kurtgoedel</span></a> <a href="https://det.social/tags/g%C3%B6del" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gödel</span></a> <a href="https://det.social/tags/godel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>godel</span></a> <a href="https://det.social/tags/physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>physics</span></a> <a href="https://det.social/tags/logics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logics</span></a> <a href="https://det.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://det.social/tags/meme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>meme</span></a> <a href="https://det.social/tags/mamema" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mamema</span></a> <a href="https://det.social/tags/memes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>memes</span></a> <a href="https://det.social/tags/muppets" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>muppets</span></a> <a href="https://det.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a></p>