Sciweavers

4894 search results - page 39 / 979
» Dynamic Abstraction Planning
Sort
View
65
Voted
DAC
2010
ACM
15 years 7 months ago
BooM: a decision procedure for boolean matching with abstraction and dynamic learning
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
99
Voted
ECSQARU
2009
Springer
15 years 6 months ago
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension
Guido Boella, Souhila Kaci, Leendert van der Torre
DAC
2005
ACM
15 years 5 months ago
Dynamic abstraction using SAT-based BMC
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Th...
92
Voted
EVOW
2008
Springer
15 years 5 months ago
Memory Based on Abstraction for Dynamic Fitness Functions
Hendrik Richter, Shengxiang Yang
DAGSTUHL
2006
15 years 4 months ago
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems
David M. Nicol, Corrado Priami, Hanne Riis Nielson...