Abstract | ||
---|---|---|
acthex programs are a convenient tool for connecting stateful external environments to logic programs. In the acthex framework, actual actions on an external environment can be declaratively selected, rearranged, scheduled and then executed depending on intelligence specified in an ASP-based language. We report in this paper about recent improvements of the formal and of the operational acthex programming framework. Besides yielding a significant increase in versatility of the framework, we also present illustrative application showcases and a short evaluation thereof exhibiting computational acthex strengths. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-40564-8_31 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Logic program,Computer science,Algorithm,Stateful firewall,Software framework | Conference | 8148 |
ISSN | Citations | PageRank |
0302-9743 | 8 | 0.61 |
References | Authors | |
6 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Fink | 1 | 1145 | 62.43 |
Stefano Germano | 2 | 27 | 6.78 |
Giovambattista Ianni | 3 | 1192 | 60.92 |
Christoph Redl | 4 | 137 | 13.76 |
Peter Schüller | 5 | 192 | 22.61 |