Rule Technologies: Foundations, Tools, and Applications
Book title Buchtitel
Rule Technologies: Foundations, Tools, and Applications
Editor Herausgeber_in
Publisher Herausgeber
Springer LNCS
Place of publishing Erscheinungsort
9202
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Šimkus, Mantas ; Bassiliades, Nick ; Gottlob, Georg ; Sadri, Fariba ; Paschke, Adrian ; Roman, D. | Binary Frontier-Guarded ASP with Function Symbols | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Gottlob, Georg ; Orsi, Giorgio ; Pieris, Andreas | Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- | Konferenzbeitrag Inproceedings | 2015 |