This project is mirrored from https://:*****@github.com/jens-classen/vergo.
Pull mirroring updated .
- 12 Apr, 2022 7 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
Bugfix: Don't produce error in simplify_program/2 when there are no user-defined program/1 instances.
-
Jens Claßen authored
-
Jens Claßen authored
Only translate an action to PDDL if it does not mention any non-CWA properties in effect conditions.
-
Jens Claßen authored
-
Jens Claßen authored
Use '_' instead of '-' in room names of Wumpus world due to better compatibility with PDDL planning.
-
Jens Claßen authored
Coordinates in Wumpus world are numbers, not standard names, hence not a type according to logic/cwa.pl.
-
- 11 Apr, 2022 5 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
- 13 Jun, 2021 1 commit
-
-
Jens Claßen authored
-
- 09 Oct, 2020 6 commits
-
-
Jens Claßen authored
Compile away conditional effects on action costs function when translating to PDDL due to lack of support by planner.
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
- 06 Oct, 2020 2 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
- 05 Oct, 2020 7 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
Updated README to reflect usage of most recent versions of NuSMV model checker and Konclude description logic reasoner.
-
- 08 Sep, 2020 7 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
Optimization: Only consider fluents mentioned in the characteristic set whose instantiated SSA is non-valid for local-effect progression.
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
- 07 Sep, 2020 5 commits
-
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-
Jens Claßen authored
-