[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

RobertsonAgusti99

  1. David Robertson & Jaume Agusti
  2. Software Blueprints: Lightweight Uses of Logic in Conceptual Modeling
  3. Addison Wesley ACM Press NY NY 1999 Order# 704992 ISBN 0-201-38919-2 [CR] 0001-0008
  4. =MONOGRAPH LOGIC Prolog MODELS ANALYSIS DESIGN PROOFS BSDM SIMULATION SKELETONS Argumentation Temporal SYNTAX SEMANTICS
  5. network:= Net{ R:=requirements:Sets, P:=Positions:Ssets, issues:Sets, D: decisions:Sets, specialize:@(R, R), generate:@(R, I), adopted_in_response_to:@(P, I), suggest:@( I, P), based_on:@(D, P), resolve:@(D, I), depend_on:@(D, D) }. [RameshLuqi93]
  6. (dick)|-Use Prolog notation. Solutions assume perfect typing!.
  7. abduction, induction, deduction. defeasible logics. can_not_be_shown ( P ). argumentation. endorsement.
    Systems dynamics models - (dick)|-inadequate numerical method
  8. BSDM::=Existence dependency model.
  9. Example: maintaining www pages!

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]