MASCOR

@inproceedings{Matare-etAl_ICAART2021_PortableHighLevelAgentCode,
  author       = {Victor Matar{\'e} and Tarik Viehmann and Till Hofmann and Gerhard Lakemeyer and Alexander Ferrein and Stefan Schiffer},
  title        = {{Portable High-level Agent Programming with golog++}},
  booktitle    = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
  year         = {2021},
  pages        = {218--227},
  publisher    = {SciTePress},
  organization = {INSTICC},
  doi          = {10.5220/0010253902180227},
  url_scitepress = {https://www.scitepress.org/Papers/2021/102539/},
  isbn         = {978-989-758-484-8},
  keywords     = {ConTrAkt, high-level programming, golog, agent programming},
  abstract     = {We present golog++, a high-level agent programming
                  and interfacing framework that offers a temporal
                  constraint language to explicitly model
                  layer-penetrating contingencies in low-level
                  platform behavior. It can be used to maintain a
                  clear separation between an agent’s domain model and
                  certain quirks of its execution platform that affect
                  problem solving behavior. Our system reasons about
                  the execution of an abstract (i.e. exclusively
                  domain-bound) plan on a particular execution
                  platform. This way, we avoid compounding the
                  complexity of the planning problem while improving
                  the modularity of both golog++ and the user code. On
                  a run-through example from the well-known
                  blocksworld domain, we demonstrate the entire
                  process from domain modeling and platform modeling
                  to plan transformation and platform-specific plan
                  execution.},
}
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  2020
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

We present golog++, a high-level agent programming and interfacing framework that offers a temporal constraint language to explicitly model layer-penetrating contingencies in low-level platform behavior. It can be used to maintain a clear separation between an agent’s domain model and certain quirks of its execution platform that affect problem solving behavior. Our system reasons about the execution of an abstract (i.e. exclusively domain-bound) plan on a particular execution platform. This way, we avoid compounding the complexity of the planning problem while improving the modularity of both golog++ and the user code. On a run-through example from the well-known blocksworld domain, we demonstrate the entire process from domain modeling and platform modeling to plan transformation and platform-specific plan execution.

@inproceedings{Matare:EtAl:CogRob2018:gologpp,
  title     = {golog++ : An Integrative System Design},
  author    = {Victor Matar{\'{e}} and Stefan Schiffer and Alexander Ferrein},
  pages     = {29--35},
  booktitle = {Proceedings of the 11th Cognitive Robotics Workshop 2018 (CogRob),
               co-located with the 16th International Conference on
	       Principles of Knowledge Representation and Reasoning, CogRob@KR 2018},
  year      = 2018,
  location  = {Tempe, AZ, USA},
  editor    = {Gerald Steinbauer and Alexander Ferrein},
  volume    = {2325},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  address   = {Aachen},
  issn      = {1613-0073},
  url       = {http://ceur-ws.org/Vol-2325/#paper-06},
  url_proc  = {http://ceur-ws.org/Vol-2325/},
  venue     = {Tempe, AZ, USA},
  eventdate = {2018-10-27},
  keywords     = {ConTrAkt, high-level programming, golog, agent programming},
  abstract     = {Golog is a language family with great untapped
                  potential. We argue that it could become a practical
                  and widely usable high-level control language, if
                  only it had an implementation that is usable in a
                  production environment. In this paper, we do not
                  specify another Golog interpreter, but an extensible
                  C++ framework that defines a coherent grammar,
                  developer tool support, internal/external
                  consistency checking with clean error handling, and
                  a simple, portable platform interface. The framework
                  specifically does not implement language
                  semantics. For this purpose we can simply hook into
                  any of the many existing implementations that do
                  very well in implementing language semantics, but
                  fall short in regards to interfacing, portability,
                  usability and practicality in general.},
}

Golog is a language family with great untapped potential. We argue that it could become a practical and widely usable high-level control language, if only it had an implementation that is usable in a production environment. In this paper, we do not specify another Golog interpreter, but an extensible C++ framework that defines a coherent grammar, developer tool support, internal/external consistency checking with clean error handling, and a simple, portable platform interface. The framework specifically does not implement language semantics. For this purpose we can simply hook into any of the many existing implementations that do very well in implementing language semantics, but fall short in regards to interfacing, portability, usability and practicality in general.

@inproceedings{HofmannMNSHLNFJ18,
  author    = {Till Hofmann and Victor Matar{\'{e}} and Tobias Neumann
                  and Sebastian Sch{\"{o}}nitz and Christoph Henke and
                  Nicolas Limpert and Tim Niemueller and Alexander
                  Ferrein and Sabina Jeschke and Gerhard Lakemeyer},
  title     = {Enhancing Software and Hardware Reliability for a
                  Successful Participation in the RoboCup Logistics
                  League 2017},
  editor    = {Hidehisa Akiyama and Oliver Obst and Claude Sammut and
                  Flavio Tonidandel},
  booktitle = {RoboCup 2017: Robot World Cup {XXI}},
  pages     = {486--497},
  series    = {Lecture Notes in Computer Science},
  volume    = {11175},
  publisher = {Springer},
  year      = {2018},
  keywords  = {ConTrAkt},
}


%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%  2017
%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{Matare-etAl_ICAART2021_PortableHighLevelAgentCode,
  author       = {Victor Matar{\'e} and Tarik Viehmann and Till Hofmann and Gerhard Lakemeyer and Alexander Ferrein and Stefan Schiffer},
  title        = {{Portable High-level Agent Programming with golog++}},
  booktitle    = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
  year         = {2021},
  pages        = {218--227},
  publisher    = {SciTePress},
  organization = {INSTICC},
  doi          = {10.5220/0010253902180227},
  url_scitepress = {https://www.scitepress.org/Papers/2021/102539/},
  isbn         = {978-989-758-484-8},
  keywords     = {ConTrAkt, high-level programming, golog, agent programming},
  abstract     = {We present golog++, a high-level agent programming
                  and interfacing framework that offers a temporal
                  constraint language to explicitly model
                  layer-penetrating contingencies in low-level
                  platform behavior. It can be used to maintain a
                  clear separation between an agent’s domain model and
                  certain quirks of its execution platform that affect
                  problem solving behavior. Our system reasons about
                  the execution of an abstract (i.e. exclusively
                  domain-bound) plan on a particular execution
                  platform. This way, we avoid compounding the
                  complexity of the planning problem while improving
                  the modularity of both golog++ and the user code. On
                  a run-through example from the well-known
                  blocksworld domain, we demonstrate the entire
                  process from domain modeling and platform modeling
                  to plan transformation and platform-specific plan
                  execution.},
}
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  2020
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

We present golog++, a high-level agent programming and interfacing framework that offers a temporal constraint language to explicitly model layer-penetrating contingencies in low-level platform behavior. It can be used to maintain a clear separation between an agent’s domain model and certain quirks of its execution platform that affect problem solving behavior. Our system reasons about the execution of an abstract (i.e. exclusively domain-bound) plan on a particular execution platform. This way, we avoid compounding the complexity of the planning problem while improving the modularity of both golog++ and the user code. On a run-through example from the well-known blocksworld domain, we demonstrate the entire process from domain modeling and platform modeling to plan transformation and platform-specific plan execution.

@inproceedings{Matare:EtAl:CogRob2018:gologpp,
  title     = {golog++ : An Integrative System Design},
  author    = {Victor Matar{\'{e}} and Stefan Schiffer and Alexander Ferrein},
  pages     = {29--35},
  booktitle = {Proceedings of the 11th Cognitive Robotics Workshop 2018 (CogRob),
               co-located with the 16th International Conference on
	       Principles of Knowledge Representation and Reasoning, CogRob@KR 2018},
  year      = 2018,
  location  = {Tempe, AZ, USA},
  editor    = {Gerald Steinbauer and Alexander Ferrein},
  volume    = {2325},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  address   = {Aachen},
  issn      = {1613-0073},
  url       = {http://ceur-ws.org/Vol-2325/#paper-06},
  url_proc  = {http://ceur-ws.org/Vol-2325/},
  venue     = {Tempe, AZ, USA},
  eventdate = {2018-10-27},
  keywords     = {ConTrAkt, high-level programming, golog, agent programming},
  abstract     = {Golog is a language family with great untapped
                  potential. We argue that it could become a practical
                  and widely usable high-level control language, if
                  only it had an implementation that is usable in a
                  production environment. In this paper, we do not
                  specify another Golog interpreter, but an extensible
                  C++ framework that defines a coherent grammar,
                  developer tool support, internal/external
                  consistency checking with clean error handling, and
                  a simple, portable platform interface. The framework
                  specifically does not implement language
                  semantics. For this purpose we can simply hook into
                  any of the many existing implementations that do
                  very well in implementing language semantics, but
                  fall short in regards to interfacing, portability,
                  usability and practicality in general.},
}

Golog is a language family with great untapped potential. We argue that it could become a practical and widely usable high-level control language, if only it had an implementation that is usable in a production environment. In this paper, we do not specify another Golog interpreter, but an extensible C++ framework that defines a coherent grammar, developer tool support, internal/external consistency checking with clean error handling, and a simple, portable platform interface. The framework specifically does not implement language semantics. For this purpose we can simply hook into any of the many existing implementations that do very well in implementing language semantics, but fall short in regards to interfacing, portability, usability and practicality in general.

@inproceedings{HofmannMNSHLNFJ18,
  author    = {Till Hofmann and Victor Matar{\'{e}} and Tobias Neumann
                  and Sebastian Sch{\"{o}}nitz and Christoph Henke and
                  Nicolas Limpert and Tim Niemueller and Alexander
                  Ferrein and Sabina Jeschke and Gerhard Lakemeyer},
  title     = {Enhancing Software and Hardware Reliability for a
                  Successful Participation in the RoboCup Logistics
                  League 2017},
  editor    = {Hidehisa Akiyama and Oliver Obst and Claude Sammut and
                  Flavio Tonidandel},
  booktitle = {RoboCup 2017: Robot World Cup {XXI}},
  pages     = {486--497},
  series    = {Lecture Notes in Computer Science},
  volume    = {11175},
  publisher = {Springer},
  year      = {2018},
  keywords  = {ConTrAkt},
}


%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%  2017
%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%