1022 search results - page 65 / 205 » Stable models and circumscription |
APCCM
2008
13 years 11 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
ICAISC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Short range excitation, long range inhibition sometimes referred to as mexican hat connectivity seems to play important role in organization of the cortex, leading to fai...
APAL
2006
13 years 10 months ago
2006
: It follows directly from Shelah's structure theory that if T is a classifiable theory, then the isomorphism type of any model of T is determined by the theory of that model ...
LPNMR
2001
Springer
14 years 2 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...