Search results for "golog"

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