computational-logic

There are 1 repository under computational-logic topic.

• spidermoy / OnTheFly_ModelChecking

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

  model-checkingltlctlctl-formulaslinear-temporal-logiccomputation-tree-logichaskellhaskell-programmingcomputer-sciencelogiccomputational-logicformal-verificationformal-methods
  Language:Haskell 5

• LucaTheSorcerer / UBB-Computer-Science

  :trollface: University courses, projects and homeworks

  algebraassemblyassembly-languageassembly-x86calculuscomputational-logicpythonpython3
  4

• gciatto / eass23-cl-in-mas-exercises

  Code of my talk at EASS 2023

  computational-logiceass2023multi-agent-systems
  Language:Raku 2

• the-au-forml-lab / the-au-forml-lab.github.io

  The Augusta University ForML Lab Website

  augusta-universitycomputational-logiccomputer-scienceformal-methodslabprogramming-languages
  Language:SCSS 2

• gciatto / eass23-cl-in-mas

  Slides of my talk at EASS 2023

  computational-logiceass2023multi-agent-systems
  Language:TeX 1

• 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

  computational-logicformal-verificationhybrid-systems
  Language:Jupyter Notebook 1

• NoHaitch / Tugas-Besar-IF2121-Logika-Komputasi

  Tugas Besar Logika Komputasi: Conquer the World Game Board

  computational-logic
  Language:Prolog 1

• NouamaneA / proof-assistant

  Simple proof assistant written in OCaml.

  ocamlcomputational-logicproof-assistantpropositional-logiccomputer-science
  Language:OCaml 1

• alandmprtma / Tugas-Besar-IF2121-LogikaKomputasional-KudaHitam

  Permainan Global Conquest adalah sebuah game strategi yang dibuat menggunakan bahasa pemrograman deklaratif Prolog (GNU Prolog).

  computationalcomputational-logicgame-developmentprolog-programming-language
  Language:Prolog 0

• elblasco / logica-computazionale

  Logica computazionale A.A. 2022/23

  logiccomputational-logicdescription-logicsfirst-order-logicmodellingpropositional-logic
  Language:TeX 0

• EriikGabriel / computer-logic

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

  calculatorlogicnextjscomputational-logic
  Language:TypeScript 0

• geraldabrhm / Logkom01

  Tugas Besar Logika Komputasional 2021/2022

  computational-logic
  Language:Prolog 0

• parvi-3 / chemical-logic

  Codes related to a study of spatiotemporally invariant patterns in systems of coupled relaxation oscillators, and their potential use in computational logic.

  computational-logicreaction-diffusionoscillator-deathrelaxation-oscillators
  Language:MATLAB 0

• PerlMonker303 / CLFS

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

  javascriptcomputational-logic
  Language:JavaScript 0

• AustinPardosi / Praktikum-ITB

  algorithms-and-data-structurescomputational-logicintroduction-to-programmingobject-oriented-programming
  Language:Jupyter Notebook

• ditramadia / Monopoly

  Computational Logic - A monopoly board based tycoon game.

  computational-logicdesktop-gametugas-besar
  Language:Prolog

• ricardotavera / Programming-fundamentals-Cpp

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

  computational-logic
  Language:C++

• rifqifarhansyah / PraktikumLogKom-22-23-

  🎫 Personal repo untuk arsip praktikum LogKom

  computational-logicprolog
  Language:Prolog
• Computational_Logic

  sourceduty / Computational_Logic

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

  aiartificial-intelligencechatgptcomputational-logiccustom-gptcustomgptgptgptslogiclogic-gateslogic-programminglogic-simulatorlogicalpython-logicsimsimulatedsimulation