The following pages link to (Q4028804):
Displaying 10 items.
- John McCarthy's legacy (Q543573) (← links)
- Preference reasoning with soft constraints in constraint-based recommender systems (Q606917) (← links)
- Reasoning with minimal models: efficient algorithms and applications (Q1127346) (← links)
- Propositional default logics made easier: computational complexity of model checking. (Q1853549) (← links)
- Using temporal logics to express search control knowledge for planning (Q1978242) (← links)
- Off-line reasoning for on-line efficiency: knowledge bases (Q2171259) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Knowledge and communication: A first-order theory (Q2457657) (← links)
- (Q3434483) (← links)
- (Q5015397) (← links)