Non-cumulative Reasoning: Rules and Models

J. Engelfriet, Journal of Logic and Computation 10 (5):705-719, 2000.

The Dynamics of Reasoning

J. Engelfriet, Ph.D. thesis, Free University Amsterdam, 1999.

Multi-interpretation Operators and Approximate Classification

J. Engelfriet and J. Treur, International Journal of Approximate Reasoning 32: 43-61, 2003.

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

J. Engelfriet, C.M. Jonker, J. Treur, Journal of Logic, Language, and Information 11: 195-225, 2002.

Earlier version in: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V,

Lecture Notes in Artificial Intelligence 1555, Springer-Verlag, pp. 177-194, 1998, Pdf.

And in: J.J.Ch. Meyer and J. Treur (eds.), Handbook of Defeasible Reasoning and

Uncertainty Management Systems, Vol. 7, Kluwer Academic Publishers, pp. 221-250, 2002.

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

P.A.T. van Eck, J. Engelfriet, D. Fensel, F. van Harmelen, Y. Venema, and M. Willems,

IEEE Transactions on Knowledge and Data Engineering 13 (3): 462-496, 2001.

Earlier version appeared as "Specification of dynamics for knowledge-based systems

(extended abstract)" in: H. Decker, B. Freitag, M. Kifer and A. Voronkov (eds.), Transactions

and Change in Logic Databases, Lecture Notes in Computer Science 1472,

Springer-Verlag, 1998.

Analysis of Multi-interpretable Ecological Monitoring Information

F.M.T. Brazier, J. Engelfriet and J. Treur, Applied Artificial Intelligence Journal 16: 51-71, 2002.

Also in: A. Hunter and S. Parsons (eds.), Applications of Uncertainty Formalisms,

Lecture Notes in Artifical Intelligence 1455, Springer-Verlag, pp. 202-324, 1998.

A Modal Logic of Information Change

J. Engelfriet and Y. Venema, in: I. Gilboa (ed.), Theoretical Aspects of Rationality and

Knowledge, Proceedings of the Seventh Conference (TARK'98), Morgan Kaufmann,

pp. 125-131, 1998.

Monotonicity and Persistence in Preferential Logics

J. Engelfriet, Journal of Artificial Intelligence Research 8: 1-21, 1998.

Earlier version appeared as "Only Persistence Makes Nonmonotonicity Monotonous (extended abstract)",

in: J.J. Alferes, L.M. Pereira and E. Orlowska (eds.), Logics in Artificial

Intelligence, Proceedings JELIA'96, Lecture Notes in Artificial Intelligence 1126,

Springer-Verlag, pp. 164-175, 1996.

Stable Generated Models, Partial Temporal Logic and disjunctive Defaults

J. Engelfriet and H. Herre, Journal of Logic Programming 41 (1): 1-25, 1999.

Earlier version appeared as "Generated Models and Extensions of Non-monotonic Systems"

in: J. Maluszynski (ed.), Logic Programming, Proceedings of the 1997 International Symposium,

IPLS-97, MIT Press, pp. 85-99, 1997.

Executable Temporal Logic for Nonmonotonic Reasoning

J. Engelfriet and J. Treur, Journal of Symbolic Computation 22(5&6): 615-625, 1996.

Special issue on Executable Temporal Logics, edited by M. Fisher, S. Kono, and

M.A. Orgun.

A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

J. Engelfriet and J. Treur, International Journal of Intelligent Systems 18: 593-608, 2003.

Also in: D.M. Gabbay, R. Kruse, A. Nonnengart and H.J. Ohlbach (eds.), Qualitative and

Quantitative Practical Reasoning, Proceedings ECSQARU-FAPR'97, Lecture Notes in

Artificial Intelligence 1244, Springer-Verlag, pp. 252-266, 1997.

Minimal Temporal Epistemic Logic

J. Engelfriet, Notre Dame Journal of Formal Logic 37(2) : 233-259, 1996. Special Issue

on Combining Logics, edited by M. de Rijke and P. Blackburn.

Specification of Nonmonotonic Reasoning

J. Engelfriet and J. Treur, Journal of Applied Non-classical Logics 10: 7-27, 2000.

Earlier version in: D.M. Gabbay and H.J. Ohlbach (eds.), Practical Reasoning,

International Conference on Formal and Applied Practical Reasoning, FAPR'96, Lecture

Notes in Artificial Intelligence 1085, Springer-Verlag, pp. 111-125, 1996.

Also in: D.M. Gabbay and Ph. Smets (eds.), Handbook of Defeasible Reasoning and

Uncertainty Management Systems, Vol. 6, Kluwer Academic Publishers, pp. 83-103, 2001.

Nonmonotonic Reasoning with Multiple Belief Sets

J. Engelfriet, H. Herre and J. Treur, Annals of Mathematics and Artificial Intelligence 24: 225-248, 1998.

Earlier version in: D.M. Gabbay and H.J. Ohlbach (eds.), Practical Reasoning, International

Conference on Formal and Applied Practical Reasoning, FAPR'96, Lecture Notes in

Artificial Intelligence 1085, Springer-Verlag, pp. 331-344, 1996.

Semantics for Default Logic based on Specific Branching Time Models

J. Engelfriet and J. Treur, in: W. Wahlster (ed.), Proceedings 12th European Conference

on Artificial Intelligence, ECAI'96, John Wiley & Sons, pp. 60-64, 1996.

Default Logic and Specification of Non-monotonic Reasoning

J. Engelfriet, V.W. Marek, J. Treur, and M. Truszczynski, Journal of Experimental and Theoretical

Artificial Intelligence 13: 99-112, 2001.

Earlier version appeared as "Infinitary Default Logic for Specification of Nonmonotonic Reasoning"

in: J.J. Alferes, L.M. Pereira and E. Orlowska (eds.), Logics in Artificial Intelligence, Proceedings

JELIA'96, Lecture Notes in Artificial Intelligence 1126, Springer-Verlag, pp. 224-236, 1996.

Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract)

J. Engelfriet, H. Herre and J. Treur, in: C. Froidevaux and J. Kohlas (eds.), Proceedings

3rd European Conference on Symbolic and Quantitative Approaches to Reasoning

and Uncertainty, ECSQARU '95, Lecture Notes in Artificial Intelligence 946,

Springer-Verlag, pp. 189-196, 1995.

Temporal Theories of Reasoning

J. Engelfriet and J. Treur, Journal of Applied Non-Classical Logics 5 (2): 239-261,

1995. Also in: C. MacNish, D. Pearce and L.M. Pereira (eds.), Logics in

Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in

Artificial Inteligence, JELIA'94, Lecture Notes in Artificial

Intelligence 838, Springer-Verlag, pp. 279-299, 1994.

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

J. Engelfriet and J. Treur, Journal of Logic, Language and Information 11: 389-425, 2002.

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

J. Engelfriet and J. Treur, Journal of Logic, Language and Information 7:369-388, 1998.

Earlier version appeared as "A Temporal Model Theory for Default Logic" in: M. Clarke,

R. Kruse and S. Moral (eds.), Proceedings ECSQARU '93, Lecture Notes in Computer

Science 747, Springer-Verlag, pp. 91-96, 1993.

And in: D.M. Gabbay and Ph. Smets (eds.), Handbook of Defeasible Reasoning and

Uncertainty Management Systems, Vol. 6, Kluwer Academic Publishers, pp. 105-124, 2001.