Sciweavers

8 search results - page 1 / 2
» ksem 2007
Sort
View
KSEM
2007
Springer
14 years 8 days 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
14 years 8 days 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
14 years 8 days 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
14 years 8 days 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
14 years 8 days 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. ...