2003 |
32 | EE | Joeri Engelfriet,
Jan Treur:
Multi-interpretation operators and approximate classification.
Int. J. Approx. Reasoning 32(1): 43-61 (2003) |
31 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Joeri Engelfriet:
Monotonicity and Persistence in Preferential Logics
CoRR cs.AI/9801102: (1998) |
16 | EE | 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 |