3 records found
1
Goals in conflict: semantic foundations of goals in agent programming
Agent logics and program logics: grounding KARO
An agent program logic with declarative goals