Sciweavers

12 search results - page 1 / 3
» The Re-Representation Problem in a Logic-Based Framework for...
Sort
View
AAAI
2008
13 years 7 months ago
The Re-Representation Problem in a Logic-Based Framework for Analogy Making
Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger...
ICTAI
2005
IEEE
13 years 10 months ago
Planning with POMDPs Using a Compact, Logic-Based Representation
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
Chenggang Wang, James G. Schmolze
IJIS
2000
75views more  IJIS 2000»
13 years 4 months ago
Relating decision under uncertainty and multicriteria decision making models
This short overview paper points out the striking similarity between decision under uncertainty and multicriteria decision making problems, two areas which have been developed in ...
Didier Dubois, Michel Grabisch, François Mo...
AUSAI
2003
Springer
13 years 10 months ago
Multimedia Analysis and Synthesis
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
Mohan S. Kankanhalli
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 11 days ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...