Declarative Programming and Knowledge Management

Book title Buchtitel
Declarative Programming and Knowledge Management
Editor Herausgeber_in
Publisher Herausgeber
Springer LNCS
Series Schriftenreihe
Lecture Notes in Computer Science

Publications Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
2Berger, Gerald ; Tompits, Hans On Axiomatic Rejection for the Description Logic $$\mathcal {ALC}$$Konferenzbeitrag Inproceedings 2014
3Leutgeb, Lorenz ; Weinzierl, Antonius Techniques for Efficient Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2018