Readings in nonmonotonic reasoning
Predicate calculus and program semantics
Predicate calculus and program semantics
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
A Discipline of Programming
Program Verification Techniques as a Tool for Reasoning about Action and Change
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning about Action and Change: Actions with Abnormal Effects
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
In order to rank the performance of machine learning algorithms, many researchers conduct experiments on benchmark data sets. Since most learning algorithms have domain-specific parameters, it is a popular custom to adapt these parameters to obtain a ...