Formal specifications for a document management assistant

DOI10.1007/978-90-481-9112-3_19MaRDI QIDQ4930213zbMATH OpenOpenAlexFDO

Authors Daniel G. Schwartz

Publication date 28 September 2010

Published in Innovations in Computing Sciences and Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-90-481-9112-3_19

zbMATH Keywords

Dynamic Reasoning System

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Agent technology and artificial intelligence (68T42)

Recommendations

• Dynamic reasoning systems
• A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
• scientific article; zbMATH DE number 1222272
• A conceptual framework for agent definition and development
• A formal framework for interactive agents

Cited in

(1)

• Dynamic reasoning systems

This page was built for publication: Formal specifications for a document management assistant

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