balder ten cate
Logic, Language, and Computation
Print on DemandEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book...
Web Reasoning and Rule Systems
Print on DemandThis book constitutes the refereed proceedings of the 9th International Conference on Web Reasoni...
Generating Plans from Proofs
Print on DemandQuery reformulation refers to a process of translating a source querya request for information in...
- 1