Alex Sinner

According to our database, Alex Sinner authored at least 8 papers between 1999 and 2005.

Collaborative distances:

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

2005

User Profiles and Matchmaking on Mobile Phones.

Thomas Kleemann, Alex Sinner

Proceedings of the Declarative Programming for Knowledge Management, 2005

Decision Support for Personalization on Mobile Devices.

Thomas Kleemann, Alex Sinner

Proceedings of the Logic Programming, 21st International Conference, 2005

KRHyper - In Your Pocket.

Alex Sinner, Thomas Kleemann

Proceedings of the Automated Deduction, 2005

2004

Living Book - Deduction, Slicing, and Interaction.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner

J. Autom. Reason., 2004

2003

'Living Book': -'Deduction', 'Slicing', 'Interaction'.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2000

Karlsruhe Brainstormers - A Reinforcement Learning Approach to Robotic Soccer.

Martin A. Riedmiller, Artur Merke, David Meier, Andreas Hoffmann, Alex Sinner, Ortwin Thate, R. Ehrmann

Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

Karlsruhe Brainstormers 2000 Team Description.

Martin A. Riedmiller, Artur Merke, David Meier, Andreas Hoffmann, Alex Sinner, Ortwin Thate

Proceedings of the RoboCup 2000: Robot Soccer World Cup IV, 2000

1999

Karlsruhe Brainstormers - Design Principles.

Martin A. Riedmiller, Sebastian Buck, Artur Merke, R. Ehrmann, Ortwin Thate, S. Dilger, Alex Sinner, Andreas Hoffmann, Lutz Frommberger

Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999