Sciweavers

5378 search results - page 178 / 1076
» Base Logics in Argumentation
Sort
View
CPAIOR
2010
Springer
15 years 12 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 12 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
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....
148
Voted
ICTAI
1994
IEEE
15 years 11 months ago
R-calculus: A Logical Approach for Knowledge Base Maintenance
Wei Li, Ningchuan Shen, Ju Wang