scientific article; zbMATH DE number 2177626

zbMATH Open1103.68663MaRDI QIDQ3021908FDOQ3021908

Authors: Jacques Calmet, Pierre Maret, Regine Endsuleit 

Publication date: 21 June 2005

Full work available at URL: https://eudml.org/doc/41037

Title of this publication is not available (Why is that?)

Recommendations

• Agent abstraction via forgetting in the situation calculus
• scientific article; zbMATH DE number 2080588
• A formal model of multi-agent organisations
• Algebraic Methodology and Software Technology
• A theory of abstraction

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) General topics in artificial intelligence (68T01)

Cited In (3)

• Agent abstraction via forgetting in the situation calculus
• A theory of abstraction
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

This page was built for publication:

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