scientific article; zbMATH DE number 1759733

zbMATH Open0988.68180MaRDI QIDQ4536748FDOQ4536748

Author name not available (Why is that?)

Publication date: 22 July 2002

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Cited In (5)

• Clausal resolution in a logic of rational agency
• Formalizing potential of agents. The KARO framework revisited
• Interactions between knowledge, action and commitment within agent dynamic logic
• On programming KARO agents
• Where logic and agents meet

Uses Software

• KARO
• SPASS

   Recommendations

• On programming KARO agents 👍 👎
• Title not available (Why is that?) 👍 👎
• Formalizing potential of agents. The KARO framework revisited 👍 👎
• Title not available (Why is that?) 👍 👎
• Reasoning about emotional agents 👍 👎

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 Q4536748)