( en | de | ru )

 

Disambiguation of "Engelfriet, Joeri"

Author of the publication

copydeleteadd this publication to your clipboard
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective.

, , , , , and . IEEE Trans. Knowl. Data Eng., 13 (3): 462-496 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Patrick Joerin

Bernhard Joeris

Dagmar Joeris

Klaus Joeris

Peter Joerißen

 

Other publications of authors with the same name

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic., , and . ATAL, volume 1555 of Lecture Notes in Computer Science, page 177-193. Springer, (1998)A Modal Logic of Information Change., and . TARK, page 125-131. Morgan Kaufmann, (1998)A Temporal Model Theory for Default Logic.. ECSQARU, volume 747 of Lecture Notes in Computer Science, page 91-96. Springer, (1993)Analysis of multi-interpretable ecological monitoring information., , and . Applications of Uncertainty Formalisms, volume 1455 of Lecture Notes in Computer Science, page 303-324. Springer, (1998)Specification of Nonmonotonic Reasonong., and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 111-125. Springer, (1996)Linear, Branching Time and Joint Closure Semantics for Temporal Logic., and . J. Log. Lang. Inf., 11 (4): 389-425 (2002)Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults., and . J. Log. Program., 41 (1): 1-25 (1999)A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective., , , , , and . IEEE Trans. Knowl. Data Eng., 13 (3): 462-496 (2001)Analysis of Multi-Interpretable Ecological Monitoring Information., , and . Applied Artificial Intelligence, 16 (1): 29-50 (2002)Nonmonotonic Reasoning with Multiple Belief Sets., , and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 331-344. Springer, (1996)