Joeri Engelfriet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Infinitary default logic for specification of nonmonotonic reasoning Logics in Artificial Intelligence	2019-10-08	Paper
Only persistence makes nonmonotonicity monotonous (extended abstract) Logics in Artificial Intelligence	2019-10-08	Paper
Specification of nonmonotonic reasoning Practical Reasoning	2019-04-29	Paper
Nonmonotonic reasoning with multiple belief sets Practical Reasoning	2019-04-29	Paper
Specification of nonmonotonic reasoning Journal of Applied Non-Classical Logics	2004-01-13	Paper
A compositional reasoning system for executing nonmonotonic theories of reasoning International Journal of Intelligent Systems	2003-08-20	Paper
Multi-interpretation operators and approximate classification. International Journal of Approximate Reasoning	2003-07-01	Paper
Default logic and specification of nonmonotonic reasoning	2003-04-07	Paper
Linear, branching time and joint closure semantics for temporal logic Journal of Logic, Language and Information	2003-03-12	Paper
Compositional verification of multi-agent systems in temporal multi-epistemic logic Journal of Logic, Language and Information	2002-08-20	Paper
scientific article; zbMATH DE number 1754686 (Why is no real title available?)	2002-07-02	Paper
scientific article; zbMATH DE number 1761424 (Why is no real title available?)	2002-06-30	Paper
scientific article; zbMATH DE number 1754685 (Why is no real title available?)	2002-06-12	Paper
Non-cumulative reasoning: rules and models Journal Of Logic And Computation	2000-12-19	Paper
scientific article; zbMATH DE number 1407675 (Why is no real title available?)	2000-02-28	Paper
Stable generated models, partial temporal logic and disjunctive defaults The Journal of Logic Programming	2000-01-04	Paper
An interpretation of default logic in minimal temporal epistemic logic Journal of Logic, Language and Information	1999-09-29	Paper
Nonmonotonic reasoning with multiple belief sets Annals of Mathematics and Artificial Intelligence	1999-06-20	Paper
Executable temporal logic for non-monotonic reasoning Journal of Symbolic Computation	1998-06-23	Paper
Minimal temporal epistemic logic Notre Dame Journal of Formal Logic	1997-06-26	Paper
Temporal theories of reasoning Journal of Applied Non-Classical Logics	1996-03-05	Paper

Research outcomes over time

This page was built for person: Joeri Engelfriet