Joeri Engelfriet

32 papers A 1B 4C 2Journal 18Unranked 7
YearRankTypeTitle / Venue / Authors
2003 J jnl
A compositional reasoning system for executing nonmonotonic theories of reasoning.
Int. J. Intell. Syst.
Joeri Engelfriet, Jan Treur
2003 J jnl
Multi-interpretation operators and approximate classification.
Int. J. Approx. Reason.
Joeri Engelfriet, Jan Treur
2002 J jnl
Analysis of Multi-Interpretable Ecological Monitoring Information.
Appl. Artif. Intell.
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
2002 J jnl
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
J. Log. Lang. Inf.
Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
2002 J jnl
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.
J. Log. Lang. Inf.
Joeri Engelfriet, Jan Treur
2001 J jnl
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.
IEEE Trans. Knowl. Data Eng.
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
2001 J jnl
Default logic and specification of nonmonotonic reasoning.
J. Exp. Theor. Artif. Intell.
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
2000 J jnl
Non-cumulative reasoning: rules and models.
J. Log. Comput.
Joeri Engelfriet
2000 J jnl
Specification of nonmonotonic reasoning.
J. Appl. Non Class. Logics
Joeri Engelfriet, Jan Treur
1999 J jnl
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults.
J. Log. Program.
Joeri Engelfriet, Heinrich Herre
1998 B conf
A Modal Logic of Information Change.
TARK
Joeri Engelfriet, Yde Venema
1998 J jnl
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.
J. Log. Lang. Inf.
Joeri Engelfriet, Jan Treur
1998 — conf
Analysis of multi-interpretable ecological monitoring information.
Applications of Uncertainty Formalisms
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
1998 — conf
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
ATAL
Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
1998 J jnl
Monotonicity and Persistence in Preferential Logics
CoRR
Joeri Engelfriet
1998 J jnl
Monotonicity and Persistence in Preferential Logics.
J. Artif. Intell. Res.
Joeri Engelfriet
1998 J jnl
Nonmonotonic Reasoning with Multiple Belief Sets.
Ann. Math. Artif. Intell.
Joeri Engelfriet, Heinrich Herre, Jan Treur
1998 — conf
Specification of Dynamics for Knowledge-Based Systems.
Transactions and Change in Logic Databases
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
1997 — conf
A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning.
ECSQARU-FAPR
Joeri Engelfriet, Jan Treur
1997 — conf
Generated Preferred Models and Extensions of Nonmonotonic Systems.
ILPS
Joeri Engelfriet, Heinrich Herre
1996 J jnl
Executable Temporal Logic for Non-Monotonic Reasoning.
J. Symb. Comput.
Joeri Engelfriet, Jan Treur
1996 B conf
Infinitary Default Logic for Specification of Nonmonotonic Reasoning.
JELIA
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
1996 J jnl
Minimal Temporal Epistemic Logic.
Notre Dame J. Formal Log.
Joeri Engelfriet
1996 — conf
Nonmonotonic Reasoning with Multiple Belief Sets.
FAPR
Joeri Engelfriet, Heinrich Herre, Jan Treur
1996 B conf
Only Persistence Makes Nonmonotonicity Monotonous.
JELIA
Joeri Engelfriet
1996 A conf
Semantics for Default Logic based on Specific Branching Time Models.
ECAI
Joeri Engelfriet, Jan Treur
1996 — conf
Specification of Nonmonotonic Reasonong.
FAPR
Joeri Engelfriet, Jan Treur
1995 C conf
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract).
ECSQARU
Joeri Engelfriet, Heinrich Herre, Jan Treur
1995 J jnl
Temporal Theories of Reasoning.
J. Appl. Non Class. Logics
Joeri Engelfriet, Jan Treur
1995 J jnl
Temporal Theories of Reasoning.
J. Appl. Non Class. Logics
Joeri Engelfriet, Jan Treur
1994 B conf
Temporal Theories of Reasoning.
JELIA
Joeri Engelfriet, Jan Treur
1993 C conf
A Temporal Model Theory for Default Logic.
ECSQARU
Joeri Engelfriet