Benjamin Zarrie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | KR | Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. | Benjamin Zarrie |
| 2016 | AAAI | Decidable Verification of Golog Programs over Non-Local Effect Actions. | Benjamin Zarrie, Jens Claen |
| 2015 | IJCAI | Verification of Knowledge-Based Programs over Description Logic Actions. | Benjamin Zarrie, Jens Claen |
| 2014 | AAAI | Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. | Jens Claen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrie |
| 2014 | ECAI | Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. | Benjamin Zarrie, Jens Claen |
| 2013 | IJCAI | Most Specific Generalizations w.r.t. General EL-TBoxes. | Benjamin Zarrie, Anni-Yasmin Turhan |