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