Artificial intelligence today. Recent trends and development (Q1301504)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Artificial intelligence today. Recent trends and development |
scientific article |
Statements
Artificial intelligence today. Recent trends and development (English)
0 references
5 September 1999
0 references
The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Baader, Franz}, Logic-based knowledge representation, 13-41 [Zbl 0956.68537] \textit{Bonacina, Maria Paola}, A taxonomy of theorem-proving strategies, 43-84 [Zbl 0984.03011] \textit{Bundy, Alan}, A survey of automated deduction, 153-174 [Zbl 0947.03011] \textit{Prakken, Henry; Sartor, Giovanni}, A system for defeasible argumentation, with defeasible priorities, 365-379 [Zbl 0956.68536]
0 references
Artificial intelligence
0 references
