Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
skirmishfinal
Add all to Cart
Pagination
1
2
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
echo $title ?>
Class Tree
[Root]
General Game Playing (982)
Dresden (927)
skirmishfinal
(29)
Description
Encodings
1 - 20 of 29
 
consequence_input_arguments_location_+__+__-___.lp
 
consequence_persistent_true_fluent_location_1__1__blackrook___.lp
 
consequence_persistent_true_fluent_location_1__2__blackrook___.lp
 
consequence_persistent_true_fluent_location_1__3__blackbishop___.lp
 
consequence_persistent_true_fluent_location_1__3__blackrook___.lp
 
consequence_persistent_true_fluent_location_1__4__blackbishop___.lp
 
consequence_persistent_true_fluent_location_1__4__blackrook___.lp
 
consequence_persistent_true_fluent_location_1__7__blackbishop___.lp
 
consequence_persistent_true_fluent_location_2__4__whitepawn___.lp
 
consequence_persistent_true_fluent_location_2__5__whitepawn___.lp
 
consequence_persistent_true_fluent_location_2__6__whitepawn___.lp
 
consequence_persistent_true_fluent_location_2__7__whitepawn___.lp
 
consequence_persistent_true_fluent_location_2__8__whitepawn___.lp
 
consequence_persistent_true_fluent_location_3__8__whitebishop___.lp
 
consequence_persistent_true_fluent_location_4__1__whitebishop___.lp
 
consequence_persistent_true_fluent_location_4__2__blackknight___.lp
 
consequence_persistent_true_fluent_location_4__2__whitebishop___.lp
 
consequence_persistent_true_fluent_location_4__3__blackknight___.lp
 
consequence_persistent_true_fluent_location_4__3__whitebishop___.lp
 
consequence_persistent_true_fluent_location_4__4__blackknight___.lp
un-/mark all