The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Golog with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2001 (23) 2002-2005 (16) 2006-2008 (17) 2009-2011 (15) 2012-2016 (19) 2017-2024 (13)
Publication types (Num. hits)
article(17) inproceedings(83) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 15 keywords

Results
Found 103 publication records. Showing 103 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
96Yves Lespérance, Hector J. Levesque, Shane J. Ruman An Experiment in Using Golog to Build a Personal Banking Assistant. Search on Bibsonomy PRICAI Workshop on Intelligent Agent Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
78Dimitris Plexousakis Simulation and analysis of business processes using GOLOG. Search on Bibsonomy COOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
73Alberto Finzi, Thomas Lukasiewicz Game theoretic Golog under partial observability. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF POSG, game-theoretic agent programming, golog
60Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith Web Service Composition via the Customization of Golog Programs with User Preferences. Search on Bibsonomy Conceptual Modeling: Foundations and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
60Fabrice Popineau, Yolaine Bourda, Bich-Liên Doan Generating Adaptive Hypermedia with Golog and Conceptual Graphs. Search on Bibsonomy ICALT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
60Ioan Alfred Letia, Doina Precup Developing Collaborative Golog Agents by Reinforcement Learning. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Jorge A. Baier, Javier Pinto Integrating True Concurrency into the Robot Programming Language. Search on Bibsonomy SCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Golog, Congolog, TCongolog, Concurrency, Knowledge Representation
48Maximillian Kirsch, Shubham Pawar, Alexander Ferrein, Stefan Schiffer 0002 GOLOG++ Hits the (Right) Spot: Interfacing Golog with a Quadruped Rescue Robot for High-Level Missions. Search on Bibsonomy ICAART (3) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
48Gabriele Röger Planning techniques and the action language golog (Planungstechniken und die Aktionssprache Golog) Search on Bibsonomy 2014   RDF
48Alexander Ferrein golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems. Search on Bibsonomy Cognitive Robotics The full citation details ... 2010 DBLP  BibTeX  RDF
48Alexander Ferrein Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems. Search on Bibsonomy AAAI Spring Symposium: Embedded Reasoning The full citation details ... 2010 DBLP  BibTeX  RDF
42Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen Synthesizing Semantic Web Service Compositions with jMosel and Golog. Search on Bibsonomy ISWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Florian Pommerening, Stefan Wölfl 0001, Matthias Westphal Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. Search on Bibsonomy KI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Alberto Finzi, Thomas Lukasiewicz Game-Theoretic Agent Programming in Golog Under Partial Observability. Search on Bibsonomy KI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Alexander Ferrein, Christian Fritz 0001, Gerhard Lakemeyer On-Line Decision-Theoretic Golog for Unpredictable Domains. Search on Bibsonomy KI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Zheng Dong, Cong Qi, Xiaofei Xu Ontology-Based Intelligent Sensing Action in Golog for Web Service Composition. Search on Bibsonomy GCC (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Iluju Kiringa Simulation of Advanced Transaction Models Using GOLOG. Search on Bibsonomy DBPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Viorica R. Chifu, Ioan Salomie, Simona Manole Fluent Calculus Based Web Service Composition. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Alberto Finzi, Thomas Lukasiewicz Adaptive Multi-agent Programming in GTGolog. Search on Bibsonomy KI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Ryan F. Kelly, Adrian R. Pearce Towards High-Level Programming for Distributed Problem Solving. Search on Bibsonomy IAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Robert Demolombe, Erwan Hamon What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF intentional attitude, situation calculus, formalisms and logics
36Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña Incremental execution of guarded theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF agent behavior, situation calculus, reasoning about actions
36Raymond Reiter On knowledge-based programming with sensing in the situation calculus. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus
36Henrik Grosskreutz, Gerhard Lakemeyer Belief Update in the pGOLOG Framework. Search on Bibsonomy KI/ÖGAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella On-line adaptation of sequential mobile processes running concurrently. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF GOLOG, pervasive scenarios, process management, situation calculus, smart devices
24Bing Yang, Hailiang Ye, Ming Li 0065, Feilong Cao, Shirui Pan GoLoG: Global-to-Local Decoupling Graph Network With Joint Optimization for Hyperspectral Image Classification. Search on Bibsonomy IEEE Trans. Geosci. Remote. Sens. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Till Hofmann, Stefan Schupp Controlling Golog Programs against MTL Constraints. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Till Hofmann, Gerhard Lakemeyer Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer 0002 Portable High-level Agent Programming with golog++. Search on Bibsonomy ICAART (2) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Alberto Finzi, Thomas Lukasiewicz Partially observable game-theoretic agent programming in Golog. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Maximillian Kirsch, Victor Mataré, Alexander Ferrein, Stefan Schiffer 0002 Integrating golog++ and ROS for Practical and Portable High-level Control. Search on Bibsonomy ICAART (2) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Gerhard Lakemeyer Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
24Jens Claßen Symbolic Verification of Golog Programs with First-Order BDDs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
24Victor Mataré, Stefan Schiffer 0002, Alexander Ferrein golog++ : An Integrative System Design. Search on Bibsonomy CogRob@KR The full citation details ... 2018 DBLP  BibTeX  RDF
24Till Hofmann, Gerhard Lakemeyer A Logic for Specifying Metric Temporal Constraints for Golog Programs. Search on Bibsonomy CogRob@KR The full citation details ... 2018 DBLP  BibTeX  RDF
24Benjamin Zarrieß Verification of golog programs over description logic actions. Search on Bibsonomy 2018   RDF
24Jens Claßen, Benjamin Zarrieß Decidable Verification of Decision-Theoretic Golog. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Stefan Schiffer 0002, Alexander Ferrein Decision-Theoretic Planning with Fuzzy Notions in GOLOG. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer Continual Planning in Golog. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Benjamin Zarrieß, Jens Claßen Decidable Verification of Golog Programs over Non-Local Effect Actions. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer Interruptible Task Execution with Resumption in Golog. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Peiming Mo, Naiqi Li, Yongmei Liu 0001 Automatic Verification of Golog Programs via Predicate Abstraction. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Stefan Schiffer 0002, Alexander Ferrein Decision-Theoretic Planning with Linguistic Terms in Golog. Search on Bibsonomy FLinAI@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
24Naiqi Li, Yongmei Liu 0001 Automatic Verification of Partial Correctness of Golog Programs. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
24Malcolm Ryan Efficiently Implementing GOLOG with Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Benjamin Zarrieß, Jens Claßen Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Fangzhen Lin A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
24Benjamin Zarrieß, Jens Claßen On the Decidability of Verifying LTL Properties of Golog Programs. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
24Fangzhen Lin A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
24Franz Baader, Benjamin Zarrieß Verification of Golog Programs over Description Logic Actions. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Jens Claßen Planning and Verification in the agent language Golog. Search on Bibsonomy 2013   RDF
24Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel Platas - Integrating Planning and the Action Language Golog. Search on Bibsonomy Künstliche Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Daniel Beck, Gerhard Lakemeyer Reinforcement learning for Golog programs with first-order state-abstraction. Search on Bibsonomy Log. J. IGPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu 0001 A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Stefan Schiffer 0002, Alexander Ferrein, Gerhard Lakemeyer Fuzzy Representations and Control for Domestic Service Robots in Golog. Search on Bibsonomy ICIRA (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Alfredo Gabaldon Making Golog Norm Compliant. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Alexander Ferrein, Gerald Steinbauer On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog. Search on Bibsonomy SIMPAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Christian Fritz 0001, Yolanda Gil Towards the Integration of Programming by Demonstration and Programming by Instruction using Golog. Search on Bibsonomy Plan, Activity, and Intent Recognition The full citation details ... 2010 DBLP  BibTeX  RDF
24Jens Claßen, Gerhard Lakemeyer On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Michelle L. Blom, Adrian R. Pearce Relaxing Regression for a Heuristic GOLOG. Search on Bibsonomy STAIRS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Alexander Ferrein, Stefan Schiffer 0002, Gerhard Lakemeyer Embedding fuzzy controllers in golog. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Sebastian Sardiña, Yves Lespérance Golog Speaks the BDI Language. Search on Bibsonomy PROMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Michelle L. Blom, Adrian R. Pearce An Argumentation-Based Interpreter for Golog Programs. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
24Gabriele Röger, Malte Helmert, Bernhard Nebel On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
24Jens Claßen, Gerhard Lakemeyer A Logic for Non-Terminating Golog Programs. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
24Gabriele Röger, Bernhard Nebel Expressiveness of ADL and Golog: Functions Make a Difference. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
24Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz Team Programming in Golog under Partial Observability. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
24Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel Towards an Integration of Golog and Planning. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
24Mikhail Soutchanski, Huy Pham, John Mylopoulos Decision Making in Uncertain Real-World Domains Using DT-Golog. Search on Bibsonomy AAAI The full citation details ... 2006 DBLP  BibTeX  RDF
24Alfredo Gabaldon Formalizing Complex Task Libraries in Golog. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
24Alfredo Gabaldon Hierarchical Task Libraries in (Con) Golog. Search on Bibsonomy AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering The full citation details ... 2006 DBLP  BibTeX  RDF
24Christian Fritz 0001, Sheila A. McIlraith Decision-Theoretic GOLOG with Qualitative Preferences. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
24Alexander Ferrein, Christian Fritz 0001, Gerhard Lakemeyer Using Golog for Deliberation and Team Coordination in Robotic Soccer. Search on Bibsonomy Künstliche Intell. The full citation details ... 2005 DBLP  BibTeX  RDF
24Stefan Jacobs 0001, Alexander Ferrein, Gerhard Lakemeyer Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. Search on Bibsonomy AIIDE The full citation details ... 2005 DBLP  BibTeX  RDF
24Alberto Finzi, Thomas Lukasiewicz Game-Theoretic Agent Programming in Golog. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
24Jorge A. Baier, Javier Pinto Planning under uncertainty as Golog programs. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Henrik Grosskreutz, Gerhard Lakemeyer Probabilistic Complex Actions in GOLOG. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2003 DBLP  BibTeX  RDF
24Ioan Alfred Letia, Doina Precup Developing Collaborative Golog Agents by Reinforcement Learning. Search on Bibsonomy Int. J. Artif. Intell. Tools The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Sheila A. McIlraith, Tran Cao Son Adapting Golog for Composition of Semantic Web Services. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
24Mikhail Soutchanski An On-line Decision-Theoretic Golog Interpreter. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
24Henrik Grosskreutz, Gerhard Lakemeyer On-Line Execution of cc-Golog Plans. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
24Henrik Grosskreutz, Gerhard Lakemeyer Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework. Search on Bibsonomy Künstliche Intell. The full citation details ... 2000 DBLP  BibTeX  RDF
24Henrik Grosskreutz, Gerhard Lakemeyer cc-Golog: Towards More Realistic Logic-Based Robot Controllers Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
24Henrik Grosskreutz, Gerhard Lakemeyer cc-Golog: Towards More Realistic Logic-Based Robot Controllers. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
24Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. Search on Bibsonomy KI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Raymond Reiter Sequential, Temporal GOLOG. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
24Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl GOLOG: A Logic Programming Language for Dynamic Domains. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Yves Lespérance, Hector J. Levesque, Shane J. Ruman An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). Search on Bibsonomy Agents The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin Controlling Autonomous Robots with GOLOG. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
18Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. Search on Bibsonomy KI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Freddy Lécué, Alain Léger, Alexandre Delteil DL Reasoning and AI Planning for Web Service Composition. Search on Bibsonomy Web Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith Web Service Composition Via Generic Procedures and Customizing User Preferences. Search on Bibsonomy ISWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Silvio do Lago Pereira, Leliane Nunes de Barros High-Level Robot Programming: An Abductive Approach Using Event Calculus. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF planning, abduction, event calculus, cognitive robotics
18Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio Distributed Intelligent Management of Active Networks. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Distributed Intelligent Systems, Network Management, Automated Reasoning, Situation Calculus
18Robert P. Goldman A Stochastic Model for Intrusions. Search on Bibsonomy RAID The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Jorge A. Baier On Procedure Recognition in the Situation Calculus. Search on Bibsonomy SCCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Sebastian Sardiña Local Conditional High-Level Robot Programs. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Tran Cao Son, Chitta Baral, Sheila A. McIlraith Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 103 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license