Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

51
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540292081, 9783540319474
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantics of Framed Temporal Logic Programs

2005 ◽  
pp. 356-370 ◽  
Author(s):  
Zhenhua Duan ◽  
Xiaoxiao Yang ◽  
Maciej Koutny
Keyword(s):  
Temporal Logic ◽  
Logic Programs

Hybridization of Genetic Algorithms and Constraint Propagation for the BACP

2005 ◽  
pp. 421-423
Author(s):  
Tony Lambert ◽  
Carlos Castro ◽  
Eric Monfroy ◽  
María Cristina Riff ◽  
Frédéric Saubion
Keyword(s):  
Genetic Algorithms ◽  
Constraint Propagation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document