Joeri Engelfriet

According to our database1, Joeri Engelfriet authored at least 32 papers between 1993 and 2003.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2003
A compositional reasoning system for executing nonmonotonic theories of reasoning.
Int. J. Intell. Syst., 2003

Multi-interpretation operators and approximate classification.
Int. J. Approx. Reasoning, 2003

2002
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.
Journal of Logic, Language and Information, 2002

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
Journal of Logic, Language and Information, 2002

Analysis of Multi-Interpretable Ecological Monitoring Information.
Applied Artificial Intelligence, 2002

2001
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.
IEEE Trans. Knowl. Data Eng., 2001

Default logic and specification of nonmonotonic reasoning.
J. Exp. Theor. Artif. Intell., 2001

2000
Non-cumulative reasoning: rules and models.
J. Log. Comput., 2000

Specification of nonmonotonic reasoning.
Journal of Applied Non-Classical Logics, 2000

1999
Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults.
J. Log. Program., 1999

1998
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.
Journal of Logic, Language and Information, 1998

Monotonicity and Persistence in Preferential Logics.
J. Artif. Intell. Res., 1998

Monotonicity and Persistence in Preferential Logics
CoRR, 1998

Nonmonotonic Reasoning with Multiple Belief Sets.
Ann. Math. Artif. Intell., 1998

A Modal Logic of Information Change.
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Analysis of multi-interpretable ecological monitoring information.
Proceedings of the Applications of Uncertainty Formalisms, 1998

Specification of Dynamics for Knowledge-Based Systems.
Proceedings of the Transactions and Change in Logic Databases, 1998

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
Proceedings of the Intelligent Agents V, 1998

1997
Generated Preferred Models and Extensions of Nonmonotonic Systems.
Proceedings of the Logic Programming, 1997

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
Minimal Temporal Epistemic Logic.
Notre Dame Journal of Formal Logic, 1996

Executable Temporal Logic for Non-Monotonic Reasoning.
J. Symb. Comput., 1996

Infinitary Default Logic for Specification of Nonmonotonic Reasoning.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Only Persistence Makes Nonmonotonicity Monotonous.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Specification of Nonmonotonic Reasonong.
Proceedings of the Practical Reasoning, 1996

Nonmonotonic Reasoning with Multiple Belief Sets.
Proceedings of the Practical Reasoning, 1996

Semantics for Default Logic based on Specific Branching Time Models.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995
Temporal Theories of Reasoning.
Journal of Applied Non-Classical Logics, 1995

Temporal Theories of Reasoning.
Journal of Applied Non-Classical Logics, 1995

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract).
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
Temporal Theories of Reasoning.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1993
A Temporal Model Theory for Default Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993


  Loading...