Name Card

Full name Familienname, Vorname
Veloso, Manuela
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Complexity Results for Checking Equivalence of Stratified Logic ProgramsKonferenzbeitrag Inproceedings 2007
2De Bruijn, Jos ; Eiter, Thomas ; Polleres, Axel Florian ; Tompits, Hans Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base CombinationKonferenzbeitrag Inproceedings 2007
3Eiter, Thomas ; Erdem, Esra ; Faber, Wolfgang On Reversing Actions: Algorithms and ComplexityKonferenzbeitrag Inproceedings 2007
4Farinelli, Alessandro ; Finzi, Alberto ; Lukasiewicz, Thomas Team Programming in Golog under Partial ObservabilityKonferenzbeitrag Inproceedings 2007
5Erdem, Esra ; Gabaldon, Alfredo Cumulative Effects of Concurrent Actions on Numeric-Valued FluentsKonferenzbeitrag Inproceedings 2005
6Erdem, Esra ; Tillier, Elisabeth R. M. Genome Rearrangement and PlanningKonferenzbeitrag Inproceedings 2005
7Baral, Chitta ; Eiter, Thomas ; Zhao, Jicheng Using SAT and LP to Design Polynomial-Time Algorithms for Planning in Non-deterministic DomainsKonferenzbeitrag Inproceedings 2005