Sciweavers

448 search results - page 46 / 90
» Abstraction in Predictive State Representations
Sort
View
APAL
2006
118views more  APAL 2006»
15 years 1 months ago
Final coalgebras and the Hennessy-Milner property
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
Robert Goldblatt
CL
2000
Springer
15 years 1 months ago
A New Equational Foundation for the Fluent Calculus
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
Hans-Peter Störr, Michael Thielscher
WONTO
2008
15 years 3 months ago
A Survey of Ontology Learning Procedures
Abstract. Ontologies constitute an approach for knowledge representation that can be shared establishing a shared vocabulary for different applications and are also the backbone of...
Lucas Drumond, Rosario Girardi
SCHOLARPEDIA
2008
122views more  SCHOLARPEDIA 2008»
15 years 1 days ago
Calogero-Moser system
ABSTRACT. We discuss a special eigenstate of the quantized periodic CalogeroMoser system associated to a root system. This state has the property that its eigenfunctions, when rega...
Francesco Calogero
AAAI
2010
15 years 3 months ago
Relational Partially Observable MDPs
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
Chenggang Wang, Roni Khardon