Searched for:
(1 - 3 of 3)
document
Verwer, S.E. (author), De Weerdt, M.M. (author), Zutt, J. (author)
In this interactive event we demonstrate a web-based software tool to teach theorem proving in propositional logic, called Bop. This tool is a proof editor in the Fitch proof system that can give hints, proofsteps, or even complete proofs to the student.
conference paper 2005
document
De Weerdt, M.M. (author), Van der Krogt, R.P.J. (author), Zutt, J. (author)
In this paper we discuss the results of a plan merging algorithm. This algorithm coordinates the plans of multiple, autonomous agents, each able to independently find a plan. This algorithm is evaluated using realistic data from a taxi company. We show that when we allow passengers to be a few minutes later at their destination and share rides,...
conference paper 2003
document
Zutt, J. (author), De Weerdt, M.M. (author)
To test and compare different forms of cooperative planning algorithms developed in the CABS project we use a generic simulator called MARS. Examples in the transportation sector are implemented in this simulator.
conference paper 2000