Topic: answer-set-programming Goto Github
Some thing interesting about answer-set-programming
Some thing interesting about answer-set-programming
answer-set-programming,Answer Set Programming
User: 921kiyo
answer-set-programming,Symbolic Reinforcement Learning using Inductive Logic Programming
User: 921kiyo
answer-set-programming,Answer Set Programming extension for the DALI MAS Framework
Organization: aaai-disim-univaq
answer-set-programming,A MAS system for ethical monitoring and evaluation of dialog systems
User: abeer-dyoub
answer-set-programming, :calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
User: adamouization
answer-set-programming,Repairing Boolean logical models from time-series data using Answer Set Programming
User: addalemos
Home Page: https://addalemos.github.io/RBN/
answer-set-programming,A lazy-grounding Answer-Set Programming system
Organization: alpha-asp
answer-set-programming,Handy python wrapper around Potassco's Clingo ASP solver.
User: aluriak
answer-set-programming,Comparison and testing of multiple concept generation method using ASP
User: aluriak
answer-set-programming,Personal learning repository for Answer Set Programming
User: aluriak
answer-set-programming,(ASP) graph handling made easy
User: aluriak
answer-set-programming,Compress graphs
User: aluriak
answer-set-programming,Graph compression with FCA and ASP. New versions at:
User: aluriak
Home Page: https://github.com/aluriak/powergrasp
answer-set-programming,pytest plugin to test ASP code
User: aluriak
answer-set-programming,A programmable language for SpaceEngine addons
User: aluriak
answer-set-programming,Synthesis and Reprogramming of Most Permissive Boolean Networks
Organization: bnediction
Home Page: https://bnediction.github.io/bonesis/
answer-set-programming,A tool for explainability and debugging in Answer Set Programming.
User: bramucas
answer-set-programming,Python package for large-scale community selection in microbiota
User: cfrioux
answer-set-programming,Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
User: farfi55
answer-set-programming,A graphical user interface for debugging faulty ASP programs with gringo-wrapper and DWASP.
User: gaste
answer-set-programming,A wrapper for gringo that takes a logic program as input, translates it to the debugging program, and outputs the grounded debugging program.
User: gaste
answer-set-programming,
Organization: ilaspltd
Home Page: http://www.ilasp.com
answer-set-programming,All the scripts made for the Intelligenza Artificiale (Artificial Intelligence) course @UniversitaDellaCalabria - A.Y 2022/2023
User: ilveron
answer-set-programming,The biologist's Boolean attractor landscape mapper, building Waddington landscapes from Boolean networks.
User: jcrozum
Home Page: https://jcrozum.github.io/biobalm/
answer-set-programming,Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
User: joshuaguerin
answer-set-programming,Differentiable probabilistic answer set programming
Organization: kamel-usp
Home Page: https://kamel.ime.usp.br/dpasp.html
answer-set-programming,A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
User: kasteph
answer-set-programming,MAPF instance generator
Organization: krr-up
answer-set-programming,A new solver for asp programs with quantifiers over stable models
User: kwrx
answer-set-programming,An ASP Timetabler Application
User: laurabellekay
answer-set-programming,my attempts of answering the CodeByte presented by the BiweeklyByte of ACCSS from the AdDU CS Cluster
User: louispawaon
answer-set-programming,Implementation of Artificial Intelligence for Bomber Man Game.
User: marioavolio
answer-set-programming,Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
User: matthiasnickles
answer-set-programming,Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
User: matthiasnickles
answer-set-programming,A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
User: matthiasnickles
answer-set-programming,Finite Fuzzy Answer Set Programming Solver
User: mushthofa
answer-set-programming,A C# bindings of Clingo library
User: nekerafa
answer-set-programming,An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)
User: nekerafa
answer-set-programming,ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.
User: pierpaolosestito-dev
answer-set-programming,🤔 A grounder and solver for logic programs.
Organization: potassco
Home Page: https://potassco.org/clingo
answer-set-programming,An ASP encoding for scheduling running relays
Organization: raceconditionrunning
answer-set-programming,An Emas Major Mode for editing Answer Set Programs
User: santifa
answer-set-programming,This repository contains a DLV program that can be used to generate schedules satisfying the given constraints.
User: signin-signup
answer-set-programming,This is a Calculator using java which has some graphics and you can also touch the buttons and you can calculate also.
User: starknightt
Home Page: https://github.com/StarKnightt/Calculator-using-java
answer-set-programming,Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:
User: susuhahnml
answer-set-programming,🔴🟢🔵 clingo kernel for Jupyter
User: thesofakillers
Home Page: https://pypi.org/project/iclingo/
answer-set-programming,Visualization Constraints and Weight Learning
Organization: uwdata
Home Page: https://uwdata.github.io/draco/
answer-set-programming,DLV syntax highlighter for Visual Studio Code.
User: w1nte
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.