Sciweavers

1171 search results - page 83 / 235
» A Logical Language for Expressing Authorizations
Sort
View
155
Voted
CP
2005
Springer
15 years 11 months ago
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
Kish Shen, Joachim Schimpf
196
Voted
EEE
2005
IEEE
15 years 11 months ago
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
Thomas Skylogiannis, Grigoris Antoniou, Nick Bassi...
AWCC
2004
Springer
15 years 11 months ago
Fuzzy Logic-Based Image Retrieval
This paper imports the fuzzy logic into image retrieval to deal with the vagueness and ambiguity of human judgment of image similarity. Our retrieval system has the following prop...
Xiaoling Wang, Kanglin Xie
ICDE
2008
IEEE
208views Database» more  ICDE 2008»
16 years 7 months ago
Clip: a Visual Language for Explicit Schema Mappings
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...
Alessandro Raffio, Daniele Braga, Mauricio A. Hern...
LOPSTR
2004
Springer
15 years 11 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...