Sciweavers

835 search results - page 88 / 167
» Characterizing rosy theories
Sort
View
KRMED
2004
15 years 1 months ago
Axioms for parthood and containment relations in bio-ontologies
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their impl...
Thomas Bittner
IJCAI
2003
15 years 1 months ago
A Logic For Causal Reasoning
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
Alexander Bochman
IJCAI
1997
15 years 1 months ago
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
Ulrich Junker
CORR
2008
Springer
115views Education» more  CORR 2008»
15 years 28 days ago
Playing With Population Protocols
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous ...
Olivier Bournez, Jérémie Chalopin, J...
DGO
2009
139views Education» more  DGO 2009»
15 years 28 days ago
Citation analysis for e-government research
Various research papers question and analyze the maturity of the e-government research area and its stance as a scientific discipline. The common conclusion of these papers is the...
Nusa Erman