Sciweavers

3179 search results - page 206 / 636
» Applications of PCF Theory
Sort
View
AMAI
2004
Springer
13 years 10 months ago
Representing von Neumann-Morgenstern Games in the Situation Calculus
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
Oliver Schulte, James P. Delgrande
AML
2000
101views more  AML 2000»
13 years 10 months ago
Local order property in nonelementary classes
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...
Rami P. Grossberg, Olivier Lessmann
COLING
2002
13 years 10 months ago
Effective Structural Inference for Large XML Documents
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
Jason Sankey, Raymond K. Wong
ETS
2002
IEEE
116views Hardware» more  ETS 2002»
13 years 10 months ago
Human Activity Systems: A Theoretical Framework for Designing Learning for Multicultural Settings
In the analysis of any learning environment, whether small or large, one observes within it a "set of human activities related to each other so they can be viewed as a whole&...
Jill Slay
IJCIS
1998
78views more  IJCIS 1998»
13 years 10 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