Sciweavers

4128 search results - page 96 / 826
» Learning and using relational theories
Sort
View
ISSEP
2010
Springer
418views Education» more  ISSEP 2010»
15 years 6 months ago
Didactic Games for Teaching Information Theory
We developed a set of didactic games and activities that can be used to illustrate and teach various concepts from Information Theory. For each of the games and activities we list ...
Michal Forisek, Monika Steinová
AAAI
2010
14 years 10 months ago
Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations
When merging belief sets from different agents, the result is normally a consistent belief set in which the inconsistency between the original sources is not represented. As proba...
Jianbing Ma, Weiru Liu, Anthony Hunter
CORR
2010
Springer
185views Education» more  CORR 2010»
14 years 6 months ago
Analysing the behaviour of robot teams through relational sequential pattern mining
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
Grazia Bombini, Raquel Ros, Stefano Ferilli, Ramon...
SOCO
2007
Springer
15 years 4 months ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro
FOSSACS
2005
Springer
15 years 3 months ago
A Simpler Proof Theory for Nominal Logic
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
James Cheney