iclingo is an incremental ASP system implemented on top of clingo. It is based on the idea that the grounder as well as the solver are implemented in a stateful way. Thus, both keep their previous states while increasing an incremental parameter. As regards grounding, at each incremental step, the goal is to produce only ground rules stemming from the current program slice, without re-producing previous ground rules. The ground program slices are then gradually passed to the solver that accumulates ground rules and computes answer sets for them.
Keywords for this software
References in zbMATH (referenced in 12 articles )
Showing results 1 to 12 of 12.
- Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg: Reactive multi-context systems: heterogeneous reasoning in dynamic environments (2018)
- Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
- Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
- Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten: Ricochet Robots reloaded: a case-study in multi-shot ASP solving (2015)
- Abseher, Michael; Bliem, Bernhard; Charwat, Günther; Dusberger, Frederico; Hecher, Markus; Woltran, Stefan: The D-FLAT system for dynamic programming on tree decompositions (2014)
- Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
- Lierler, Yuliya; Schüller, Peter: Parsing combinatory categorial grammar via planning in answer set programming (2012)
- Todorova, Yana; Gelfond, Michael: Toward question answering in travel domains (2012)
- Möller, Maximilian; Schneider, Marius; Wegner, Martin; Schaub, Torsten: Centurio, a general game player: parallel, Java- and ASP-based (2011) ioport
- Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten: An incremental answer set programming based system for finite model computation (2010)
- Gebser, Martin; Ostrowski, Max; Schaub, Torsten: Constraint answer set solving (2009)
- Ishebabi, Harold; Mahr, Philipp; Bobda, Christophe; Gebser, Martin; Schaub, Torsten: Answer set versus integer linear programming for automatic synthesis of multiprocessor systems from real-time parallel programs (2009) ioport