Sciweavers

5378 search results - page 178 / 1076
» Base Logics in Argumentation
Sort
View
191
Voted
CPAIOR
2010
Springer
15 years 11 months ago
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
Elvin Coban, John N. Hooker
KR
2010
Springer
15 years 11 months ago
Towards a Logic of Feature-Based Semantic Science Theories
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
David Poole
116
Voted
ASPDAC
2000
ACM
111views Hardware» more  ASPDAC 2000»
15 years 11 months ago
IBAW: an implication-tree based alternative-wiring logic transformation algorithm
Wangning Long, Yu-Liang Wu, Jinian Bian
ATAL
1999
Springer
15 years 11 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....