JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
We present a framework for expressing different merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revisi...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Strategic games model the interaction among simultaneous decisions of agents. The starting point of strategic games is a set of players (agents) having strategies (decisions) and p...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer