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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540878025, 9783540878032
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Confluence Operators

2008 ◽  
pp. 272-284 ◽  
Author(s):  
Sébastien Konieczny ◽  
Ramón Pino Pérez

scholarly journals Normal Form Nested Programs

2008 ◽  
pp. 76-88 ◽  
Author(s):  
Annamaria Bria ◽  
Wolfgang Faber ◽  
Nicola Leone
Keyword(s):  
Normal Form

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

2008 ◽  
pp. 62-75 ◽  
Author(s):  
Davide Bresolin ◽  
Angelo Montanari ◽  
Pietro Sala ◽  
Guido Sciavicco
Keyword(s):  
Linear Orders

Strongly Equivalent Temporal Logic Programs

2008 ◽  
pp. 8-20 ◽  
Author(s):  
Felicidad Aguado ◽  
Pedro Cabalar ◽  
Gilberto Pérez ◽  
Concepción Vidal
Keyword(s):  
Temporal Logic ◽  
Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document