Name Card

Full name Familienname, Vorname
Rocha, Ricardo
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
2Berger, Gerald ; Tompits, Hans On Axiomatic Rejection for the Description Logic $$\mathcal {ALC}$$Konferenzbeitrag Inproceedings 2014
3Berger, Gerald ; Tompits, Hans On Axiomatic Rejection for the Description Logic ALCKonferenzbeitrag Inproceedings 2013
4Redl, Christoph ; Eiter, Thomas ; Krennwallner, Thomas Declarative Belief Set Merging Using Merging PlansKonferenzbeitrag Inproceedings 2011