Sciweavers

66 search results - page 14 / 14
» Formal Modeling of C. elegans Development: A Scenario-Based ...
Sort
View
AAAI
2007
13 years 8 months ago
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...
Gerhard Brewka, Thomas Eiter