Sciweavers

3505 search results - page 108 / 701
» Information Theory and the IrisCode
Sort
View
JAIR
2010
111views more  JAIR 2010»
14 years 8 months ago
Grounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
Johan Wittocx, Maarten Mariën, Marc Denecker
IJCAI
1997
14 years 11 months ago
Compiling Reasoning with and about Preferences into Default Logic
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
James P. Delgrande, Torsten Schaub
FUZZIEEE
2007
IEEE
15 years 4 months ago
Possibilistic information fusion using maximal coherent subsets
— When multiple sources provide information about the same unknown quantity, their fusion into a synthetic interpretable message is often a tedious problem, especially when sourc...
Sébastien Destercke, Didier Dubois, Eric Ch...
ICEIS
2003
IEEE
15 years 3 months ago
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
B. Nick Rossiter, David A. Nelson, Michael A. Heat...
CAISE
2004
Springer
15 years 3 months ago
Basic Notions Regarding Business Processes and Supporting Information Systems
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
Jan L. G. Dietz