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

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642333521, 9783642333538
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The Complexity of One-Agent Refinement Modal Logic

2012 ◽  
pp. 120-133 ◽  
Author(s):  
Laura Bozzelli ◽  
Hans van Ditmarsch ◽  
Sophie Pinchinat
Keyword(s):  
Modal Logic

scholarly journals Exploiting Unfounded Sets for HEX-Program Evaluation

2012 ◽  
pp. 160-175 ◽  
Author(s):  
Thomas Eiter ◽  
Michael Fink ◽  
Thomas Krennwallner ◽  
Christoph Redl ◽  
Peter Schüller
Keyword(s):  
Program Evaluation

PTL: A Propositional Typicality Logic

2012 ◽  
pp. 107-119 ◽  
Author(s):  
Richard Booth ◽  
Thomas Meyer ◽  
Ivan Varzinczak
Load More ...
Sign in / Sign up

Export Citation Format

Share Document