( en | de | ru )

 

Disambiguation of "Lakemeyer, Gerhard"

Author of the publication

copydeleteadd this publication to your clipboard
ASP-Based Time-Bounded Planning for Logistics Robots.

, , , , and . ICAPS, page 509-517. AAAI Press, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Lakemeyer

Margot Lakemeyer

Elke Lakemeyer

Gerhard Schröck

Risk management and value creation in financial institutions. Uni Augsburg, (2001)

Johannes Gerhard

Normal vectors for the robust design of dynamical systems. TU Aachen, (2010)
 

Other publications of authors with the same name

Logic-based robot control in highly dynamic domains., and . Robotics Auton. Syst., 56 (11): 980-991 (2008)Representation and Experience-Based Learning of Explainable Models for Robot Action Execution., , and . IROS, page 5641-5647. IEEE, (2020)The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015., , , , , and . RoboCup, volume 9513 of Lecture Notes in Computer Science, page 47-59. Springer, (2015)On the Relation between Explicit and Implicit Belief.. KR, page 368-375. Morgan Kaufmann, (1991)Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics., , , and . AAAI Spring Symposium: Designing Intelligent Robots, volume SS-13-04 of AAAI Technical Report, AAAI, (2013)A Logic for Reasoning About Decision-Theoretic Projections., , and . ICAART (Revised Selected Papers), volume 9494 of Lecture Notes in Computer Science, page 79-99. Springer, (2015)Decidable Reasoning in a Fragment of the Epistemic Situation Calculus., and . KR, AAAI Press, (2014)On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories., , , , and . IRI, page 403-410. IEEE Computer Society, (2017)On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 887-892. IOS Press, (2010)A Tractable Knowledge Representation Service with Full Introspection., and . TARK, page 145-159. Morgan Kaufmann, (1988)