72 search results - page 15 / 15 » ai 2002 |
89
Voted
AIM
2002
14 years 10 months ago
2002
The operation of a human organization requires dozens of everyday tasks to ensure coherence in organizational activities, to monitor the status of such activities, to gather infor...
69
Voted
APAL
2002
14 years 10 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...