Joeri Engelfriet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1993–1998
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | TARK | A Modal Logic of Information Change. | Joeri Engelfriet, Yde Venema |
| 1997 | ECSQARU | A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. | Joeri Engelfriet, Jan Treur |
| 1996 | ECAI | Semantics for Default Logic based on Specific Branching Time Models. | Joeri Engelfriet, Jan Treur |
| 1996 | JELIA | Only Persistence Makes Nonmonotonicity Monotonous. | Joeri Engelfriet |
| 1996 | JELIA | Infinitary Default Logic for Specification of Nonmonotonic Reasoning. | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
| 1995 | ECSQARU | Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). | Joeri Engelfriet, Heinrich Herre, Jan Treur |
| 1994 | JELIA | Temporal Theories of Reasoning. | Joeri Engelfriet, Jan Treur |
| 1993 | ECSQARU | A Temporal Model Theory for Default Logic. | Joeri Engelfriet |