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

9783642156748, 9783642156755
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems

2010 ◽  
pp. 352-355 ◽  
Author(s):  
Seif El-Din Bairakdar ◽  
Minh Dao-Tran ◽  
Thomas Eiter ◽  
Michael Fink ◽  
Thomas Krennwallner

scholarly journals Decomposition of Distributed Nonmonotonic Multi-Context Systems

2010 ◽  
pp. 24-37 ◽  
Author(s):  
Seif El-Din Bairakdar ◽  
Minh Dao-Tran ◽  
Thomas Eiter ◽  
Michael Fink ◽  
Thomas Krennwallner

scholarly journals Sets of Boolean Connectives That Make Argumentation Easier

2010 ◽  
pp. 117-129 ◽  
Author(s):  
Nadia Creignou ◽  
Johannes Schmidt ◽  
Michael Thomas ◽  
Stefan Woltran
Load More ...
Sign in / Sign up

Export Citation Format

Share Document