BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
con (5)
semant (3)
situat (2)
plan (2)
theori (2)

Stem golog$ (all stems)

11 papers:

KRKR-2014-Lin14a #axiom #first-order #higher-order #induction #semantics
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (FL).
KRKR-2014-MarrellaMS #adaptation #calculus #named #process
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
KRKR-2008-ClassenL #logic #source code
A Logic for Non-Terminating Golog Programs (JC, GL), pp. 589–599.
KRKR-2008-FritzBM #compilation
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
KRKR-2008-RogerHN #on the
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
Decision-Theoretic GOLOG with Qualitative Preferences (CF, SAM), pp. 153–163.
CAiSECAiSE-2002-GansLJV #modelling #named #network #simulation
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog (GG, GL, MJ, TV), pp. 328–343.
KRKR-2002-GiacomoLLS #implementation #on the #semantics
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.
KRKR-2002-McIlraithS #adaptation #composition #semantics #web #web service
Adapting Golog for Composition of Semantic Web Services (SAM, TCS), pp. 482–496.
CAiSECAiSE-1999-LesperanceKMY #modelling
Modeling Dynamic Domains with ConGolog (YL, TGK, JM, ESKY), pp. 365–380.
Sequential, Temporal GOLOG (RR), pp. 547–556.

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.