Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
16
A Simple Model for Active Rules and their Behavior in Deductive Databases
- Proc. 2nd ICLP Workshop on Deductive Databases and Logic Programming
, 1994
"... Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifies the semantics of active and deductive databases and yields several benefits. ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifies the semantics of active and deductive databases and yields several benefits.
The Nonmonotonic Semantics of Active Rules in Deductive Databases
- Databases, Proceedings Fifth Int. Conference on Deductive and Object-Oriented Databases: DOOD
, 1997
"... We provide a logic-based semantics for active database rules under the immediately-after, tuple-level activation policy of SQL3. This result allows us to characterize and analyze the behavior of complex rule systems using the declarative framework of stable models, and to lay the theoretical foundat ..."
Abstract
-
Cited by 5 (4 self)
- Add to MetaCart
We provide a logic-based semantics for active database rules under the immediately-after, tuple-level activation policy of SQL3. This result allows us to characterize and analyze the behavior of complex rule systems using the declarative framework of stable models, and to lay the theoretical
Models in science’,
- The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab,
, 2008
"... Models are of central importance in many scientific contexts. The centrality of models such as the billiard ball model of a gas, the Bohr model of the atom, the MIT bag model of the nucleon, the Gaussian-chain model of a polymer, the Lorenz model of the atmosphere, the Lotka-Volterra model of preda ..."
Abstract
-
Cited by 21 (1 self)
- Add to MetaCart
In modern logic, a model is a structure that makes all sentences of a theory true, where a theory is taken to be a (usually deductively closed) set of sentences in a formal language (see Bell and Machover 1977 or Hodges 1997 for details). The structure is a 'model' in the sense that it is what
COSMOLOGICAL MODELS OF MODIFIED GRAVITY
, 2013
"... The recent discovery of dark energy has prompted an investigation of ways in which the accelerated expansion of the universe can be realized. In this dissertation, we present two separate projects related to dark energy. The first project analyzes a class of braneworld models in which multiple brane ..."
Abstract
- Add to MetaCart
The recent discovery of dark energy has prompted an investigation of ways in which the accelerated expansion of the universe can be realized. In this dissertation, we present two separate projects related to dark energy. The first project analyzes a class of braneworld models in which multiple
By
, 2013
"... I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution. ..."
Abstract
- Add to MetaCart
I declare that this thesis is my own account of my research and contains as its main content work which has not previously been submitted for a degree at any tertiary education institution.
POUR L'OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES PAR
"... 2010 to my wife, Joyce, and my family...- Résumé- ..."
Secure Geographic Routing in Wireless Sensor Networks
, 2013
"... the non-exclusive right to publish the Work electronically and in a non-commercial purpose make it accessible on the Internet. The Author warrants that he/she is the author to the Work, and warrants that the Work does not contain text, pictures or other material that violates copyright law. The Auth ..."
Abstract
- Add to MetaCart
the non-exclusive right to publish the Work electronically and in a non-commercial purpose make it accessible on the Internet. The Author warrants that he/she is the author to the Work, and warrants that the Work does not contain text, pictures or other material that violates copyright law
PII: S1364-6613(99)01399-6
"... Soci al cognition refers to the processes that subserve behavior in response to conspecifics (other individuals of the same species), and, in particular, to those higher cognitive processes subserving the extremely diverse and flexible social behaviors that are seen in primates. Its evolution arose ..."
Abstract
- Add to MetaCart
that differs from aspects of objects that are a direct consequence of topography at the sensory epithelium). While initially surprising, the finding is in fact predicted from the assumption of a few, very simple, local rules that specify how brains represent stimuli (Ref. a). In essence, local rules
Scenario Generation and Reduction for Long-term and Short-term Power System Generation Planning under Uncertainties
"... ii ..."
A Service of zbw Policy analysis with incredible certitude
"... Standard-Nutzungsbedingungen: Die Dokumente auf EconStor dürfen zu eigenen wissenschaftlichen Zwecken und zum Privatgebrauch gespeichert und kopiert werden. Sie dürfen die Dokumente nicht für öffentliche oder kommerzielle Zwecke vervielfältigen, öffentlich ausstellen, öffentlich zugänglich machen, ..."
Abstract
- Add to MetaCart
be reviewed annually by the scorekeepers and revised as necessary to adhere to the purpose. These rules shall not be changed unless all of the scorekeepers agree. New accounts or activities shall be classified only after consultation among the scorekeepers. Accounts and activities shall not be reclassified
Results 1 - 10
of
16
