Skip to content

mushthofa/asbpa

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
ASPResultParser.h
ASPResultParser.h
 
 
ASPSolver.h
ASPSolver.h
 
 
ASVerifier.cpp
ASVerifier.cpp
 
 
ASVerifier.h
ASVerifier.h
 
 
Atom.cpp
Atom.cpp
 
 
Atom.h
Atom.h
 
 
AtomFactory.cpp
AtomFactory.cpp
 
 
AtomFactory.h
AtomFactory.h
 
 
AtomNode.cpp
AtomNode.cpp
 
 
AtomNode.h
AtomNode.h
 
 
AtomSet.cpp
AtomSet.cpp
 
 
AtomSet.h
AtomSet.h
 
 
BaseVisitor.h
BaseVisitor.h
 
 
Bitmap.cpp
Bitmap.cpp
 
 
Bitmap.h
Bitmap.h
 
 
BoostComponentFinder.cpp
BoostComponentFinder.cpp
 
 
BoostComponentFinder.h
BoostComponentFinder.h
 
 
BoostHCFDetector.cpp
BoostHCFDetector.cpp
 
 
BoostHCFDetector.h
BoostHCFDetector.h
 
 
Component.cpp
Component.cpp
 
 
Component.h
Component.h
 
 
ComponentFinder.cpp
ComponentFinder.cpp
 
 
ComponentFinder.h
ComponentFinder.h
 
 
DLVASPSolver.cpp
DLVASPSolver.cpp
 
 
DLVASPSolver.h
DLVASPSolver.h
 
 
DLVResultParser.cpp
DLVResultParser.cpp
 
 
DLVResultParser.h
DLVResultParser.h
 
 
DLVResult_grammar.h
DLVResult_grammar.h
 
 
DependencyGraph.cpp
DependencyGraph.cpp
 
 
DependencyGraph.h
DependencyGraph.h
 
 
Error.cpp
Error.cpp
 
 
Error.h
Error.h
 
 
EvalComp.cpp
EvalComp.cpp
 
 
EvalComp.h
EvalComp.h
 
 
GetPot.h
GetPot.h
 
 
Globals.cpp
Globals.cpp
 
 
Globals.h
Globals.h
 
 
GraphBuilder.cpp
GraphBuilder.cpp
 
 
GraphBuilder.h
GraphBuilder.h
 
 
GraphProcessor.cpp
GraphProcessor.cpp
 
 
GraphProcessor.h
GraphProcessor.h
 
 
HCFDetector.cpp
HCFDetector.cpp
 
 
HCFDetector.h
HCFDetector.h
 
 
Literal.cpp
Literal.cpp
 
 
Literal.h
Literal.h
 
 
Makefile.am
Makefile.am
 
 
Makefile.in
Makefile.in
 
 
MethodSelector.h
MethodSelector.h
 
 
MinChecker.cpp
MinChecker.cpp
 
 
MinChecker.h
MinChecker.h
 
 
ModelCheck.cpp
ModelCheck.cpp
 
 
ModelCheck.h
ModelCheck.h
 
 
ModelGenerator.cpp
ModelGenerator.cpp
 
 
ModelGenerator.h
ModelGenerator.h
 
 
OutputBuilder.cpp
OutputBuilder.cpp
 
 
OutputBuilder.h
OutputBuilder.h
 
 
PrintVisitor.cpp
PrintVisitor.cpp
 
 
PrintVisitor.h
PrintVisitor.h
 
 
ProcessBuff.cpp
ProcessBuff.cpp
 
 
ProcessBuff.h
ProcessBuff.h
 
 
Program.cpp
Program.cpp
 
 
Program.h
Program.h
 
 
ProgramBuilder.cpp
ProgramBuilder.cpp
 
 
ProgramBuilder.h
ProgramBuilder.h
 
 
ProgramParser.h
ProgramParser.h
 
 
ProgramSubsetGenerator.h
ProgramSubsetGenerator.h
 
 
PrologEngine.h
PrologEngine.h
 
 
PrologProgramSubsetGenerator.cpp
PrologProgramSubsetGenerator.cpp
 
 
PrologProgramSubsetGenerator.h
PrologProgramSubsetGenerator.h
 
 
PrologResultParser.cpp
PrologResultParser.cpp
 
 
PrologResultParser.h
PrologResultParser.h
 
 
README.md
README.md
 
 
Registry.cpp
Registry.cpp
 
 
Registry.h
Registry.h
 
 
Rule.cpp
Rule.cpp
 
 
Rule.h
Rule.h
 
 
SafetyChecker.cpp
SafetyChecker.cpp
 
 
SafetyChecker.h
SafetyChecker.h
 
 
SimpleMethodSelector.cpp
SimpleMethodSelector.cpp
 
 
SimpleMethodSelector.h
SimpleMethodSelector.h
 
 
SpiritProgramParser.cpp
SpiritProgramParser.cpp
 
 
SpiritProgramParser.h
SpiritProgramParser.h
 
 
Term.cpp
Term.cpp
 
 
Term.h
Term.h
 
 
XSBPrologEngine.cpp
XSBPrologEngine.cpp
 
 
XSBPrologEngine.h
XSBPrologEngine.h
 
 
bpa.cpp
bpa.cpp
 
 
logic_grammar.h
logic_grammar.h
 
 

Repository files navigation

asbpa

Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities

This is the implementation of the evaluation method for Answer Set Programs with Bounded Predicate Arities as described in our publication:

Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. T Eiter, W Faber, M Mushthofa - AAAI, 2010 and my thesis: Evaluation of Answer Set Programs with Bounded Predicate Arities. TU Wien. 2009.

You will need to use Boost Library and install DLV and XSB Prolog in order to use the functionality of ASBPA.

About

Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities

www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1776

Topics

answer-set-programming

Resources

Readme
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages