Name Card

Full name Familienname, Vorname

Artale, Alessandro

Contributing Publications Mitbeteiligte Publikationen

All

Conference Papers

Author

Date issued

2 2000 - 2024

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas	Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming	Konferenzbeitrag Inproceedings	2017
	2		Labai, Nadia ; Homola, Martin ; Ortiz de la Fuente, M.Magdalena	Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)	Konferenzbeitrag Inproceedings	2017