BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Foo:Norman_Y=

Contributed to:

KR 20042004
ILPS 19971997
KR 19891989
ICLP/SPL 19881988

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.