Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: dynamic-epistemic-logic

Pathemeous/Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem

Language: Haskell - Size: 6.2 MB - Last synced at: 16 days ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

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

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

Language: Java - Size: 1.34 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Related Keywords
dynamic-epistemic-logic 2 del 1 gossip 1 logic 1 model-checking 1 symbolic-model-checking 1 epistemic-logic 1 interpreter 1 knowledge-based-program 1 knowledge-based-reasoning 1 kripke-structure 1 logic-raisonning 1 modal-logic 1 multi-agents 1 symbolic-ai 1 university-of-caen 1