Sciweavers

1486 search results - page 34 / 298
» A Logically Saturated Extension of
Sort
View
ECSQARU
2001
Springer
14 years 10 days ago
How to Reason Credulously and Skeptically within a Single Extension
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
James P. Delgrande, Torsten Schaub
JANCL
2002
66views more  JANCL 2002»
13 years 7 months ago
Reasoning Credulously and skeptically within a single extension
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
James P. Delgrande, Torsten Schaub
SIGMOD
2006
ACM
116views Database» more  SIGMOD 2006»
14 years 8 months ago
Extensible optimization in overlay dissemination trees
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
Olga Papaemmanouil, Yanif Ahmad, Ugur Çetin...
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
14 years 8 months ago
XPORT: extensible profile-driven overlay routing trees
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
Olga Papaemmanouil, Yanif Ahmad, Ugur Çetin...
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
14 years 1 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...