#

epistemic-logic

Here are 19 public repositories matching this topic...

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

haskell logic symbolic model-checking epistemic-logic

Updated Oct 14, 2024
Haskell

sileod / llm-theory-of-mind

Testing Theory of Mind (ToM) in language models with epistemic logic

Updated Dec 13, 2023
Python

hintikkasworld / hintikkasworld

Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

logic artificial-intelligence agents modal-logic epistemic-logic logic-game dynamic-logics ijcai-18

Updated Oct 11, 2023
TeX

sysulic / MEPK

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

planner epistemic-logic

Updated Sep 10, 2021
C++

vezwork / modallogic

Epistemic Logic Playground

playground interactive logic epistemology epistemic-logic

Updated Nov 25, 2022
JavaScript

vittau / kripfy

A Kripke structure modelling framework

logic modal-logic epistemic-logic kripke-structure

Updated Jan 7, 2023
TypeScript

m4lvin / mchlpe

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

haskell puzzle model-checking epistemic-logic agent-types

Updated Oct 9, 2023
Haskell

Guigui14460 / multi-agents-knowledge-based-programs-interpreter

Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem

interpreter modal-logic epistemic-logic kripke-structure multi-agents symbolic-ai knowledge-based-reasoning university-of-caen logic-raisonning knowledge-based-program dynamic-epistemic-logic

Updated Apr 9, 2022
Java

deepshig / mastermind

Master mind Board Game implemented in Python

game artificial-intelligence knowledgebase guesses multiagent-systems knowledge-base players mastermind knowledge-management modal-logic multi-agent-systems knowledge-based-systems epistemic-logic multi-agent-system pytests multi-agent-simulation common-knowledge mlsolver

Updated Sep 26, 2020
Python

sysulic / EPK

A complete epistemic planner without the epistemic closed world assumption

planner epistemic-logic

Updated May 25, 2023
C++

paulsilm / PDDLtoDEL

Repository for my Bachelor's thesis of converting PDDL descriptions to DEL.

haskell translation pddl epistemic-logic planning-algorithms

Updated Sep 19, 2021
Haskell

Wehzie / 2021-lamas

2021 Project for Logical Aspects of Multi-Agent Systems

game game-development logic multi-agent-systems epistemic-logic gofish

Updated Jun 28, 2021

m4lvin / GoMoChe

🗣️📞 Gossip Model Checking

distributed-systems haskell protocol model-checking gossip epistemic-logic

Updated Feb 1, 2024
Haskell

mastermindML / mastermind

MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE

learning intelligence autonomous mastermind general augmentation epistemology epistemic-logic agile-development nonmonotonic aglm

Updated Aug 30, 2024
Python

Twelvelines / MCCAL

Model Checker with Coalition Announcement Logic

java antlr model-checking modal-logic multi-agent-systems epistemic-logic coalition-announcement-logic

Updated Oct 12, 2019
Java

lsickert / epistemic-cluedo

The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022

game epistemic-logic cluedo

Updated Apr 12, 2023
Python

RamonMeffert / epistemic-group-gossip

A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.

haskell gossip epistemic-logic

Updated Jun 27, 2021
Haskell

purbancz / PhD

Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.

language semantics logic philosophy set-theory paradox negation theology negative liar epistemic-logic intuitionistic-logic order-theory mereology analytic-philosophy

Updated Oct 8, 2023
TeX

Isabelle778 / LogicPhilosophyWorkspace

Um estudo sobre Filosofia da Lógica; Overview do método de Newton da Costa, Gödel, Morgan, Dummett, Frege, Leibniz, Peirce, Orman Quine, Ludwig Wittgenstein

temporal-logic propositional-logic kripke fuzzy-logic modal-logic epistemic-logic deontic-logic epistemic paraconsistent doxastic

Updated Apr 18, 2023

Improve this page

Add a description, image, and links to the epistemic-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the epistemic-logic topic, visit your repo's landing page and select "manage topics."