( en | de | ru )

 

Disambiguation of "Engelfriet, Joeri"

Author of the publication

copydeleteadd this publication to your clipboard
Specification of Dynamics for Knowledge-Based Systems.

, , , , , and . Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, page 37-68. Springer, (1998)

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

Nonmonotonic Reasoning with Multiple Belief Sets., , and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 331-344. Springer, (1996)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)Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic., , and . J. Log. Lang. Inf., 11 (2): 195-225 (2002)Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract)., , and . ECSQARU, volume 946 of Lecture Notes in Computer Science, page 189-196. Springer, (1995)A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning., and . ECSQARU-FAPR, volume 1244 of Lecture Notes in Computer Science, page 252-266. Springer, (1997)Specification of Dynamics for Knowledge-Based Systems., , , , , and . Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, page 37-68. Springer, (1998)Temporal Theories of Reasoning., and . JELIA, volume 838 of Lecture Notes in Computer Science, page 279-299. Springer, (1994)Generated Preferred Models and Extensions of Nonmonotonic Systems., and . ILPS, page 85-99. MIT Press, (1997)A Modal Logic of Information Change., and . TARK, page 125-131. Morgan Kaufmann, (1998)Specification of Nonmonotonic Reasonong., and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 111-125. Springer, (1996)