scientific article; zbMATH DE number 1305374

zbMath0927.03056MaRDI QIDQ4252252

Klaus Schild

Publication date: 13 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrencyaxiomatizationpropositional \(\mu\)-calculusBDI theorybehavior of agentslogics of concurrent programsrational balance between beliefs, desires, and intentions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Where logic and agents meet

This page was built for publication: