Table Of Content

Journal of Automated Reasoning (2007) 39 © Springer 2007 Author index to volume 39 Asperti, A., 109 Liquori, L., | Aspinall, D., 107 Liith, C., 107 Baader, F., 245 Masthoff, J., 431 Billingsley, W., 181 Miculan, M., | Brooks, D. R., 471 Minett, J. W., 471 Biining, K. H., 49 Morawska, B., 77 Motik, B., 351 Cairns, P., 141 Calvanese, D., 385 Narboux, J., 161 Ciaffaglione, A., | Coen, C. S., 109 Patel-Schneider, F. P., 277 Cornet, R., 317 Ringe, D., 471 De Giacomo, G., 385 Robinson, P., 181 Erdem, E., 471 Rosati, R., 385 Erd6dgan, S. T., 471 Sattler, U., 249, 351 Fish, A., 431 Schlobach, S., 317 Flower, J., 431 Sinz, C., 219 Forest, J., 513 Southern, J., 431 Stapleton, G., 431 Gow, J., 141 Subramani, K., 49 Horrocks, I., 249, 277 Tassi, E., 109 Huang, Z., 317 Tsarkov, D., 277 Hustadt, U., 351 van Harmelen, F., 317 Kesner, D., 513 Lembo, D., 385 Zacchiroli, S., 109 Lenzerini, M., 385 Zhao, X., 49 9) Springer the language of science Banner Advertising on SpringerLink.com Reach thousands of science, medical and technical researchers and professionals daily As one of the largest providers of scientific, technical and medical publications, SpringerLink.com is the ideal site for display advertisers interested in accessing a highly qualified, global audience of scientists and researchers Nearly one million unique visitors each day Over 1.5 million Page Impressions per day 90% of visitors to SpringerLink are research professionals or academics Share of Voice lets you determine how much penetration you want in any particular universe Target your message to reach your specific audience Key word targeting can give your banner exclusivity Contact Us! For more information please contact springer.coin/advertising or contact Springer Advertising Sales » Scott Marshall, Sr. Advertising Sales Manager, Tel » +1 (212) 620-8405, eMail > [email protected] Journal of Automated Reasoning (2007) 39 © Springer 2007 Subject index to volume 39 Alcor, 141 Interactive theorem proving, 1, 109 Answer set programming, 471 Interface, 161 Automated theorem proving, 161 Isabelle, 181 Authoring, 109 Logical foundations of programming, | Boolean function, 49 Logical frameworks, | LSI, 141 Cladistics, 471 Coinductive type theories, | Mathematical knowledge Complexity, 49 management, 109 Coq, 161 Mathematics, 141 Cycle rule, 77 MathsTiles, 181 Mizar, 141 Data complexity, 351 Model, 49 Debugging, 317 Decision procedures, 249 Ontology languages, 385 Description logic, 249, 277 Optimizations, 277 Description logics, 317, 351, 385 Diagnosis, 317 Pattern matching, 513 Diagrammatic reasoning, 431 Phylogeny, 471 Digital libraries, 109 Proof assistant, 109, 161 Disjunctive datalog, 351 Propositional logic, 49 DL-Lite, 385 DPLL procedure, 219 Quantified Boolean formula, 49 Dynamic geometry, 161 Query answering, 385 E-unification, 77 Reasoning systems, 277 Euler diagrams, 431 Expression reduction systems, 513 SAT instance, 219 Satisfiability, 49 Functional and imperative object-calculi, | Geometry, 161 Theorem prover, 161 Variable elimination, 77 Heuristics, 431 Higher-order rewriting, 513 Visual languages, 431 Information retrieval, 141 Intelligent book, 181 XML, 109 9) Springer the language of science Gr ditorial anager Editorial Manager™ is a user-friendly online submission and review management system. Authors may submit manuscripts and track their progress in the system. Reviewers can download manuscripts and submit their recommendations to the Editor, and Editors can manage the whole submission/review/revision/decision process. Benefits of using Editorial Manager™ > Easy online submission of manuscripts > Compiles real-time statistics > Improves peer-review turnaround times > Each journal has its own unique site Now available for Springer Journals 013250x