Declarative Programming and Knowledge Management

View Statistics Email Alert RSS Feed

Book details Buch-Details

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