Search Sciweavers | Sciweavers

7123 search results - page 44 / 1425

» The Ordered Set of Rough Sets

139

click to vote

CL
2000
Springer

180views Automated Reasoning» more CL 2000»

Logic Program Synthesis in a Higher-Order Setting

15 years 4 months ago

Download dream.inf.ed.ac.uk

We describe a system for the synthesis of logic programs from speciﬁcations based on higher-order logical descriptions of appropriate reﬁnement operations. The system has been ...

David Lacey, Julian Richardson, Alan Smaill

claim paper

Read More »

108

click to vote

ATAL
2008
Springer

138views Intelligent Agents» more ATAL 2008»

Reinforcement learning for DEC-MDPs with changing action sets and partially ordered dependencies

15 years 1 months ago

Download ml.informatik.uni-freiburg.de

Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...

Thomas Gabel, Martin A. Riedmiller

claim paper

Read More »

click to vote

ITP
2010

129views Mathematics» more ITP 2010»

Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure

15 years 1 months ago