Mastodawn

https://lispy-gopher-show.itch.io/lispmoo2/devlog/1481398/homespun-acl2-handler-bind-condition-handling

#acl2 simple introduction to acl2 for the #commonLisp inclined.

loop$, apply$, thms oh my.

In particular, I implement a model of a simple case of the common lisp condition system that is directly compatible with both ansi common lisp and acl2. (a computational logic for applicative common lisp).

#firstOrderLogic #theoremProving #programming #logic #example

Technically this is in support of my lisp / moo compatibility layer but I am not going to beleaguer the tag.

Homespun acl2 handler-bind condition handling - lispmoo2 by screwtape

Even though LambdaMOO’s MOO language is not obsessed with first order logic, in my common lisp condition system mooing I am obsessed with first order logic. To that end I have here initially impleme...

itch.io

hollma Nov 30

@Labonitamascota ∃c:B(c)

#FirstOrderLogic 🥳

Pieter van Everdingen Nov 10, 2023

Finished week 4 of the course Knowledge Graphs – Foundations and Applications about formal and machine understandable representations of knowledge with Propositional Logic, First Order Logic, Description Logics, ALC, OWL and possible logical deductions from statements about graphs.

Video lecture: https://open.hpi.de/courses/knowledgegraphs2023/items/1wEImhMn0LlkY9XxeASC9R

#kg2023 #KnowledgeGraphs #SemanticWeb #LinkedData #PropositionalLogic #FirstOrderLogic #DescriptionLogics #AttributeLanguageWithComplement #WebOntologyLanguage #OWL #MrSpock