The following pages link to Conrad Drescher (Q2946728):
Displaying 8 items.
- LoCo—A Logic for Configuration Problems (Q2946729) (← links)
- Optimization Methods for the Partner Units Problem (Q3003271) (← links)
- ALPprolog – A new logic programming method for dynamic domains (Q3087435) (← links)
- (Q3113669) (← links)
- (Q3457200) (← links)
- A Fluent Calculus Semantics for ADL with Plan Constraints (Q3532463) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- A Declarative Agent Programming Language Based on Action Theories (Q3655203) (← links)