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

Bibliographic Item (1.0)

Antoniou99

  1. Grigoris Antoniou
  2. A Tutorial on Default Logics
  3. ACM ACM Computing Surveys V31n4(Dec 1999) pp337-359 CR0006-0401
  4. =TUTORIAL FORMAL LOGIC DEFAULT INFERENCE EXCEPTIONS
  5. default :=if Prereq : Justifications then Consequent, if Prereq then Consequent unless Justifications is known to be false where no free variables in parts.
  6. default schema has free variables - stands for all substitutions.
  7. normal: if P : J then J
  8. closed world : if true : not A then not A
  9. Not just inferences but also extensions of sets known facts by applying defaults that don't lead to contradictions

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]