Artificial intelligence today. Recent trends and development (Q1301504)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Artificial intelligence today. Recent trends and development |
scientific article; zbMATH DE number 1332087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Artificial intelligence today. Recent trends and development |
scientific article; zbMATH DE number 1332087 |
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
