BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Canada
2 × USA
Collaborated with:
H.O.Ismail D.P.McKay Josephine Anstey David E. Pape Trupti Devdas Nayak Michael Kandefer Orkan Telhan
Talks about:
logic (2) act (2) multiprocess (1) indefinit (1) implement (1) arbitrari (1) research (1) intellig (1) boundari (1) virtual (1)

Person: Stuart C. Shapiro

DBLP DBLP: Shapiro:Stuart_C=

Facilitated 2 volumes:

KR 1998Ed
KR 1996Ed

Contributed to:

KR 20102010
KR 20042004
KR 20002000
KR 19961996
LISP 19801980
AIIDE 20052005

Wrote 6 papers:

KR-2010-Shapiro #logic #semantics #syntax
Set-Oriented Logical Connectives: Syntax and Semantics (SCS).
KR-2004-Shapiro #logic
A Logic of Arbitrary and Indefinite Objects (SCS), pp. 565–575.
KR-2000-IsmailS #problem #reasoning
Two Problems with Reasoning and Acting in Time (HOI, SCS), pp. 355–365.
KR-1996-Shapiro #bound #implementation #research
Implementations and Research: Discussions at the Boundary (SCS), pp. 663–664.
LISP-1980-McKayS #lisp #multi #named
MULTI — A LISP Based Multiprocessing System (DPM, SCS), pp. 29–37.
AIIDE-2005-ShapiroAPNKT #artificial reality #using
The Trial The Trail, Act 3: A Virtual Reality Drama Using Intelligent Agents (SCS, JA, DEP, TDN, MK, OT), pp. 157–158.

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.