Sequent calculus usage for BDI agent implementation

MaRDI QIDQ3607557zbMATH OpenFDO

Authors Adomas Birštunas

Publication date 2 March 2009

zbMATH Keywords

agent-based systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Levels of modality for BDI logic
• Deduction systems for BDI logics with mental state consistency
• scientific article; zbMATH DE number 1305374
• Logic and agent programming languages
• The semantics of behavior

Cited in

(2)

• Deduction systems for BDI logics with mental state consistency
• Logic and agent programming languages

This page was built for publication: Sequent calculus usage for BDI agent implementation

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