An agent program logic with declarative goals
More Info
expand_more
expand_more