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

Horn Contraction via Epistemic Entrenchment

2010 ◽  
pp. 339-351 ◽  
Author(s):  
Zhi Qiang Zhuang ◽  
Maurice Pagnucco
Keyword(s):  
Epistemic Entrenchment

A Logical Semantics for Description Logic Programs

2010 ◽  
pp. 156-168 ◽  
Author(s):  
Michael Fink ◽  
David Pearce
Keyword(s):  
Description Logic ◽  
Logic Programs ◽  
Logical Semantics

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 Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic

2010 ◽  
pp. 313-325 ◽  
Author(s):  
Joost Vennekens ◽  
Maurice Bruynooghe ◽  
Marc Denecker
Keyword(s):  
Causal Modelling

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 Sets of Boolean Connectives That Make Argumentation Easier

2010 ◽  
pp. 117-129 ◽  
Author(s):  
Nadia Creignou ◽  
Johannes Schmidt ◽  
Michael Thomas ◽  
Stefan Woltran

scholarly journals Coala: A Compiler from Action Languages to ASP

2010 ◽  
pp. 360-364 ◽  
Author(s):  
Martin Gebser ◽  
Torsten Grote ◽  
Torsten Schaub
Keyword(s):  
Action Languages

scholarly journals The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

2010 ◽  
pp. 356-359 ◽  
Author(s):  
Markus Bögl ◽  
Thomas Eiter ◽  
Michael Fink ◽  
Peter Schüller
Load More ...
Sign in / Sign up

Export Citation Format

Share Document