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 × Australia
1 × Austria
1 × Canada
Collaborated with:
R.F.Kelly C.J.Ewin S.Vassos G.D.Giacomo Y.Lespérance
Talks about:
calculus (3) situat (3) reason (2) transform (1) structur (1) program (1) optimis (1) epistem (1) complex (1) theori (1)

Person: Adrian R. Pearce

DBLP DBLP: Pearce:Adrian_R=

Contributed to:

KR 20142014
KR 20102010
KR 20082008

Wrote 3 papers:

KR-2014-EwinPV #calculus #reasoning
Transforming Situation Calculus Action Theories for Optimised Reasoning (CJE, ARP, SV).
KR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code
Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).
KR-2008-KellyP #calculus
Complex Epistemic Modalities in the Situation Calculus (RFK, ARP), pp. 611–620.

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.