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: Shapiro:Stuart_C=
Facilitated 2 volumes:
Contributed to:
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.