Bernd van Linder

According to our database, Bernd van Linder authored at least 13 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

A logic for KARO agents(?)

Bernd van Linder

PhD thesis, 2000

On Agents That Have the Ability to Choose.

Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer

Stud Logica, 2000

1999

A Logical Approach to the Dynamics of Commitments.

John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder

Artif. Intell., 1999

1998

Formalising Abilities and Opportunities of Agents.

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

Fundam. Informaticae, 1998

1997

Seeing Is Believing.

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

J. Log. Lang. Inf., 1997

The Dynamics of Default Reasoning.

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

Data Knowl. Eng., 1997

1996

Modelling Social Agents: Communication as Action.

Frank Dignum, Bernd van Linder

Proceedings of the Intelligent Agents III, 1996

1995

Actions That Make You Change Your Mind (Extended Abstract).

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

The Dynamics of Default Reasoning (Extended Abstract).

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

Formalising Motivational Attitudes of Agents.

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents II, 1995

1994

A Logic of Capabilities.

Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Communicating Rational Agents.

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Tests as Epistemic Updates.

Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994