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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540651413, 9783540495451
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Persistence and Minimality in Epistemic Logic

1998 ◽  
pp. 62-77
Author(s):  
Wiebe van der Hoek ◽  
Jan Jaspars ◽  
Elias Thijsse
Keyword(s):  
Epistemic Logic

Propositional Lower Bounds: Generalization and Algorithms

1998 ◽  
pp. 355-367
Author(s):  
Marco Cadoli ◽  
Luigi Palopoli ◽  
Francesco Scarcello
Keyword(s):  
Lower Bounds

Implicates and Reduction Techniques for Temporal Logics

1998 ◽  
pp. 309-323
Author(s):  
Inman P. de Guzmán ◽  
Manuel Ojeda-Aciego ◽  
Augustín Valverde
Keyword(s):  
Temporal Logics ◽  
Reduction Techniques
Load More ...
Sign in / Sign up

Export Citation Format

Share Document