×

zbMATH — the first resource for mathematics

Treur, Jan

Compute Distance To:
Author ID: treur.jan Recent zbMATH articles by "Treur, Jan"
Published as: Treur, Jan; Treur, J.
External Links: MGP
Documents Indexed: 69 Publications since 1977, including 5 Books

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 65 times in 41 Documents Cited by Year
Deliberative normative agents: Principles and architecture. Zbl 0970.68629
Castelfranchi, Cristiano; Dignum, Frank; Jonker, Catholijn M.; Treur, Jan
7
2000
Temporal theories of reasoning. Zbl 0988.03513
Engelfriet, J.; Treur, J.
7
1994
Separate zeros and Galois extensions of skew fields. Zbl 0667.16019
Treur, Jan
6
1989
On duality for skew field extensions. Zbl 0661.16015
Treur, Jan
4
1988
Noncommutative splitting fields. Zbl 0697.16018
Treur, Jan
4
1990
Compositional verification of multi-agent systems in temporal multi-epistemic logic. Zbl 1002.68094
Engelfriet, Joeri; Jonker, Catholijn M.; Treur, Jan
3
2002
Representation theory for default logic. Zbl 0890.68121
Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
3
1997
The Cartan-Brauer-Hua theorem. Zbl 0367.16007
Treur, Jan
3
1977
Specification of nonmonotonic reasoning. Zbl 1033.03515
Engelfriet, Joeri; Treur, Jan
3
2000
An interpretation of default logic in minimal temporal epistemic logic. Zbl 0921.03037
Engelfriet, Joeri; Treur, Jan
2
1998
Executable temporal logic for non-monotonic reasoning. Zbl 0890.03007
Engelfriet, Joeri; Treur, Jan
2
1996
Polynomial extensions of skew fields. Zbl 0729.16009
Treur, Jan
2
1990
Diagnosis of the dynamics within an organization by trace checking of behavioural requirements. Zbl 1050.68774
Jonker, Catholijn; Letia, Ioan Alfred; Treur, Jan
2
2002
Compositional verification of a multi-agent system for one-to-many negotiation. Zbl 1080.68684
Brazier, Frances M. T.; Cornelissen, Frank; Gustavsson, Rune; Jonker, Catholijn M.; Lindeberg, Olle; Polak, Bianca; Treur, Jan
2
2004
Specification of nonmonotonic reasoning. Zbl 1419.68112
Engelfriet, Joeri; Treur, Jan
2
1996
Heuristic reasoning and relative incompleteness. Zbl 0797.68141
Treur, Jan
1
1993
On the use of organisation modelling techniques to address biological organisation. Zbl 1121.92002
Bosse, Tibor; Jonker, Catholijn M.; Treur, Jan
1
2007
Formal specification of complex reasoning systems. Based on the material from the international workshop on formal specification methods for complex reasoning systems, Vienna, Austria, 1992, organized during ECAI’92. Zbl 0827.68075
Treur, Jan (ed.); Wetter, Thomas (ed.)
1
1993
Temporal semantics of compositional task models and problem solving methods. Zbl 0909.68170
Brazier, Frances M. T.; Treur, Jan; Wijngaards, Niek J. E.; Willems, Mark
1
1998
Nonmonotonic reasoning with multiple belief sets. Zbl 0920.03039
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1998
Temporalizing epistemic default logic. Zbl 0921.03036
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
1998
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
1
2001
Temporal semantics of meta-level architectures for dynamic control of reasoning. Zbl 1017.68120
Treur, Jan
1
2001
Formal semantics of temporal epistemic reflection. Zbl 1051.68126
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
2001
Deliberate evolution in multi-agent systems. Zbl 1021.68528
Brazier, F. M. T.; Jonker, C. M.; Treur, J.; Wijngaards, N. J. E.
1
2001
Principles of component-based design of intelligent agents. Zbl 0995.68078
Brazier, Frances M. T.; Jonker, Catholijn M.; Treur, Jan
1
2002
Handbook of defeasible reasoning and uncertainty management systems. VII: Agent-based defeasible control in dynamic environments. Zbl 1058.68090
Meyer, J.-J. Ch. (ed.); Treur, J. (ed.)
1
2002
Nonmonotonic reasoning with multiple belief sets. Zbl 1419.68111
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1996
On the use of organisation modelling techniques to address biological organisation. Zbl 1121.92002
Bosse, Tibor; Jonker, Catholijn M.; Treur, Jan
1
2007
Compositional verification of a multi-agent system for one-to-many negotiation. Zbl 1080.68684
Brazier, Frances M. T.; Cornelissen, Frank; Gustavsson, Rune; Jonker, Catholijn M.; Lindeberg, Olle; Polak, Bianca; Treur, Jan
2
2004
Compositional verification of multi-agent systems in temporal multi-epistemic logic. Zbl 1002.68094
Engelfriet, Joeri; Jonker, Catholijn M.; Treur, Jan
3
2002
Diagnosis of the dynamics within an organization by trace checking of behavioural requirements. Zbl 1050.68774
Jonker, Catholijn; Letia, Ioan Alfred; Treur, Jan
2
2002
Principles of component-based design of intelligent agents. Zbl 0995.68078
Brazier, Frances M. T.; Jonker, Catholijn M.; Treur, Jan
1
2002
Handbook of defeasible reasoning and uncertainty management systems. VII: Agent-based defeasible control in dynamic environments. Zbl 1058.68090
Meyer, J.-J. Ch.; Treur, J.
1
2002
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
1
2001
Temporal semantics of meta-level architectures for dynamic control of reasoning. Zbl 1017.68120
Treur, Jan
1
2001
Formal semantics of temporal epistemic reflection. Zbl 1051.68126
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
2001
Deliberate evolution in multi-agent systems. Zbl 1021.68528
Brazier, F. M. T.; Jonker, C. M.; Treur, J.; Wijngaards, N. J. E.
1
2001
Deliberative normative agents: Principles and architecture. Zbl 0970.68629
Castelfranchi, Cristiano; Dignum, Frank; Jonker, Catholijn M.; Treur, Jan
7
2000
Specification of nonmonotonic reasoning. Zbl 1033.03515
Engelfriet, Joeri; Treur, Jan
3
2000
An interpretation of default logic in minimal temporal epistemic logic. Zbl 0921.03037
Engelfriet, Joeri; Treur, Jan
2
1998
Temporal semantics of compositional task models and problem solving methods. Zbl 0909.68170
Brazier, Frances M. T.; Treur, Jan; Wijngaards, Niek J. E.; Willems, Mark
1
1998
Nonmonotonic reasoning with multiple belief sets. Zbl 0920.03039
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1998
Temporalizing epistemic default logic. Zbl 0921.03036
van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan
1
1998
Representation theory for default logic. Zbl 0890.68121
Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
3
1997
Executable temporal logic for non-monotonic reasoning. Zbl 0890.03007
Engelfriet, Joeri; Treur, Jan
2
1996
Specification of nonmonotonic reasoning. Zbl 1419.68112
Engelfriet, Joeri; Treur, Jan
2
1996
Nonmonotonic reasoning with multiple belief sets. Zbl 1419.68111
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1996
Temporal theories of reasoning. Zbl 0988.03513
Engelfriet, J.; Treur, J.
7
1994
Heuristic reasoning and relative incompleteness. Zbl 0797.68141
Treur, Jan
1
1993
Formal specification of complex reasoning systems. Based on the material from the international workshop on formal specification methods for complex reasoning systems, Vienna, Austria, 1992, organized during ECAI’92. Zbl 0827.68075
Treur, Jan; Wetter, Thomas
1
1993
Noncommutative splitting fields. Zbl 0697.16018
Treur, Jan
4
1990
Polynomial extensions of skew fields. Zbl 0729.16009
Treur, Jan
2
1990
Separate zeros and Galois extensions of skew fields. Zbl 0667.16019
Treur, Jan
6
1989
On duality for skew field extensions. Zbl 0661.16015
Treur, Jan
4
1988
The Cartan-Brauer-Hua theorem. Zbl 0367.16007
Treur, Jan
3
1977

Citations by Year