- 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