Logical Reasoning
Classical AI approaches using propositional logic, logical inference, and knowledge-based agents.
LLM Reasoning
Modern reasoning approaches using large language models including chain-of-thought and tool use.
Logical Reasoning
Classical AI reasoning based on formal logic, enabling agents to derive conclusions from known facts and rules.Automated Reasoning
Foundations of automated reasoning systems.
Propositional Logic
Boolean logic and propositional calculus.
Logical Inference
Inference rules and proof methods.
Logical Agents
Building agents that reason with logic.
LLM Reasoning
Modern reasoning approaches leveraging the emergent capabilities of large language models.Chain-of-Thought
Step-by-step reasoning with LLMs.
Tool Use
Extending LLM capabilities with external tools.
ReAct
Combining reasoning and acting in LLM agents.