Joeri Engelfriet

Available identifiers

Publication	Date of Publication	Type
Infinitary default logic for specification of nonmonotonic reasoning	2019-10-08	Paper
Only persistence makes nonmonotonicity monotonous	2019-10-08	Paper
Specification of nonmonotonic reasoning	2019-04-29	Paper
Nonmonotonic reasoning with multiple belief sets	2019-04-29	Paper
Specification of nonmonotonic reasoning	2004-01-13	Paper
A compositional reasoning system for executing nonmonotonic theories of reasoning	2003-08-20	Paper
Multi-interpretation operators and approximate classification.	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	2003-03-12	Paper
Compositional verification of multi-agent systems in temporal multi-epistemic logic	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4535114	2002-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4537444	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4535113	2002-06-12	Paper
Non-cumulative reasoning: rules and models	2000-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4940930	2000-02-28	Paper
Stable generated models, partial temporal logic and disjunctive defaults	2000-01-04	Paper
An interpretation of default logic in minimal temporal epistemic logic	1999-09-29	Paper
Nonmonotonic reasoning with multiple belief sets	1999-06-20	Paper
Executable temporal logic for non-monotonic reasoning	1998-06-23	Paper
Minimal temporal epistemic logic	1997-06-26	Paper
Temporal theories of reasoning	1996-03-05	Paper

This page was built for person: Joeri Engelfriet