Joeri Engelfriet

	2003
32		Joeri Engelfriet, Jan Treur: Multi-interpretation operators and approximate classification. Int. J. Approx. Reasoning 32(1): 43-61 (2003)
31		Joeri Engelfriet, Jan Treur: A compositional reasoning system for executing nonmonotonic theories of reasoning. Int. J. Intell. Syst. 18(6): 593-607 (2003)
	2002
30		Frances M. T. Brazier, Joeri Engelfriet, Jan Treur: Analysis of Multi-Interpretable Ecological Monitoring Information. Applied Artificial Intelligence 16(1): 29-50 (2002)
29		Joeri Engelfriet, Catholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11(2): 195-225 (2002)
28		Joeri Engelfriet, Jan Treur: Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11(4): 389-425 (2002)
	2001
27		Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems: A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. IEEE Trans. Knowl. Data Eng. 13(3): 462-496 (2001)
26		Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13(2): 99-112 (2001)
	2000
25		Joeri Engelfriet: Non-cumulative reasoning: rules and models. J. Log. Comput. 10(5): 705-719 (2000)
24		Joeri Engelfriet, Jan Treur: Specification of nonmonotonic reasoning. Journal of Applied Non-Classical Logics 10(1): (2000)
	1999
23		Joeri Engelfriet, Heinrich Herre: Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. J. Log. Program. 41(1): 1-25 (1999)
	1998
22		Joeri Engelfriet, Catholijn M. Jonker, Jan Treur: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. ATAL 1998: 177-193
21		Frances M. T. Brazier, Joeri Engelfriet, Jan Treur: Analysis of multi-interpretable ecological monitoring information. Applications of Uncertainty Formalisms 1998: 303-324
20		Joeri Engelfriet, Yde Venema: A Modal Logic of Information Change. TARK 1998: 125-131
19		Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems: Specification of Dynamics for Knowledge-Based Systems. Transactions and Change in Logic Databases 1998: 37-68
18		Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. 24(1-4): 225-248 (1998)
17		Joeri Engelfriet: Monotonicity and Persistence in Preferential Logics CoRR cs.AI/9801102: (1998)
16		Joeri Engelfriet: Monotonicity and Persistence in Preferential Logics. J. Artif. Intell. Res. (JAIR) 8: 1-21 (1998)
15		Joeri Engelfriet, Jan Treur: An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7(3): 369-388 (1998)
	1997
14		Joeri Engelfriet, Jan Treur: A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. ECSQARU-FAPR 1997: 252-266
13		Joeri Engelfriet, Heinrich Herre: Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS 1997: 85-99
	1996
12		Joeri Engelfriet, Jan Treur: Semantics for Default Logic based on Specific Branching Time Models. ECAI 1996: 60-64
11		Joeri Engelfriet, Jan Treur: Specification of Nonmonotonic Reasonong. FAPR 1996: 111-125
10		Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Reasoning with Multiple Belief Sets. FAPR 1996: 331-344
9		Joeri Engelfriet: Only Persistence Makes Nonmonotonicity Monotonous. JELIA 1996: 164-175
8		Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236
7		Joeri Engelfriet, Jan Treur: Executable Temporal Logic for Non-Monotonic Reasoning. J. Symb. Comput. 22(5/6): 615-625 (1996)
6		Joeri Engelfriet: Minimal Temporal Epistemic Logic. Notre Dame Journal of Formal Logic 37(2): 233-259 (1996)
	1995
5		Joeri Engelfriet, Heinrich Herre, Jan Treur: Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU 1995: 189-196
4		Joeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5(1): (1995)
3		Joeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5(2): (1995)
	1994
2		Joeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. JELIA 1994: 279-299
	1993
1		Joeri Engelfriet: A Temporal Model Theory for Default Logic. ECSQARU 1993: 91-96

Coauthor Index

1	Frances M. T. Brazier	[21] [30]
2	Pascal van Eck	[19] [27]
3	Dieter Fensel	[19] [27]
4	Frank van Harmelen	[19] [27]
5	Heinrich Herre	[5] [10] [13] [18] [23]
6	Catholijn M. Jonker	[22] [29]
7	Victor W. Marek (V. Wiktor Marek)	[8] [26]
8	Jan Treur	[2] [3] [4] [5] [7] [8] [10] [11] [12] [14] [15] [18] [21] [22] [24] [26] [28] [29] [30] [31] [32]
9	Miroslaw Truszczynski	[8] [26]
10	Yde Venema	[19] [20] [27]
11	Mark Willems	[19] [27]