Polleres, Axel, Eiter, Thomas. 2006. Towards automated integration of guess and check programs in answer set programming: A meta-interpreter and applications. Theory and Practice of Logic Programming 6 (1-2): 23-60.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
Status of publication | Published |
---|---|
Affiliation | WU |
Type of publication | Journal article |
Journal | Theory and Practice of Logic Programming |
Citation Index | SCI |
WU-Journal-Rating new | INF-A |
Language | English |
Title | Towards automated integration of guess and check programs in answer set programming: A meta-interpreter and applications |
Volume | 6 |
Number | 1-2 |
Year | 2006 |
Page from | 23 |
Page to | 60 |
Associations
- People
- Polleres, Axel (Details)
- External
- Eiter, Thomas
- Organization
- Institute for Data, Process and Knowledge Management (AE Polleres) (Details)