Giters
Zeltex
/
Implicit_Coordination
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
4
Issues:
61
Forks:
1
Zeltex/Implicit_Coordination Issues
Do not save states in or-nodes
Closed
4 years ago
Comments count
2
Setup build system
Closed
4 years ago
Maybe reenable announce actions
Closed
4 years ago
Comments count
1
Fix edge conditions
Closed
4 years ago
Comments count
1
Put Domain_Loader and Formula into their own namespace
Updated
4 years ago
Check if states in initial frontier of search are solved
Updated
4 years ago
Clean-up preprocessor directives
Updated
4 years ago
Auto-detect rigid atoms instead of specifying them explicitly in the .maepl file
Updated
4 years ago
Generate only actions and propositions which may become applicable/true
Updated
4 years ago
Change reachability datastructure to use sets of indistinguishable worlds
Closed
4 years ago
Comments count
1
Reuse announce actions
Closed
4 years ago
Comments count
1
Improve proposition search
Updated
4 years ago
Improve propositions representation
Closed
4 years ago
Check propositions used in the problem are defined in the domain in domain loader
Updated
4 years ago
Check objects used in atom definition are defined in objects list in domain loader
Updated
4 years ago
Completely remove cost from the code
Updated
4 years ago
Planning agent should be moved to .maepl problem
Updated
4 years ago
Duplicate action entries in policy
Updated
4 years ago
All paths to solved nodes should be added to policy
Closed
4 years ago
Comments count
1
Block_Search example finds a policy, but does not execute it to success
Closed
4 years ago
Partition refinement only needs to check whether the designated worlds are in the partition
Updated
4 years ago
Block_Search_Simple with all worlds designated is solveable when it shouldn't be
Closed
4 years ago
Comments count
1
False belief synthesis and block search simple are solved on one computer, but not another
Closed
4 years ago
Comments count
1
Infinite loop in policy execution
Closed
4 years ago
Comments count
1
actions should be able to generate an input parameter based on match with proposition
Updated
4 years ago
Action owner is not set as input when parsing domain
Closed
4 years ago
Comments count
2
Convert policy to map of hashes
Updated
4 years ago
Cleanup planner.cpp
Updated
4 years ago
Comments count
1
Global bisimilar check
Closed
4 years ago
Comments count
1
Add precompiled headers
Updated
4 years ago
Add action-costs
Closed
4 years ago
Comments count
2
Change debug print to use proper macros
Closed
4 years ago
Rename objects to constants in MAEPL
Updated
4 years ago
How to handle action execution
Updated
4 years ago
Use object ids instead of names
Closed
4 years ago
Comments count
1
Optimise lexer
Updated
4 years ago
Change interface to use tupple of optionals
Updated
4 years ago
Change values map in domain loader to use std::variant
Updated
4 years ago
Change implementation of edge-conditioned actions
Updated
4 years ago
Fix namespaces
Updated
4 years ago
Seperate domain and problem loading
Updated
4 years ago
Expand formula definitions to include Believes/Everyone-Believes/Common-Knowledge
Updated
4 years ago
Comments count
1
Test second order false belief task
Closed
4 years ago
Comments count
2
Implement belief queries in the interface
Updated
4 years ago
Parser should enforce rules
Updated
4 years ago
variable input for action in interface
Updated
4 years ago
Create makefile
Updated
4 years ago
Create tests
Updated
4 years ago
domain_interface cleaning and commenting
Updated
4 years ago
General code cleaning
Updated
4 years ago
Previous
Next