Sciweavers

347 search results - page 41 / 70
» Database Programming in Transaction Logic
Sort
View
SIGMOD
2010
ACM
202views Database» more  SIGMOD 2010»
13 years 7 months ago
Beyond isolation: research opportunities in declarative data-driven coordination
There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of ...
Lucja Kot, Nitin Gupta 0003, Sudip Roy, Johannes G...
ML
2006
ACM
131views Machine Learning» more  ML 2006»
13 years 8 months ago
Markov logic networks
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
Matthew Richardson, Pedro Domingos
VLDB
1991
ACM
135views Database» more  VLDB 1991»
14 years 11 days ago
A Framework for Automating Physical Database Design
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
Steve Rozen, Dennis Shasha
INFSOF
1998
88views more  INFSOF 1998»
13 years 8 months ago
A logic based language for networked agents
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
Dianxiang Xu
ACIIDS
2010
IEEE
170views Database» more  ACIIDS 2010»
14 years 1 months ago
Moral Hazard Resolved by Common-Knowledge in S5n Logic
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
Takashi Matsuhisa