Discussions

• 1 You must be logged in to vote

  🙏

  Usage of shop-trace

  ko56 asked Feb 14, 2024 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Defining a task that should always be performed before anything else

  ko56 asked Feb 8, 2024 in Q&A · Closed · Answered

  

  

  5
• 1 You must be logged in to vote

  🙏

  SHOP3 and dynamic planning

  pdenno asked Sep 6, 2023 in Q&A · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  :ordered and :unordered task lists

  ko56 asked Mar 8, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Using SHOP variables in Lisp

  ko56 asked Feb 3, 2023 in Q&A · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  problem with recursion in axiom

  ko56 asked Jun 19, 2021 in Q&A · Answered

  

  

  7
• 1 You must be logged in to vote

  🙏

  fiveam-asdf not found

  samuelvimes32 asked Dec 12, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Questions about Plan Repair

  rpgoldman asked Sep 30, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Goal-based problems

  vakker asked Jul 9, 2022 in Q&A · Answered

  

  

  

  

  7
• 1 You must be logged in to vote

  🙏

  Goal specification

  vakker asked Jun 30, 2022 in Q&A · Answered

  

  

  9
• 1 You must be logged in to vote

  🙏

  Task durations

  vakker asked Jun 29, 2022 in Q&A · Answered

  

  

  9
• 1 You must be logged in to vote

  💬

  syntax

  ko56 started Jan 24, 2022 in General

  

  

  2
• 1 You must be logged in to vote

  💡

  syntax for axioms

  ko56 started Nov 27, 2021 in Ideas

  

  

  2
• 1 You must be logged in to vote

  🙏

  looping task?

  ko56 asked Nov 16, 2021 in Q&A · Answered

  

  

  7
• 1 You must be logged in to vote

  🙏

  external-access-hook-query

  ko56 asked Sep 15, 2021 in Q&A · Answered

  

  

  5
• 1 You must be logged in to vote

  💡

  some suggested small changes to manual.texinfo

  ko56 started May 4, 2021 in Ideas

  

  

  13
• 1 You must be logged in to vote

  🙏

  VAL Makefile problem?

  ko56 asked Apr 28, 2021 in Q&A · Answered

  

  

  7
• 1 You must be logged in to vote

  🙏

  Loading domain and problem files

  ko56 asked Apr 24, 2021 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  💬

  Welcome to shop3 Discussions!

  rpgoldman started Jan 12, 2021 in General

  

  

  0