Sciweavers

ECAI
2008
Springer
13 years 9 months ago
Can URML Model Successfully Drools Rules?
The use of rules in business modeling is becoming more and more important, in applications requiring dynamic change of behavior. A number of rule languages and tools have been prop...
Emilian Pascalau, Adrian Giurca
ECAI
2008
Springer
13 years 9 months ago
Defining a Subset of OCL for Expressing SWRL Rules
OCL is a rich-syntax language for expressing integrity rules and many business rules can be expressed using OCL. On the other hand, UML/OCL is a mainstream modeling technology and ...
Sergey Lukichev
ECAI
2008
Springer
13 years 9 months ago
Extracting Semantic Annotations from Moodle Data
The purpose of this paper is to provide a solution which allows automatic reasoning processes over Moodle activities logs, in order to obtain user-personalized recommendations. Act...
Mihai Gabroveanu, Ion-Mircea Diaconescu
ECAI
2008
Springer
13 years 9 months ago
XTT+ Rule Design Using the ALSV(FD)
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
Grzegorz J. Nalepa, Antoni Ligeza
ECAI
2008
Springer
13 years 9 months ago
Test Generation for Model-Based Diagnosis
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
Gregory M. Provan
ECAI
2008
Springer
13 years 9 months ago
Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form
Abstract. In artificial intelligence literature there is a rising interest in studying strategic interaction situations. In these situations a number of rational agents act strateg...
Nicola Gatti
ECAI
2008
Springer
13 years 9 months ago
Detecting Fake Content with Relative Entropy Scoring
Thomas Lavergne, Tanguy Urvoy, François Yvo...
ECAI
2008
Springer
13 years 9 months ago
Pedigree Tracking in the Face of Ancillary Content
The accurate tracking and retrieval of content pedigree is a quickly growing requirement as our abilities to create information assets increases exponentially. Plagiarism detection...
Eugene Creswick, Emi Fujioka, Terrance Goan
ECAI
2008
Springer
13 years 9 months ago
A General Model for Epistemic State Revision using Plausibility Measures
In this paper, we present a general revision model on epistemic states based on plausibility measures proposed by Friedman and Halpern. We propose our revision strategy and give so...
Jianbing Ma, Weiru Liu
DRM
2008
Springer
13 years 9 months ago
A decision theoretic framework for analyzing binary hash-based content identification systems
Content identification has many applications, ranging from preventing illegal sharing of copyrighted content on video sharing websites, to automatic identification and tagging of ...
Avinash L. Varna, Ashwin Swaminathan, Min Wu