5681 search results - page 759 / 1137 » A Domain Model for eParticipation |
206
click to vote
WOA
2000
15 years 9 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
202
click to vote
AAAI
1994
15 years 9 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
195
click to vote
AAAI
1994
15 years 9 months ago
1994
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...
205
click to vote
NIPS
1993
15 years 9 months ago
1993
While exploring to nd better solutions, an agent performing online reinforcement learning (RL) can perform worse than is acceptable. In some cases, exploration might have unsafe, ...
191
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper presents a new planning/scheduling methodology for the constrained resource problem (CRP), in which the amount of available resources is limited and usually monotonical...