Sciweavers

5378 search results - page 772 / 1076
» Base Logics in Argumentation
Sort
View
AOSE
2005
Springer
15 years 6 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
ELPUB
2004
ACM
15 years 6 months ago
Framework for a XML-based search system
- This article presents a framework for a XML based search system composed by three layers: data layer, logic layer and presentation layer. In all three layers XML related technolo...
Pedro Almeida, Joaquim Sousa Pinto, Joaquim Arnald...
119
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 6 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
115
Voted
JAIR
2008
126views more  JAIR 2008»
15 years 24 days ago
Extended RDF as a Semantic Foundation of Rule Markup Languages
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
112
Voted
IJSI
2010
84views more  IJSI 2010»
14 years 11 months ago
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods hav...
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zu...