Semi-parametric nonlinear regression and transformation using functional networks Fulltext Access 29 Pages 2008
Restricted gradient-descent algorithm for value-function approximation in reinforcement learning Fulltext Access 29 Pages 2008
Negotiating with bounded rational agents in environments with incomplete information using an automated agent Fulltext Access 29 Pages 2008
Aondê: An ontology Web service for interoperability across biodiversity applications Fulltext Access 30 Pages 2008
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types Fulltext Access 30 Pages 2008
General Refinement, Part One: Interfaces, Determinism and Special Refinement Fulltext Access 31 Pages 2008
A knowledge-based approach to manage information systems interoperability Fulltext Access 31 Pages 2008
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence Fulltext Access 31 Pages 2008
Modelling and solving temporal reasoning as propositional satisfiability Fulltext Access 31 Pages 2008
Sequential Monte Carlo in reachability heuristics for probabilistic planning Fulltext Access 31 Pages 2008
Quantifying the uncertainty of a belief net response: Bayesian error-bars for belief net inference Fulltext Access 31 Pages 2008
The complexity of deciding reachability properties of distributed negotiation schemes Fulltext Access 32 Pages 2008
Cryptographic protocol logic: Satisfaction for (timed) Dolev–Yao cryptography Fulltext Access 32 Pages 2008
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi Fulltext Access 33 Pages 2008
Multi-agent human–machine dialogue: issues in dialogue management and referring expression semantics Fulltext Access 34 Pages 2008
Timed Petri nets and timed automata: On the discriminating power of zeno sequences Fulltext Access 35 Pages 2008
Arbitrary pattern formation by asynchronous, anonymous, oblivious robots Fulltext Access 36 Pages 2008
Understanding the role of noise in stochastic local search: Analysis and experiments Fulltext Access 36 Pages 2008
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic Fulltext Access 38 Pages 2008
Learning indexed families of recursive languages from positive data: A survey Fulltext Access 39 Pages 2008
A framework for the verification of infinite-state graph transformation systems Fulltext Access 39 Pages 2008
Alternating-offers bargaining with one-sided uncertain deadlines: an efficient algorithm Fulltext Access 39 Pages 2008
Semiring induced valuation algebras: Exact and approximate local computation algorithms Fulltext Access 40 Pages 2008
Maintenance goals of agents in a dynamic environment: Formulation and policy construction Fulltext Access 41 Pages 2008
True-concurrency probabilistic models: Markov nets and a law of large numbers Fulltext Access 42 Pages 2008
Combining answer set programming with description logics for the Semantic Web Fulltext Access 45 Pages 2008
An approach to efficient planning with numerical fluents and multi-criteria plan quality Fulltext Access 46 Pages 2008