A logical framework for cooperative software development.
Don CohenKhaled NarayanaswamyPublished in: ISPW (1990)
Keyphrases
- logical framework
- software development
- cooperative
- inference rules
- reasoning tasks
- belief revision
- software engineering
- software developers
- case study
- possibilistic logic
- multi agent
- software architecture
- multi agent systems
- software projects
- epistemic logic
- linear logic
- artificial intelligence
- normative systems
- lower bound
- computational complexity