Sciweavers

3032 search results - page 226 / 607
» Description Logic Rules
Sort
View
CPAIOR
2009
Springer
15 years 7 months ago
Modelling Search Strategies in Rules2CP
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
François Fages, Julien Martin
LICS
2005
IEEE
15 years 6 months ago
Model-Checking Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Markus Lohrey
159
Voted
DLOG
2011
14 years 4 months ago
On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution
Evolution of Knowledge Bases expressed in Description Logics (DLs) proved its importance. Most studies on evolution in DLs have focused on modelbased approaches to evolution semant...
Evgeny Kharlamov, Dmitriy Zheleznyakov
94
Voted
DCW
2000
Springer
15 years 5 months ago
An Evaluation of Formalisms for Negotiations in E-commerce
The diversity of negotiation types in e-commerce calls for a clear description of the rules that govern them. The participant has to know the rules before engaging in a negotiation...
Morad Benyoucef, Rudolf K. Keller
102
Voted
HIS
2001
15 years 2 months ago
An Automated Report Generation Tool for the Data Understanding Phase
To successfully prepare and model data, the data miner needs to be aware of the properties of the data manifold. In this chapter, the outline of a tool for automatically generating...
Juha Vesanto, Jaakko Hollmén