Logic
Computing Research Repository - Logic in Computer Science
Publications about logic.Categories: Logic
CPSC 533: Artificial Intelligence (W99)
University of Calgary AI website with many resources about AI.From here to human-level AI
By John McCarthy. Article about what has be overcome and done to build human-level AI.Categories: Logic
Game semantics or linear logic?
Short article about game semantics and linear logic. Also contains some links to other sites.Lecture slides for users of Artificial Intelligence: A Modern Approach
By Stuart Russell and Peter Norvig. Slides used at Berkeley University base on the book "Artificial Intelligence: A Modern Approach".Categories: Agents, Belief Networks, Books, Bots, Constraint Satisfaction, Decision, Games, General, History, Learning, Logic, Planning, Search
Logic: Introduction
Example exercises with solutions.Categories: Logic
Making Robots Conscious of their Mental States
By John McCarthy. Talks about logical AI and the necessity of robots to be conscious about its surroundings.Stanford Encyclopedia of Philosophy - Logic and Artificial Intelligence
Extensive article about logic and artificial intelligence.Categories: Logic
Stanford Encyclopedia of Philosophy - Logic and Games
Article about logic games, its history and differente types of games.Categories: Game Theory, Logic
Wikipedia - Computability Logic
Wikipedia's definition of computability logic.Categories: Logic
| 1 2 | Next > |