Full name Familienname, Vorname

Dovier, Agostino

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Soldà, Davide ; Fabiano, Francesco ; Dovier, Agostino	ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems	Article Artikel	Dec-2023

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

RIS EndNote Bibtex Excel CSV Send via email

	Author(s)	Title	Type	Issue Date
1	Morak, Michael ; Woltran, Stefan	Preprocessing of Complex Non-Ground Rules in Answer Set Programming	Konferenzbeitrag Inproceedings	2012
2	Redl, Christoph	Answer Set Programming with External Sources	Konferenzbeitrag Inproceedings	2012
3	Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph	Declarative Merging of and Reasoning about Decision Diagrams	Konferenzbeitrag Inproceedings	2011