Travelled to:1 × USA
2 × Canada
Collaborated with:A.S.Rao Y.Zhang P.Peppas S.Chopra T.A.Meyer R.Kwok D.Zhang A.Taylor A.Walker
Talks about:belief (2) revis (2) relev (2) logic (2) construct (1) strategi (1) program (1) priorit (1) foundat (1) distanc (1)
Person: Norman Y. Foo
DBLP: Foo:Norman_Y=
Contributed to:
2004
199719891988Wrote 5 papers:
- KR-2004-MeyerFKZ #logic
- Logical Foundations of Negotiation: Strategies and Preferences (TAM, NYF, RK, DZ), pp. 311–318.
- KR-2004-PeppasCF #distance #semantics
- Distance Semantics for Relevance-Sensitive Belief Revision (PP, SC, NYF), pp. 319–328.
- ILPS-1997-ZhangF #logic programming #set #source code
- Answer Sets for Prioritized Logic Programs (YZ, NYF), pp. 69–83.
- KR-1989-RaoF
- Formal Theories of Belief Revision (ASR, NYF), pp. 369–380.
- JICSCP-1988-FooRTW88 #deduction
- Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.