ModelCVS: A Semantic Infrastructure for Model-based Tool Integration

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
ModelCVS
 
Project Title (de) Projekttitel (de)
ModelCVS: A Semantic Infrastructure for Model-based Tool Integration
 
Project Title (en) Projekttitel (en)
ModelCVS: A Semantic Infrastructure for Model-based Tool Integration
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FFG - Österr. Forschungsförderungs- gesellschaft mbH

Publications

Filter:
Author:  Woltran, Stefan

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan A Tool for Advanced Correspondence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
2Egly, Uwe ; Seidl, Martina ; Woltran, Stefan A Solver for QBFs in Nonprenex Form: Overview and Experimental ResultsKonferenzbeitrag Inproceedings2006
3Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
4Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
5Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set SemanticsKonferenzbeitrag Inproceedings 2006
6Egly, Uwe ; Seidl, Martina ; Woltran, Stefan A Solver for QBFs in Nonprenex FormKonferenzbeitrag Inproceedings 2006
7Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental ResultsKonferenzbeitrag Inproceedings 2006