Sciweavers

383 search results - page 33 / 77
» Formal Syntax and Semantics of Case Stacking Languages
Sort
View
IJCIS
1998
78views more  IJCIS 1998»
14 years 9 months ago
Merging Databases Under Constraints
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...
Jinxin Lin, Alberto O. Mendelzon
61
Voted
FUIN
2008
56views more  FUIN 2008»
14 years 9 months ago
Representing Uncertainty in RuleML
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for...
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos...
ML
2006
ACM
113views Machine Learning» more  ML 2006»
15 years 3 months ago
A separate compilation extension to standard ML
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
David Swasey, Tom Murphy VII, Karl Crary, Robert H...
ATAL
2003
Springer
15 years 2 months ago
Programming agent deliberation: an approach illustrated using the 3APL language
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
Mehdi Dastani, Frank S. de Boer, Frank Dignum, Joh...
DASFAA
2005
IEEE
128views Database» more  DASFAA 2005»
15 years 3 months ago
XDO2: A Deductive Object-Oriented Query Language for XML
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbi...