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

TOTAL DOCUMENTS

42
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319487571, 9783319487588
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Prompt Interval Temporal Logic

2016 ◽  
pp. 207-222 ◽  
Author(s):  
Dario Della Monica ◽  
Angelo Montanari ◽  
Aniello Murano ◽  
Pietro Sala
Keyword(s):  
Temporal Logic ◽  
Interval Temporal Logic

Opposition Frameworks

2016 ◽  
pp. 190-206
Author(s):  
Cosmina Croitoru ◽  
Kurt Mehlhorn

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks

2016 ◽  
pp. 522-528 ◽  
Author(s):  
Harald Beck ◽  
Bruno Bierbaumer ◽  
Minh Dao-Tran ◽  
Thomas Eiter ◽  
Hermann Hellwagner ◽  
...  
Keyword(s):  
Rule Based ◽  
Stream Reasoning

Efficient Reasoning for Inconsistent Horn Formulae

2016 ◽  
pp. 336-352 ◽  
Author(s):  
Joao Marques-Silva ◽  
Alexey Ignatiev ◽  
Carlos Mencía ◽  
Rafael Peñaloza

Pakota: A System for Enforcement in Abstract Argumentation

2016 ◽  
pp. 385-400 ◽  
Author(s):  
Andreas Niskanen ◽  
Johannes P. Wallner ◽  
Matti Järvisalo
Keyword(s):  
Abstract Argumentation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document