dblp.uni-trier.dewww.uni-trier.de

Joeri Engelfriet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
32EEJoeri Engelfriet, Jan Treur: Multi-interpretation operators and approximate classification. Int. J. Approx. Reasoning 32(1): 43-61 (2003)
31EEJoeri Engelfriet, Jan Treur: A compositional reasoning system for executing nonmonotonic theories of reasoning. Int. J. Intell. Syst. 18(6): 593-607 (2003)
2002
30EEFrances 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
27EEPascal 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
21EEFrances 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
19EEPascal 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)
17EEJoeri Engelfriet: Monotonicity and Persistence in Preferential Logics CoRR cs.AI/9801102: (1998)
16EEJoeri 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)