The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning. The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. Proof Pearls In addition
Since its inception in 1970 by the Scandinavian Ornitholists´ Union, the journal Ornis Scandinavica gradually became a truly international publication attracting subscribers and contributors from all over the world. To endorse this global perspective, in 1994 the journal´s name was was changed to 'Journal of Avian Biology'. Currently, there are 6 issues/year. The print run is about 600 pages per annum. Journal of Avian Biology publishes empirical and theoretical research in areas of ornithology, with an emphasis on behavioural ecology and evolution. Preferably, papers should test hypothesis, or explore new ground. Purely descriptive studies are accepted only when they contain important new information that give rise to new questions and/or open up new ground. Journal of Avian Biology is available as fulltext for subscribers on-line at www.ingenta.com and at Wiley Interscience (http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1600-048X). Back issues are available at JSTOR (www.jstor.org). Papers are published under six main headings: .
The Journal of Back and Musculoskeletal Rehabilitation is a journal whose main focus is to present relevant information about the interdisciplinary approach to musculoskeletal rehabilitation for clinicians who treat patients with back and musculoskeletal pain complaints. It will provide readers with both 1) a general fund of knowledge on the assessment and management of specific problems and 2) new information considered to be state-of-the-art in the field. The intended audience is multidisciplinary as well as multi-specialty.In each issue clinicians can find information which they can use in their patient setting the very next day. Manuscripts are provided from a range of health care providers including those in physical medicine, orthopedic surgery, rheumatology, neurosurgery, physical therapy, radiology, osteopathy, chiropractic and nursing on topics ranging from chronic pain to sports medicine. Diagnostic decision trees and treatment algorithms are encouraged in each manuscript. Controversial topics are discussed in commentaries and rebuttals. Associated areas such as medical-legal, worker's compensation and practice guidelines are included.The journal publishes original research papers, review articles, programme descriptions and cast studies. Letters to the editors, commentaries, and editorials are also welcomed. Manuscripts are peer reviewed. Constructive critiques are given to each author. Suggestions for thematic issues and proposed manuscripts are welcomed.