Search Results - (Author, Cooperation:A. W. Bollen)
-
1Latest Papers from Table of Contents or Articles in PressB. E. Johnson ; T. Mazor ; C. Hong ; M. Barnes ; K. Aihara ; C. Y. McLean ; S. D. Fouse ; S. Yamamoto ; H. Ueda ; K. Tatsuno ; S. Asthana ; L. E. Jalbert ; S. J. Nelson ; A. W. Bollen ; W. C. Gustafson ; E. Charron ; W. A. Weiss ; I. V. Smirnov ; J. S. Song ; A. B. Olshen ; S. Cha ; Y. Zhao ; R. A. Moore ; A. J. Mungall ; S. J. Jones ; M. Hirst ; M. A. Marra ; N. Saito ; H. Aburatani ; A. Mukasa ; M. S. Berger ; S. M. Chang ; B. S. Taylor ; J. F. Costello
American Association for the Advancement of Science (AAAS)
Published 2013Staff ViewPublication Date: 2013-12-18Publisher: American Association for the Advancement of Science (AAAS)Print ISSN: 0036-8075Electronic ISSN: 1095-9203Topics: BiologyChemistry and PharmacologyComputer ScienceMedicineNatural Sciences in GeneralPhysicsKeywords: Antineoplastic Agents, Alkylating/*adverse effects/therapeutic use ; Brain/drug effects/pathology ; Brain Neoplasms/*drug therapy/genetics/*pathology ; DNA Helicases/genetics ; DNA Mutational Analysis ; Dacarbazine/adverse effects/*analogs & derivatives/therapeutic use ; Glioma/*drug therapy/genetics/*pathology ; Humans ; Mutagenesis/drug effects ; Neoplasm Grading ; Neoplasm Recurrence, Local/*chemically induced/drug therapy/*genetics ; Nuclear Proteins/genetics ; Proto-Oncogene Proteins B-raf/genetics ; Proto-Oncogene Proteins c-akt/genetics ; TOR Serine-Threonine Kinases/genetics ; Transcription Factors/genetics ; Tumor Suppressor Protein p53/geneticsPublished by: -
2Articles: DFG German National LicensesStaff View
ISSN: 1573-0670Keywords: Conditionals ; relevance ; logic programmingSource: Springer Online Journal Archives 1860-2000Topics: Computer ScienceNotes: Abstract In this paper we present a fragment of (positive) relevant logic which can be computed by a straightforward extension to SLD resolution while allowing full nesting of implications. These two requirements lead quite naturally to a fragment in which the major feature is an ambiguous ‘user-level’ conjunction which is interpreted intensionally in ‘query’ positions and extensionally in ‘assertion’ positions. These restrictions allow a simple and efficient extension to SLD resolution (and more particularly, the PROLOG evaluation scheme) with quite minor loss in expressive power.Type of Medium: Electronic ResourceURL: