Abstract | ||
---|---|---|
We present a new solver for Answer-Set Programs whose main features include grounding on-the-fly and readiness for use in solving distributed answer-set programs. The solver is implemented in Java and uses an underlying Rete network for propagation. Initial experimental results show the benefit of using Rete for this purpose, but also exhibit the need for learning in the presence of grounding on-the-fly. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-33353-8_38 | JELIA |
Keywords | Field | DocType |
open minded grounding,main feature,answer-set program,initial experimental result,answer-set programs,new solver,underlying rete network | Programming language,Computer science,On the fly,Ground,Solver,Java | Conference |
Citations | PageRank | References |
6 | 0.44 | 5 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Minh Dao-Tran | 1 | 395 | 20.39 |
Thomas Eiter | 2 | 7238 | 532.10 |
Michael Fink | 3 | 1145 | 62.43 |
Gerald Weidinger | 4 | 6 | 0.44 |
Antonius Weinzierl | 5 | 123 | 11.04 |