Sciweavers

KR
2000
Springer
15 years 7 months ago
Finding Admissible and Preferred Arguments Can be Very Hard
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
95
Voted
KR
2000
Springer
15 years 7 months ago
Ontology-Based Semantics
Mihai Ciocoiu, Dana S. Nau
118
Voted
KR
2000
Springer
15 years 7 months ago
Containment of Conjunctive Regular Path Queries with Inverse
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
KR
2000
Springer
15 years 7 months ago
Partition-Based Logical Reasoning
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
Eyal Amir, Sheila A. McIlraith