Logic and agent programming languages

DOI10.1007/978-3-642-39992-3_1MaRDI QIDQ2849419zbMATH OpenOpenAlexFDO

Authors Natasha Alechina

Publication date 17 September 2013

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39992-3_1

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in artificial intelligence (68T27)

Recommendations

• Levels of modality for BDI logic
• Reasoning agents in dynamic domains
• scientific article; zbMATH DE number 2090554
• Natural language and logic of agency
• Sequent calculus usage for BDI agent implementation

Cited in

(9)

• scientific article; zbMATH DE number 2090554 (Why is no real title available?)
• Agent languages, visual virtual trees, and models
• scientific article; zbMATH DE number 2096829 (Why is no real title available?)
• Theories of reasoning about location and application in programming
• Sequent calculus usage for BDI agent implementation
• scientific article; zbMATH DE number 1759736 (Why is no real title available?)
• Logical theories of intention and the database perspective
• scientific article; zbMATH DE number 2087695 (Why is no real title available?)
• Probabilistic logic over paths

Describes a project that uses

Uses Software

• 2APL

This page was built for publication: Logic and agent programming languages

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