Sciweavers

7956 search results - page 304 / 1592
» Into the Future
Sort
View
FROCOS
2009
Springer
16 years 1 months ago
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
INCDM
2009
Springer
160views Data Mining» more  INCDM 2009»
16 years 1 months ago
Integrating Data Mining and Agent Based Modeling and Simulation
In this paper, we introduce an integration study which combines Data Mining (DM) and Agent Based Modeling and Simulation (ABMS). This study, as a new paradigm for DM/ABMS, is conce...
Omar Baqueiro, Yanbo J. Wang, Peter McBurney, Fran...
LFCS
2009
Springer
16 years 1 months ago
Temporalization of Probabilistic Propositional Logic
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
Pedro Baltazar, Paulo Mateus
MDAI
2009
Springer
16 years 1 months ago
Using Conditional Random Fields for Decision-Theoretic Planning
We propose a means of extending Conditional Random Field modeling to decision-theoretic planning where valuation is dependent upon fullyobservable factors. Representation is discu...
Paul A. Ardis, Christopher M. Brown
SAGT
2009
Springer
118views Game Theory» more  SAGT 2009»
16 years 1 months ago
A Modular Approach to Roberts' Theorem
Roberts’ theorem from 1979 states that the only incentive compatible mechanisms over a full domain and range of at least 3 are weighted variants of the VCG mechanism termed affin...
Shahar Dobzinski, Noam Nisan