Veganism Social

screwlisp<a href="https://gamerplus.org/tags/leonardoCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#leonardoCalculus</a> <a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://gamerplus.org/tags/knowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgeRepresentation</a> <a href="https://gamerplus.org/tags/KR" class="mention hashtag" rel="nofollow noopener" target="_blank">#KR</a> <a href="https://gamerplus.org/tags/formal" class="mention hashtag" rel="nofollow noopener" target="_blank">#formal</a> <a href="https://gamerplus.org/tags/ontology" class="mention hashtag" rel="nofollow noopener" target="_blank">#ontology</a> <a href="https://gamerplus.org/tags/article" class="mention hashtag" rel="nofollow noopener" target="_blank">#article</a> Leonardo Calculus Knowledge Representation: Defining sensors sense and sense2 lispdef helper action entities<a href="https://screwlisp.small-web.org/lispgames/LCKR-defining-sensors-sense-using-cl-series/" rel="nofollow noopener" translate="no" target="_blank">https://screwlisp.small-web.org/lispgames/LCKR-defining-sensors-sense-using-cl-series/</a>Introduces and demos lispdef entities which in the upper ontology are entities containing lisp forms which can/do provide its concrete programming implementation.Tying these together is obviously great, none of this "just an ontology" and "just not an ontology" stuff.

screwlisp<a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://gamerplus.org/tags/formal" class="mention hashtag" rel="nofollow noopener" target="_blank">#formal</a> <a href="https://gamerplus.org/tags/ontology" class="mention hashtag" rel="nofollow noopener" target="_blank">#ontology</a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> <a href="https://gamerplus.org/tags/Sandewall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Sandewall</a> <a href="https://gamerplus.org/tags/knowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgeRepresentation</a> <a href="https://gamerplus.org/tags/article" class="mention hashtag" rel="nofollow noopener" target="_blank">#article</a> <a href="https://gamerplus.org/tags/leonardoCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#leonardoCalculus</a>Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributesAdding attributes to the organism type (plant, insect and bird are all subsumed-by organism). I also add a coelacanth of type organism to a world entityfile. In my view, quite a good and informational/instructional article if I do say so. What do you think?<a href="https://screwlisp.small-web.org/lispgames/LCKR-fleshing-out-organisms-attributes/" rel="nofollow noopener" translate="no" target="_blank">https://screwlisp.small-web.org/lispgames/LCKR-fleshing-out-organisms-attributes/</a>

screwlisp<a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://gamerplus.org/tags/knowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgeRepresentation</a> <a href="https://gamerplus.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> <a href="https://gamerplus.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener" target="_blank">#gamedev</a> <a href="https://gamerplus.org/tags/devlog" class="mention hashtag" rel="nofollow noopener" target="_blank">#devlog</a> <a href="https://gamerplus.org/tags/retrospective" class="mention hashtag" rel="nofollow noopener" target="_blank">#retrospective</a> sharpsignmy kitten is alive (ask the cat - Heinlein)<a href="https://screwlisp.small-web.org/lispgames/games-as-knowledge/" rel="nofollow noopener" translate="no" target="_blank">https://screwlisp.small-web.org/lispgames/games-as-knowledge/</a>this one has the least gremlins. Since my game was an hour of a dandelion-random-walk-through-a-field the retrospective is also literally the code I evaluated. I'm going to continue /here/ with a sort of separate retrospective retrospective retrospective.What I /exposed/ in my agent relevant to the game experience were: 1/?

vintage screwlisp accountInterview postponed / let's just talk about <a href="https://mastodon.sdf.org/tags/types" class="mention hashtag" rel="nofollow noopener" target="_blank">#types</a> and <a href="https://mastodon.sdf.org/tags/typing" class="mention hashtag" rel="nofollow noopener" target="_blank">#typing</a> today's show on <a href="https://mathstodon.xyz/@dougmerritt" class="u-url mention" rel="nofollow noopener" target="_blank">@dougmerritt</a> and <a href="https://ieji.de/@vnikolov" class="u-url mention" rel="nofollow noopener" target="_blank">@vnikolov</a> 's suggestion below.(I'll speak a little bit to <a href="https://mastodon.sdf.org/tags/Sandewall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Sandewall</a> 's <a href="https://mastodon.sdf.org/tags/SoftwareIndividuals" class="mention hashtag" rel="nofollow noopener" target="_blank">#SoftwareIndividuals</a> <a href="https://mastodon.sdf.org/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgerepresentation</a> If anyone knows anything about <a href="https://mastodon.sdf.org/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#typetheory</a>, that would be great. <a href="https://anggtwu.net/math-b.html" rel="nofollow noopener" target="_blank">https://anggtwu.net/math-b.html</a> <a href="https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed" rel="nofollow noopener" target="_blank">https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed</a> <a href="https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html" rel="nofollow noopener" target="_blank">https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html</a> type links welcomeand <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> <a href="https://ciberlandia.pt/@shizamura" class="u-url mention" rel="nofollow noopener" target="_blank">@shizamura</a> possibly you can explain types of OWL to us instead of sleeping?

Harald SackWhat does it mean "to know" something? Have you ever thought about it? We tried to make our students think about it in this week's first <a href="https://sigmoid.social/tags/ise2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#ise2025</a> lecture.<a href="https://sigmoid.social/tags/kit200" class="mention hashtag" rel="nofollow noopener" target="_blank">#kit200</a> <a href="https://sigmoid.social/tags/lecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#lecture</a> <a href="https://sigmoid.social/tags/knowledge" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledge</a> <a href="https://sigmoid.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#philosophy</a> <a href="https://sigmoid.social/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgerepresentation</a> <a href="https://sigmoid.social/tags/understanding" class="mention hashtag" rel="nofollow noopener" target="_blank">#understanding</a> <a href="https://sigmoid.social/tags/semweb" class="mention hashtag" rel="nofollow noopener" target="_blank">#semweb</a> <a href="https://sigmoid.social/tags/knowledgegraph" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgegraph</a> <a href="https://sigmoid.social/tags/nlp" class="mention hashtag" rel="nofollow noopener" target="_blank">#nlp</a> <a href="https://wisskomm.social/@fiz_karlsruhe" class="u-url mention" rel="nofollow noopener" target="_blank">@fiz_karlsruhe</a> <a href="https://fedihum.org/@tabea" class="u-url mention" rel="nofollow noopener" target="_blank">@tabea</a> <a href="https://sigmoid.social/@enorouzi" class="u-url mention" rel="nofollow noopener" target="_blank">@enorouzi</a> <a href="https://fedihum.org/@sourisnumerique" class="u-url mention" rel="nofollow noopener" target="_blank">@sourisnumerique</a>

Denny VrandečićI am honored to present at King's College. If you have questions, ideas or suggestions about the topic of Knowledge in the Age of AI, feel free to leave them here! I'll take a look as I refine the talk. I would be very happy to see you in London, if you're around, or for you to enjoy the stream or recording.<a href="https://mas.to/tags/wikipedia" class="mention hashtag" rel="nofollow noopener" target="_blank">#wikipedia</a> <a href="https://mas.to/tags/wikidata" class="mention hashtag" rel="nofollow noopener" target="_blank">#wikidata</a> <a href="https://mas.to/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a> <a href="https://mas.to/tags/knowledge" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledge</a> <a href="https://mas.to/tags/knowledgerepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#knowledgerepresentation</a> <a href="https://www.eventbrite.co.uk/e/knowledge-in-the-age-of-ai-tickets-1232817453189" rel="nofollow noopener" translate="no" target="_blank">https://www.eventbrite.co.uk/e/knowledge-in-the-age-of-ai-tickets-1232817453189</a>

CarK :python:re-<a href="https://social.tchncs.de/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a> as a scientist 👨‍🔬 Training: <a href="https://social.tchncs.de/tags/Mecatronics" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mecatronics</a> + <a href="https://social.tchncs.de/tags/ElectricalEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#ElectricalEngineering</a>Specialization: Nonlinear <a href="https://social.tchncs.de/tags/ControlTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#ControlTheory</a> <a href="https://social.tchncs.de/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#MachineLearning</a> and <a href="https://social.tchncs.de/tags/KnowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#KnowledgeRepresentation</a> Long term mission: The knowledge to solve any problem in the world might be hidden in scattered PDF files that are barely read. I want to contribute to the improvement of this unsatisfactory situation, especially in the (partly overlapping) domains of <a href="https://social.tchncs.de/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#engineering</a> and <a href="https://social.tchncs.de/tags/sustainability" class="mention hashtag" rel="nofollow noopener" target="_blank">#sustainability</a>Also: Teaching <a href="https://social.tchncs.de/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a> :python:1/2

Ulrich JunkerHi, let me give you a short <a href="https://fediscience.org/tags/introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#introduction</a> to my research interests. I am Ulrich or Uli ( for those who know me longer). I got interested in <a href="https://fediscience.org/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#ArtificialIntelligence</a> during my study of <a href="https://fediscience.org/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#ComputerScience</a> back to the 1980ies. At that time, researchers wanted to build <a href="https://fediscience.org/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> systems that use a world model to make decisions. This poses challenges for <a href="https://fediscience.org/tags/KnowledgeRepresentation" class="mention hashtag" rel="nofollow noopener" target="_blank">#KnowledgeRepresentation</a>, <a href="https://fediscience.org/tags/ConstraintSolving" class="mention hashtag" rel="nofollow noopener" target="_blank">#ConstraintSolving</a>, <a href="https://fediscience.org/tags/ExplanationGeneration" class="mention hashtag" rel="nofollow noopener" target="_blank">#ExplanationGeneration</a>, <a href="https://fediscience.org/tags/PreferenceModeling" class="mention hashtag" rel="nofollow noopener" target="_blank">#PreferenceModeling</a>, and <a href="https://fediscience.org/tags/DefeasibleReasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#DefeasibleReasoning</a>. They keep me inquiring and studying!

Recent searches

Search options

Administered by:

Server stats:

#knowledgerepresentation