Section 4.4 Report Data Files Layout Report Data File Layout MONTHLY ISI COUNTERPARTY LIST This file contains the data information in the Monthly ISI Counterparty List. The record length is 40

Source URL: www.hkex.com.hk

• Contract law
• Counterparty
• Repurchase agreement

How to write and publish a scientific paper: A "cookbook" for authors from ISI Press

Source URL: www.garfield.library.upenn.edu

• Academic publishing
• Knowledge
• Bibliography
• Information science
• Scientific literature
• Scientific journal
• Book
• Science
• Council of Science Editors
• Technical communication
• Publishing
• Academia

Background Description Logic Systems U S C

Source URL: www.isi.edu

• Health
• Mononegavirales
• Philosophy of mathematics
• Philosophical logic
• Rabies
• Is-a
• Modal logic
• Description logic
• Classifier
• Logic
• Science
• Non-classical logic

Loom Tutorial For Loom Release 2.1 Release Date: May 17, 1995

Source URL: www.isi.edu

• Lisp programming language
• LOOM
• Ontology
• Knowledge representation and reasoning
• Shed
• Lisp
• Programming language
• Common Lisp Object System
• Expert system
• Computing
• Software engineering
• Computer programming

Section 4.3 Report Description ISI ACTIVITY REPORT Report ID

Source URL: www.hkex.com.hk

• Financial system
• Securities
• Inter-Services Intelligence
• Military of Pakistan
• Repurchase agreement
• Futures contract
• Clearing
• Short
• Financial economics
• Finance
• Financial markets

LOOM Users Guide Version 1.4 ISX Corporation

Source URL: www.isi.edu

• Ontology
• LOOM
• Reasoning
• Knowledge representation and reasoning
• Programming language
• Software development methodology
• Algorithm
• Computer programming
• Logic programming
• Software
• Computing
• Programming paradigms

Report G8 - ISI Batch Input Control Report

Source URL: www.hkex.com.hk

Cosmos: A System for Supporting Engineering Negotiation William Mark Jon Dukes-Schlossberg Lockheed Artificial Intelligence Center 3251 Hanover St. O[removed]B/254F

Source URL: www.isi.edu

• Philosophy of science
• Ethology
• Knowledge Query and Manipulation Language
• Simulation
• Visualization
• Knowledge
• Science
• Engineering
• Ethics

Procedural Programming Outline of talk: •  Deductive Kb with Multiple Paradigms •  Production rules •  Methods •  Lisp-to-Loom Interface

Source URL: www.isi.edu

• Functional languages
• Lisp programming language
• LOOM
• Ontology
• Lisp
• D
• Programming paradigms
• Object-oriented programming
• Common Lisp
• Software engineering
• Computing
• Computer programming

Commitment-Based Software Development 1 William Mark Sherman Tyler James McGuire Jon Schlossberg Information and Computing Sciences Lockheed Palo Alto Research Labs O[removed]B/254F 3251 Hanover Street

Source URL: www.isi.edu

• Holism
• Modularity
• Software design
• Communications protocol
• EAR
• Module
• Computing
• Data
• Information