Topic: modal-logic Goto Github
Some thing interesting about modal-logic
Some thing interesting about modal-logic
modal-logic,Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
Organization: aclai-lab
modal-logic,Computational logic in Julia!
Organization: aclai-lab
Home Page: https://aclai-lab.github.io/SoleLogics.jl/
modal-logic,A neural network model builder, leveraging a neuro-symbolic interface.
User: ais-climber
modal-logic,Modal Logic Library in Coq
User: arielsilveira
Home Page: http://sistemabu.udesc.br/pergamumweb/vinculos/000082/0000820a.pdf
modal-logic,Una raccolta di risorse per l'insegnamento di Metodi logici per la filosofia (85001) del Corso di Laurea in Filosofia.
Organization: csunibo
Home Page: https://risorse.students.cs.unibo.it/metodi-logici-per-la-filosofia
modal-logic,Simple implementation of mu-calculus model checking
User: cxlvinchau
modal-logic,Master mind Board Game implemented in Python
User: deepshig
modal-logic,A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Organization: distributedcomponents
modal-logic,Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
User: erohkohl
modal-logic,A list of tools for teaching logic
User: francoisschwarzentruber
Home Page: https://francoisschwarzentruber.github.io/tools-for-teaching-logic/
modal-logic,Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
User: guigui14460
Home Page: https://guigui14460.github.io/multi-agents-knowledge-based-programs-interpreter/
modal-logic,Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
Organization: hintikkasworld
Home Page: http://hintikkasworld.irisa.fr/
modal-logic,Kripke semantics
User: hrb90
modal-logic,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
User: isabelle778
modal-logic,Tableau-based theorem prover for public announcement logic
User: jdevuyst
modal-logic,Modal programming in Haskell
User: jeltsch
modal-logic,A tool to decide satisfiability of modal formulas, and if satisfiable, visualize them.
User: joeytman
modal-logic,Compilation of modal logic based functional language ML5 to JavaScript.
User: joom
modal-logic,A tool for translating higher-order modal logic problems into classical higher-order logic
Organization: leoprover
modal-logic,Library and application for encoding non-classical logics into classical higher-order logic.
Organization: leoprover
modal-logic,A modal logic thorem prover written in golang
User: m0rt1c
modal-logic,Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html
User: m4lvin
modal-logic,The Sabotage Game
User: m4lvin
modal-logic,Final Year Masters Project: modal logic solver tableaux
User: marcincuber
modal-logic,A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
Organization: mtt-lang
modal-logic,
User: nclarius
Home Page: https://nclarius.github.io
modal-logic,Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
User: nclarius
modal-logic,An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
Organization: rairlab
modal-logic,Modal Logic Playground
User: rkirsling
Home Page: http://rkirsling.github.io/modallogic/
modal-logic,Testing Theory of Mind (ToM) in language models with epistemic logic
User: sileod
modal-logic,Model Checker with Coalition Announcement Logic
User: twelvelines
modal-logic,A Kripke structure modelling framework
User: vittau
modal-logic, Instructions: Create an application where users can be managed through a CRUD. Use this API https://users-crud.academlo.tech/swagger/ to query, create, delete, and update those users.
User: vivianlafarina
Home Page: https://vivian-user-adm-app.netlify.app/
modal-logic,implementation of different kinds of knowledge presentation languages programmatically
User: zakariayousfi
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.