Declarative Programming and Knowledge Management
Book title Buchtitel
Declarative Programming and Knowledge Management
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
8439
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Hanus, Michael ; Rocha, Ricardo | hex-Programs with Existential Quantification | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | Berger, Gerald ; Tompits, Hans ; Hanus, Michael ; Rocha, Ricardo | On Axiomatic Rejection for the Description Logic $$\mathcal {ALC}$$ | Konferenzbeitrag Inproceedings | 2014 | |
| 3 | Leutgeb, Lorenz ; Weinzierl, Antonius ; Seipel, Dietmar ; Hanus, Michael ; Abreu, Salvador | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2018 |