/
Browsing by Author Seipel, Dietmar
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | | 2019 | Alexa, How Can I Reason with Prolog? | Nogatz, Falco; Kübert, Julia; Seipel, Dietmar; Abreu, Salvador |
| 2011 | Applications of Declarative Programming and Knowledge Management: proceedings of the 18th International Conference, INAP 2009 | Abreu, Salvador; Seipel, Dietmar |
| 2018 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco |
| 2017 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
| 2018 | Declarative Programming and Knowledge Management | Seipel, Dietmar; Hanus, Michael; Abreu, Salvador |
| 4-Jul-2017 | Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies | Seipel, Dietmar; Nogatz, Falco; Abreu, Salvador |
| 2025 | Elements for Weighted Answer-Set Programming | Dinis, Bruno; Coelho, Francisco; Abreu, Salvador; Seipel, Dietmar |
Showing results 1 to 7 of 7
|
