Sciweavers

8 search results - page 1 / 2
» ksem 2007
Sort
View
KSEM
2007
Springer
13 years 11 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
KSEM
2007
Springer
13 years 11 months ago
On Defense Strength of Blocking Defeaters in Admissible Sets
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
Diego C. Martínez, Alejandro Javier Garc&ia...
KSEM
2007
Springer
13 years 11 months ago
Ontology-Based Inference for Causal Explanation
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language...
Philippe Besnard, Marie-Odile Cordier, Yves Moinar...
KSEM
2007
Springer
13 years 11 months ago
Service-Mining Based on Knowledge and Customer Databases
– This paper addresses a service-mining technique and applies this technique to improve the services of vehicle service centers. We propose a service-mining system and its data s...
Yan Li, Peng Wen, Hu Wang, Chunqiang Gong
KSEM
2007
Springer
13 years 11 months ago
An Argumentative Reasoning Service for Deliberative Agents
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
Alejandro Javier García, Nicolás D. ...