The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joeri Engelfriet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
    Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:177-193 [Conf]
  2. Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
    Specification of Dynamics for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    Transactions and Change in Logic Databases, 1998, pp:37-68 [Conf]
  3. Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
    Analysis of multi-interpretable ecological monitoring information. [Citation Graph (0, 0)][DBLP]
    Applications of Uncertainty Formalisms, 1998, pp:303-324 [Conf]
  4. Joeri Engelfriet, Jan Treur
    Semantics for Default Logic based on Specific Branching Time Models. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:60-64 [Conf]
  5. Joeri Engelfriet, Heinrich Herre, Jan Treur
    Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:189-196 [Conf]
  6. Joeri Engelfriet
    A Temporal Model Theory for Default Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:91-96 [Conf]
  7. Joeri Engelfriet, Jan Treur
    A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:252-266 [Conf]
  8. Joeri Engelfriet, Heinrich Herre, Jan Treur
    Nonmonotonic Reasoning with Multiple Belief Sets. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:331-344 [Conf]
  9. Joeri Engelfriet, Jan Treur
    Specification of Nonmonotonic Reasonong. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:111-125 [Conf]
  10. Joeri Engelfriet
    Only Persistence Makes Nonmonotonicity Monotonous. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:164-175 [Conf]
  11. Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
    Infinitary Default Logic for Specification of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:224-236 [Conf]
  12. Joeri Engelfriet, Jan Treur
    Temporal Theories of Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:279-299 [Conf]
  13. Joeri Engelfriet, Heinrich Herre
    Generated Preferred Models and Extensions of Nonmonotonic Systems. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:85-99 [Conf]
  14. Joeri Engelfriet, Yde Venema
    A Modal Logic of Information Change. [Citation Graph (0, 0)][DBLP]
    TARK, 1998, pp:125-131 [Conf]
  15. Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
    Analysis of Multi-Interpretable Ecological Monitoring Information. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2002, v:16, n:1, pp:29-50 [Journal]
  16. Joeri Engelfriet, Heinrich Herre, Jan Treur
    Nonmonotonic Reasoning with Multiple Belief Sets. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:24, n:1-4, pp:225-248 [Journal]
  17. Joeri Engelfriet
    Monotonicity and Persistence in Preferential Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  18. Joeri Engelfriet, Jan Treur
    Multi-interpretation operators and approximate classification. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 2003, v:32, n:1, pp:43-61 [Journal]
  19. Joeri Engelfriet, Jan Treur
    A compositional reasoning system for executing nonmonotonic theories of reasoning. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2003, v:18, n:6, pp:593-607 [Journal]
  20. Joeri Engelfriet
    Monotonicity and Persistence in Preferential Logics. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1998, v:8, n:, pp:1-21 [Journal]
  21. Joeri Engelfriet, Jan Treur
    Specification of nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:1, pp:- [Journal]
  22. Joeri Engelfriet, Jan Treur
    Temporal Theories of Reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
  23. Joeri Engelfriet, Jan Treur
    Temporal Theories of Reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:2, pp:- [Journal]
  24. Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
    Default logic and specification of nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2001, v:13, n:2, pp:99-112 [Journal]
  25. Joeri Engelfriet, Heinrich Herre
    Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:1-25 [Journal]
  26. Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
    Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:2, pp:195-225 [Journal]
  27. Joeri Engelfriet, Jan Treur
    Linear, Branching Time and Joint Closure Semantics for Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:4, pp:389-425 [Journal]
  28. Joeri Engelfriet, Jan Treur
    An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:369-388 [Journal]
  29. Joeri Engelfriet, Jan Treur
    Executable Temporal Logic for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:5/6, pp:615-625 [Journal]
  30. Joeri Engelfriet
    Non-cumulative reasoning: rules and models. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:5, pp:705-719 [Journal]
  31. Joeri Engelfriet
    Minimal Temporal Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:233-259 [Journal]
  32. Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems
    A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2001, v:13, n:3, pp:462-496 [Journal]

Search in 1.195secs, Finished in 1.197secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002