Search - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Now showing items 1-10 of 27

Developing ASP Programs with ASPIDE and LoIDE

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Calimeri, Francesco; Germano, Stefano; Palermiti, Eliana; Reale, Kristian; Ricca, Francesco

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Janhunen, Tomi

Interview with Gerhard Brewka

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Brewka, Gerhard; Schaub, Torsten; Woltran, Stefan

Special Issue on Answer Set Programming

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Schaub, Torsten; Woltran, Stefan

AI in Germany: Well-Prepared and Eager to Do Something

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Sonntag, Daniel

Aggregates in Answer Set Programming

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Alviano, Mario; Faber, Wolfgang

Answer set programming unleashed!

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Schaub, Torsten; Woltran, Stefan

The ASP System DLV: Advancements and Applications

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 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

Answer Set Planning in Single- and Multi-agent Environments

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Son, Tran Cao; Balduccini, Marcello

ArgueApply: Abstract Argumentation at Your Fingertips

KI - Künstliche Intelligenz: Vol. 32, No. 2-3 Pührer, Jörg

«
1
2
3
»