Logic and Artificial Intelligence: Divorced, Still Married, Separated ...?
Selmer BringsjordDavid A. FerrucciPublished in: Minds Mach. (1998)
Keyphrases
- artificial intelligence
- computational logic
- classical logic
- modal logic
- expert systems
- predicate logic
- software engineering
- logic programming
- human reasoning
- computational intelligence
- engineering design
- multi valued
- intelligent systems
- computer science
- automated reasoning
- intelligent agents
- knowledge representation and reasoning
- ai methods
- data sets
- structural engineering
- proof theory
- lecture notes in artificial intelligence
- sound and complete axiomatization
- digital circuits
- computational properties
- knowledge based systems
- knowledge representation
- neural network