Login / Signup

A logical framework to model software development by multiple agents following a common specification.

Georgios V. PitsiladisPetros S. Stefaneas
Published in: J. Log. Comput. (2024)
Keyphrases
  • logical framework
  • multiple agents
  • software development
  • probabilistic model
  • high level
  • artificial intelligence
  • multi agent
  • decision making
  • probability distribution
  • belief revision