Joeri Engelfriet

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

Publications

Joeri Engelfriet, Jan Treur
Multi-interpretation operators and approximate classification. Int. J. Approx. Reason. 32 (1) (2003)
Joeri Engelfriet, Jan Treur
A compositional reasoning system for executing nonmonotonic theories of reasoning. Int. J. Intell. Syst. 18 (6) (2003)
Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. J. Log. Lang. Inf. 11 (2) (2002)
Joeri Engelfriet, Jan Treur
Linear, Branching Time and Joint Closure Semantics for Temporal Logic. J. Log. Lang. Inf. 11 (4) (2002)
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
Analysis of Multi-Interpretable Ecological Monitoring Information. Appl. Artif. Intell. 16 (1) (2002)
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) (2001)
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13 (2) (2001)
Joeri Engelfriet
Non-cumulative reasoning: rules and models. J. Log. Comput. 10 (5) (2000)
Joeri Engelfriet, Jan Treur
Specification of nonmonotonic reasoning. J. Appl. Non Class. Logics 10 (1) (2000)
Joeri Engelfriet, Heinrich Herre
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. J. Log. Program. 41 (1) (1999)
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
Analysis of multi-interpretable ecological monitoring information. Applications of Uncertainty Formalisms (1998)
Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. ATAL (1998)
Joeri Engelfriet, Jan Treur
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. J. Log. Lang. Inf. 7 (3) (1998)
Joeri Engelfriet
Monotonicity and Persistence in Preferential Logics. J. Artif. Intell. Res. 8 (1998)
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)
Joeri Engelfriet, Yde Venema
A Modal Logic of Information Change. TARK (1998)
Joeri Engelfriet
Monotonicity and Persistence in Preferential Logics CoRR (1998)
Joeri Engelfriet, Heinrich Herre, Jan Treur
Nonmonotonic Reasoning with Multiple Belief Sets. Ann. Math. Artif. Intell. 24 (1-4) (1998)
Joeri Engelfriet, Heinrich Herre
Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS (1997)
Joeri Engelfriet, Jan Treur
A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. ECSQARU-FAPR (1997)
Joeri Engelfriet, Heinrich Herre, Jan Treur
Nonmonotonic Reasoning with Multiple Belief Sets. FAPR (1996)
Joeri Engelfriet
Minimal Temporal Epistemic Logic. Notre Dame J. Formal Log. 37 (2) (1996)
Joeri Engelfriet
Only Persistence Makes Nonmonotonicity Monotonous. JELIA (1996)
Joeri Engelfriet, Jan Treur
Semantics for Default Logic based on Specific Branching Time Models. ECAI (1996)
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA (1996)
Joeri Engelfriet, Jan Treur
Executable Temporal Logic for Non-Monotonic Reasoning. J. Symb. Comput. 22 (5/6) (1996)
Joeri Engelfriet, Jan Treur
Specification of Nonmonotonic Reasonong. FAPR (1996)
Joeri Engelfriet, Jan Treur
Temporal Theories of Reasoning. J. Appl. Non Class. Logics 5 (2) (1995)
Joeri Engelfriet, Jan Treur
Temporal Theories of Reasoning. J. Appl. Non Class. Logics 5 (1) (1995)
Joeri Engelfriet, Heinrich Herre, Jan Treur
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). ECSQARU (1995)
Joeri Engelfriet, Jan Treur
Temporal Theories of Reasoning. JELIA (1994)
Joeri Engelfriet
A Temporal Model Theory for Default Logic. ECSQARU (1993)