Logics in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540411314, 9783540400066
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Updates plus Preferences

2000 ◽  
pp. 345-360 ◽  
Author(s):  
José Júlio Alferes ◽  
Luís Moniz Pereira

Reduction Theorems for Boolean Formulas Using Δ-Trees

2000 ◽  
pp. 179-192 ◽  
Author(s):  
Gloria Gutiérrez ◽  
Inma P. de Guzmán ◽  
Javier Martínez ◽  
Manuel Ojeda-Aciego ◽  
Agustín Valverde
Keyword(s):  
Boolean Formulas

scholarly journals Considerations on Updates of Logic Programs

2000 ◽  
pp. 2-20 ◽  
Author(s):  
Thomas Eiter ◽  
Michael Fink ◽  
Giuliana Sabbatini ◽  
Hans Tompits
Keyword(s):  
Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document