Joeri Engelfriet

According to our database, Joeri Engelfriet authored at least 25 papers between 1993 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

A compositional reasoning system for executing nonmonotonic theories of reasoning.

Joeri Engelfriet, Jan Treur

Int. J. Intell. Syst., 2003

Multi-interpretation operators and approximate classification.

Joeri Engelfriet, Jan Treur

Int. J. Approx. Reason., 2003

2002

Linear, Branching Time and Joint Closure Semantics for Temporal Logic.

Joeri Engelfriet, Jan Treur

J. Log. Lang. Inf., 2002

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.

Joeri Engelfriet, Catholijn M. Jonker, Jan Treur

J. Log. Lang. Inf., 2002

Analysis of Multi-Interpretable Ecological Monitoring Information.

Frances M. T. Brazier, Joeri Engelfriet, Jan Treur

Appl. Artif. Intell., 2002

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

Default logic and specification of nonmonotonic reasoning.

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski

J. Exp. Theor. Artif. Intell., 2001

2000

Non-cumulative reasoning: rules and models.

Joeri Engelfriet

J. Log. Comput., 2000

Specification of nonmonotonic reasoning.

Joeri Engelfriet, Jan Treur

J. Appl. Non Class. Logics, 2000

1999

Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults.

Joeri Engelfriet, Heinrich Herre

J. Log. Program., 1999

1998

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.

Joeri Engelfriet, Jan Treur

J. Log. Lang. Inf., 1998

Monotonicity and Persistence in Preferential Logics.

Joeri Engelfriet

J. Artif. Intell. Res., 1998

Nonmonotonic Reasoning with Multiple Belief Sets.

Joeri Engelfriet, Heinrich Herre, Jan Treur

Ann. Math. Artif. Intell., 1998

A Modal Logic of Information Change.

Joeri Engelfriet, Yde Venema

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Specification of Dynamics for Knowledge-Based Systems.

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems

Proceedings of the Transactions and Change in Logic Databases, 1998

1997

Generated Preferred Models and Extensions of Nonmonotonic Systems.

Joeri Engelfriet, Heinrich Herre

Proceedings of the Logic Programming, 1997

1996

Minimal Temporal Epistemic Logic.

Joeri Engelfriet

Notre Dame J. Formal Log., 1996

Executable Temporal Logic for Non-Monotonic Reasoning.

Joeri Engelfriet, Jan Treur

J. Symb. Comput., 1996

Infinitary Default Logic for Specification of Nonmonotonic Reasoning.

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Only Persistence Makes Nonmonotonicity Monotonous.

Joeri Engelfriet

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Specification of Nonmonotonic Reasonong.

Joeri Engelfriet, Jan Treur

Proceedings of the Practical Reasoning, 1996

Semantics for Default Logic based on Specific Branching Time Models.

Joeri Engelfriet, Jan Treur

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Temporal Theories of Reasoning.

Joeri Engelfriet, Jan Treur

J. Appl. Non Class. Logics, 1995

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract).

Joeri Engelfriet, Heinrich Herre, Jan Treur

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1993

A Temporal Model Theory for Default Logic.

Joeri Engelfriet

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993