Login
中文
Franz Baader
HIndex: 28
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Knowledge base
Modal logic
Reinforcement learning
Theory of computation
Mathematical analysis
Model of computation
Automated theorem proving
Probability and statistics
Rotation formalisms in three dimensions
Markov decision process
Satisfiability
Knowledge representation and reasoning
Discrete mathematics
Description logic
Formal concept analysis
Machine learning
Numerical analysis
Logic
Computability
Inductive reasoning
Automated reasoning
Word problem
Computer Science
Expressive power
Artificial intelligence
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Knowledge base
Modal logic
Reinforcement learning
Theory of computation
Mathematical analysis
Model of computation
Automated theorem proving
Probability and statistics
Rotation formalisms in three dimensions
Markov decision process
Satisfiability
Knowledge representation and reasoning
Discrete mathematics
Description logic
Formal concept analysis
Machine learning
Numerical analysis
Logic
Computability
Inductive reasoning
Automated reasoning
Word problem
Computer Science
Expressive power
Artificial intelligence
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Franz Baader
Heriot Watt University
295
Franz Baader
Technical University Of Kenya
2
×
Share to your followers
Submit