azreasoners

Arizona State University

Pinned Repositories

ARG-webpage
Language:HTML0 1 00
ASPMT2SMT
Computing ASPMT Using SMT Solvers
Language:Shell1 1 00
cl-ste
Language:Python8 4 00
Cplus2ASP
Translating and solving CCalc action descriptions using answer set solvers
Language:C++1 1 22
F2LP
Computing Answer Sets of First Order Formulas
Language:C1 1 11
gpt-asp-rules
Language:Python8 1 12
LLM-ASP
Language:Jupyter Notebook25 1 24
lpmln
Language:C8 1 24
NeurASP
Language:Python42 2 520
recurrent_transformer
Language:Python7 1 13

azreasoners's Repositories

azreasoners/NeurASP
Language:Python42 2 520
azreasoners/LLM-ASP
Language:Jupyter Notebook25 1 24
azreasoners/cl-ste
Language:Python8 4 00
azreasoners/gpt-asp-rules
Language:Python8 1 12
azreasoners/lpmln
Language:C8 1 24
azreasoners/recurrent_transformer
Language:Python7 1 13
azreasoners/ASPMT2SMT
Computing ASPMT Using SMT Solvers
Language:Shell1 1 00
azreasoners/Cplus2ASP
Translating and solving CCalc action descriptions using answer set solvers
Language:C++1 1 22
azreasoners/F2LP
Computing Answer Sets of First Order Formulas
Language:C1 1 11
azreasoners/ARG-webpage
Language:HTML0 1 00
azreasoners/azreasoners.github.io
Language:CSS00
azreasoners/CRCG
Language:Python
azreasoners/joolee
Joohyung Lee's homepage
1 0
azreasoners/llm-al
Language:Python
azreasoners/MVSM
Computing Stable Models of Multi-Valued Propositional Formulas using Propositional Answer Set Solvers
1 0
azreasoners/reasoning