scientific article; zbMATH DE number 6606384

zbMath1341.68025MaRDI QIDQ5740456

Yves Lespérance, Sebastian Sardiña

Publication date: 26 July 2016

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

zbMATH Keywords

agent-oriented programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17) Agent technology and artificial intelligence (68T42)

Related Items (1)

Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs

Uses Software

• GOLOG

This page was built for publication: