spidermoy/OnTheFly_ModelChecking

Efficient On-the-Fly Model Checking for LTL and CTL★.

Language: Haskell - Size: 21.5 KB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0

gciatto/eass23-cl-in-mas-exercises Fork of unibo-fc-isi-ise/code-knowledge-representation

Code of my talk at EASS 2023

Language: Raku - Size: 332 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2 - Forks: 0

the-au-forml-lab/the-au-forml-lab.github.io Fork of granule-project/granule-project.github.io

The Augusta University ForML Lab Website

Language: SCSS - Size: 823 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

gciatto/eass23-cl-in-mas Fork of pikalab-unibo/ise-lab-knowledge-representation

Slides of my talk at EASS 2023

Language: TeX - Size: 415 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

NoHaitch/Logkom_2023

Semua program, materi dan data Mata Kuliah IF2121 Logika Komputasional 2023/2024

Language: Prolog - Size: 9.24 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

LucaTheSorcerer/UBB-Computer-Science

:trollface: University courses, projects and homeworks

Size: 36.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

NouamaneA/proof-assistant

Simple proof assistant written in OCaml.

Language: OCaml - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

luislcc/LC-TP4 📦

Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos

Language: Jupyter Notebook - Size: 342 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

leo-leesco/Computational-logic-TD2

Satisfiability of boolean formulas

Language: OCaml - Size: 217 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

sourceduty/Computational_Logic

👩🏻‍💻 Program and simulate computational logic circuits using Python.

Size: 6.84 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

EriikGabriel/computer-logic

A project of a computational logic calculator based on college studies.

Language: TypeScript - Size: 319 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

Razvanix445/LC

Language: Python - Size: 20.6 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

elblasco/Logica

Logica computazionale A.A. 2022/23

Language: TeX - Size: 94.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

AustinPardosi/Praktikum-ITB

Language: Jupyter Notebook - Size: 941 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

rifqifarhansyah/PraktikumLogKom-22-23-

🎫 Personal repo untuk arsip praktikum LogKom

Language: Prolog - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

geraldabrhm/Logkom01

Tugas Besar Logika Komputasional 2021/2022

Language: Prolog - Size: 411 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

ricardotavera/Programming-fundamentals-Cpp

Here you can find some exercises about introduction to programming in C++ language.

Language: C++ - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

PerlMonker303/CLFS

Computational Logic Formula Solver - programmatically simplifies propositional and predicate logic formulas

Language: JavaScript - Size: 281 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0