Browsing Künstliche Intelligenz 32(2+3) - August 2018 by Issue Date - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Now showing items 1-20 of 27

«
»

Developing ASP Programs with ASPIDE and LoIDE

Calimeri, Francesco; Germano, Stefano; Palermiti, Eliana; Reale, Kristian; Ricca, Francesco
185-186
Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

Janhunen, Tomi
183-184
Interview with Gerhard Brewka

Brewka, Gerhard; Schaub, Torsten; Woltran, Stefan
219-221
Special Issue on Answer Set Programming

Schaub, Torsten; Woltran, Stefan
101-103
AI in Germany: Well-Prepared and Eager to Do Something

Sonntag, Daniel
97-99
Aggregates in Answer Set Programming

Alviano, Mario; Faber, Wolfgang
119-124
Answer set programming unleashed!

Schaub, Torsten; Woltran, Stefan
105-108
The ASP System DLV: Advancements and Applications

Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fuscà, Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
177-179
Answer Set Planning in Single- and Multi-agent Environments

Son, Tran Cao; Balduccini, Marcello
133-141
ArgueApply: Abstract Argumentation at Your Fingertips

Pührer, Jörg
209-212
The Potsdam Answer Set Solving Collection 5.0

Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Lühne, Patrick; Obermeier, Philipp; Ostrowski, Max; Romero, Javier; Schaub, Torsten; Schellhorn, Sebastian; Wanko, Philipp
181-182
The DLVHEX System

Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius
187-189
Industrial Applications of Answer Set Programming

Falkner, Andreas; Friedrich, Gerhard; Schekotihin, Konstantin; Taupe, Richard; Teppan, Erich C.
165-176
Answer Set Programming

Janhunen, Tomi
125-131
News

Unknown author
223-226
ASP for Conformance Analysis and Explanation of Clinical Guidelines Execution

Piovesan, Luca; Spiotta, Matteo; Terenziani, Paolo; Theseider Dupré, Daniele
201-204
ASP Applications in Bio-informatics: A Short Tour

Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
157-164
Design Space Exploration with Answer Set Programming

Haubelt, Christian; Neubauer, Kai; Schaub, Torsten; Wanko, Philipp
205-206
Lazy Grounding for Dynamic Configuration

Eiter, Thomas; Friedrich, Gerhard; Taupe, Richard; Weinzierl, Antonius
197-198
Answer Set Programming from a Logical Point of View

Cabalar, Pedro; Pearce, David; Valverde, Agustín
109-118

Now showing items 1-20 of 27

«
»