Methods and Methodologies for Developing Answer-Set Programs

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Methods
 
Project Title (de) Projekttitel (de)
Methods and Methodologies for Developing Answer-Set Programs
 
Project Title (en) Projekttitel (en)
Methods and Methodologies for Developing Answer-Set Programs
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P 21698-N23
 

Publications

Results 1-20 of 30 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Delgrande, James ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan A Model-Theoretic Approach to Belief Change in Answer Set ProgrammingArtikel Article2013
2Busoniu, Paula-Andra ; Oetsch, Johannes ; Puehrer, Joerg ; Skocovsky, Peter ; Tompits, Hans SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging SupportKonferenzbeitrag Inproceedings 2013
3Frühstück, Melanie ; Puehrer, Joerg ; Friedrich, Gerhard Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion PluginKonferenzbeitrag Inproceedings 2013
4Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected PapersKonferenzband Proceedings 2013
5Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary ReportKonferenzbeitrag Inproceedings 2013
6Kloimüllner, Christian ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2013
7Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepwise Debugging of Description-Logic ProgramsBuchbeitrag Book Contribution2012
8Oetsch, Johannes ; Prischink, Michael ; Puehrer, Joerg ; Schwengerer, Martin ; Tompits, Hans On the Small-Scope Hypothesis for Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012
9Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with DisjunctionsKonferenzbeitrag Inproceedings 2012
10De Vos, Marina ; Kisa, Doga Gizem ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans LANA: A Language for Annotating Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012
11Brain, Martin ; Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Event-Sequence Testing using Answer-Set ProgrammingArtikel Article2012
12Janhunen, Tomi ; Niemelä, Ilkka ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonKonferenzbeitrag Inproceedings 2011
13Oetsch, Johannes ; Puehrer, Joerg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering TechniquesKonferenzbeitrag Inproceedings 2011
14Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal Answer-Set Programming as a new Approach to Event-Sequence TestingKonferenzbeitrag Inproceedings 2011
15Kloimüllner, Christian ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2011
16Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary ReportKonferenzbeitrag Inproceedings 2011
17Oetsch, Johannes ; Pührer, Jörg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering TechnologyKonferenzbeitrag Inproceedings 2011
18Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepping through an Answer-Set ProgramKonferenzbeitrag Inproceedings 2011
19Oetsch, Johannes ; Tompits, Hans Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong EquivalenceKonferenzbeitrag Inproceedings 2011
20Bruijn, Jos De ; Eiter, Thomas ; Polleres, Axel ; Tompits, Hans Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base CombinationArtikel Article2011