11 papers:
KR-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).
- KR-2014-MarrellaMS #adaptation #calculus #named #process
- SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
- KR-2008-ClassenL #logic #source code
- A Logic for Non-Terminating Golog Programs (JC, GL), pp. 589–599.
- KR-2008-FritzBM #compilation
- ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
- KR-2008-RogerHN #on the
- On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
- KR-2006-FritzM
- Decision-Theoretic GOLOG with Qualitative Preferences (CF, SAM), pp. 153–163.
CAiSE-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.
- KR-2002-GiacomoLLS #implementation #on the #semantics
- On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.
- KR-2002-McIlraithS #adaptation #composition #semantics #web #web service
- Adapting Golog for Composition of Semantic Web Services (SAM, TCS), pp. 482–496.
- CAiSE-1999-LesperanceKMY #modelling
- Modeling Dynamic Domains with ConGolog (YL, TGK, JM, ESKY), pp. 365–380.
- KR-1998-Reiter
- Sequential, Temporal GOLOG (RR), pp. 547–556.
