Advanced topics in artificial intelligence. 11th Australian joint conference, AI '98, Brisbane, Australia, July 13--17, 1998. Proceedings (Q1270496)
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: Advanced topics in artificial intelligence. 11th Australian joint conference, AI '98, Brisbane, Australia, July 13--17, 1998. Proceedings |
scientific article; zbMATH DE number 1214279
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Advanced topics in artificial intelligence. 11th Australian joint conference, AI '98, Brisbane, Australia, July 13--17, 1998. Proceedings |
scientific article; zbMATH DE number 1214279 |
Statements
Advanced topics in artificial intelligence. 11th Australian joint conference, AI '98, Brisbane, Australia, July 13--17, 1998. Proceedings (English)
0 references
21 October 1998
0 references
The articles of mathematical interest will be reviewed individually. The preceding conference (2nd, 1988) has been announced (see Zbl 0752.68002). Indexed articles: \textit{Bonnette, Nicolette; Goré, Rajeev}, A labelled sequent system for tense logic \(\mathbf {K}_t\), 71-82 [Zbl 0928.03005] \textit{Dawson, Jeremy E.; Goré, Rajeev}, A mechanisation of classical modal tense logics using Isabelle, 107-118 [Zbl 0928.03006] \textit{Maher, M. J.; Antoniou, G.; Billington, D.}, A study of provability in defeasible logic, 215-226 [Zbl 0928.03029]
0 references
Brisbane (Australia)
0 references
Proceedings
0 references
Conference
0 references
AI '98
0 references
Artificial intelligence
0 references
0.9301286
0 references
0.8955896
0 references
0.87305576
0 references
0.87088585
0 references
0.86685073
0 references
0 references
0.8599426
0 references
