Artificial intelligence today. Recent trends and development

DOI10.1007/3-540-48317-9MaRDI QIDQ1301504zbMATH OpenOpenAlexFDO

Authors

Publication date 5 September 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48317-9

zbMATH Keywords

Artificial intelligence

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

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]

Cited in

(7)

• An executable specification of a formal argumentation protocol
• Event calculus and temporal action logics compared
• scientific article; zbMATH DE number 2162300 (Why is no real title available?)
• Normative reasoning and consequence
• Basic theoretical results for expert systems. application to the supervision of adaptation transients in planar robots
• A unifying semantics for time and events
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning

This page was built for publication: Artificial intelligence today. Recent trends and development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1301504)