A Temporal Model Theory for Default Logic. - Joeri Engelfriet (ECSQARU, 1993)

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). - Joeri Engelfriet; Heinrich Herre; Jan Treur (ECSQARU, 1995)

Temporal Theories of Reasoning. - Joeri Engelfriet; Jan Treur (J. Appl. Non Class. Logics, 1995)

Semantics for Default Logic based on Specific Branching Time Models. - Joeri Engelfriet; Jan Treur (ECAI, 1996)

Specification of Nonmonotonic Reasonong. - Joeri Engelfriet; Jan Treur (FAPR, 1996)

Only Persistence Makes Nonmonotonicity Monotonous. - Joeri Engelfriet (JELIA, 1996)

Infinitary Default Logic for Specification of Nonmonotonic Reasoning. - Joeri Engelfriet; V. Wiktor Marek; Jan Treur; Miroslaw Truszczynski (JELIA, 1996)

Executable Temporal Logic for Non-Monotonic Reasoning. - Joeri Engelfriet; Jan Treur (J. Symb. Comput., 1996)

Minimal Temporal Epistemic Logic. - Joeri Engelfriet (Notre Dame J. Formal Log., 1996)

Generated Preferred Models and Extensions of Nonmonotonic Systems. - Joeri Engelfriet; Heinrich Herre (ILPS, 1997)

Specification of Dynamics for Knowledge-Based Systems. - Pascal van Eck; Joeri Engelfriet; Dieter Fensel; Frank van Harmelen; Yde Venema; Mark Willems (Transactions and Change in Logic Databases, 1998)

A Modal Logic of Information Change. - Joeri Engelfriet; Yde Venema (TARK, 1998)

Nonmonotonic Reasoning with Multiple Belief Sets. - Joeri Engelfriet; Heinrich Herre; Jan Treur (Ann. Math. Artif. Intell., 1998)

Monotonicity and Persistence in Preferential Logics. - Joeri Engelfriet (J. Artif. Intell. Res., 1998)

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. - Joeri Engelfriet; Jan Treur (J. Log. Lang. Inf., 1998)

Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. - Joeri Engelfriet; Heinrich Herre (J. Log. Program., 1999)

Specification of nonmonotonic reasoning. - Joeri Engelfriet; Jan Treur (J. Appl. Non Class. Logics, 2000)

Non-cumulative reasoning: rules and models. - Joeri Engelfriet (J. Log. Comput., 2000)

Default logic and specification of nonmonotonic reasoning. - Joeri Engelfriet; V. Wiktor Marek; Jan Treur; Miroslaw Truszczynski (J. Exp. Theor. Artif. Intell., 2001)

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. - Pascal van Eck; Joeri Engelfriet; Dieter Fensel; Frank van Harmelen; Yde Venema; Mark Willems (IEEE Trans. Knowl. Data Eng., 2001)

Analysis of Multi-Interpretable Ecological Monitoring Information. - Frances M. T. Brazier; Joeri Engelfriet; Jan Treur (Appl. Artif. Intell., 2002)

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. - Joeri Engelfriet; Catholijn M. Jonker; Jan Treur (J. Log. Lang. Inf., 2002)

Linear, Branching Time and Joint Closure Semantics for Temporal Logic. - Joeri Engelfriet; Jan Treur (J. Log. Lang. Inf., 2002)

Multi-interpretation operators and approximate classification. - Joeri Engelfriet; Jan Treur (Int. J. Approx. Reason., 2003)

A compositional reasoning system for executing nonmonotonic theories of reasoning. - Joeri Engelfriet; Jan Treur (Int. J. Intell. Syst., 2003)