artificial intelligence

7

click to vote

AI
2015
Springer

4views Artificial Intelligence» more AI 2015»

Truthful learning mechanisms for multi-slot sponsored search auctions with externalities

8 years 3 months ago

Download researchers.lille.inria.fr

Nicola Gatti, Alessandro Lazaric, Marco Rocco, Fra...

claim paper

Read More »

6

click to vote

AI
2015
Springer

8views Artificial Intelligence» more AI 2015»

Asynchronous knowledge with hidden actions in the situation calculus

8 years 3 months ago

Download people.eng.unimelb.edu.au

We present a powerful new account of multi-agent knowledge in the situation calculus and an automated reasoning procedure for knowledge queries. Existing accounts of epistemic rea...

Ryan F. Kelly, Adrian R. Pearce

claim paper

Read More »

5

click to vote

AI
2015
Springer

7views Artificial Intelligence» more AI 2015»

Variable symmetry breaking in numerical constraint problems

8 years 3 months ago

Download www.iri.upc.edu

Symmetry breaking has been a hot topic of research in the past years, leading to many theoretical developments as well as strong scaling strategies for dealing with hard applicati...

Alexandre Goldsztejn, Christophe Jermann, Vicente ...

claim paper

Read More »

7

click to vote

AI
2015
Springer

1views Artificial Intelligence» more AI 2015»

Realizing RCC8 networks using convex regions

8 years 3 months ago

Download users.cs.cf.ac.uk

RCC8 is a popular fragment of the region connection calculus, in which qualitative spatial relations between regions, such as adjacency, overlap and parthood, can be expressed. Wh...

Steven Schockaert, Sanjiang Li

claim paper

Read More »

6

click to vote

AI
2015
Springer

4views Artificial Intelligence» more AI 2015»

The complexity of reasoning with FODD and GFODD

8 years 3 months ago

Download www.cs.tufts.edu

Recent work introduced Generalized First Order Decision Diagrams (GFODD) as a knowledge representation that is useful in mechanizing decision theoretic planning in relational doma...

Benjamin J. Hescott, Roni Khardon

claim paper

Read More »

5

click to vote

AI
2015
Springer

4views Artificial Intelligence» more AI 2015»

Optimal social choice functions: A utilitarian view

8 years 3 months ago

Download www.cs.toronto.edu

Craig Boutilier, Ioannis Caragiannis, Simi Haber, ...

claim paper

Read More »

6

click to vote

AI
2015
Springer

16views Artificial Intelligence» more AI 2015»

Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory

8 years 3 months ago

Download www.informatik.uni-leipzig.de

g the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory Hannes Strass Computer Science Institute Leipzig University, Germany Johannes Pe...

Hannes Strass, Johannes Peter Wallner

claim paper

Read More »

5

click to vote

AI
2015
Springer

2views Artificial Intelligence» more AI 2015»

Methods for solving reasoning problems in abstract argumentation - A survey

8 years 3 months ago

Download ddll.inf.tu-dresden.de

for solving reasoning problems in abstract argumentation – A survey Günther Charwat a , Wolfgang Dvoˇrák b , Sarah A. Gaggl c , Johannes P. Wallner a , Stefan Woltran a,∗ a ...

Günther Charwat, Wolfgang Dvorák, Sara...

claim paper

Read More »

5

click to vote

AI
2015
Springer

2views Artificial Intelligence» more AI 2015»

Temporal Feature Selection for Noisy Speech Recognition

8 years 3 months ago

Download www2.ift.ulaval.ca

Abstract. Automatic speech recognition systems rely on feature extraction techniques to improve their performance. Static features obtained from each frame are usually enhanced wit...

Ludovic Trottier, Brahim Chaib-draa, Philippe Gigu...

claim paper

Read More »

6

click to vote

AI
2015
Springer

7views Artificial Intelligence» more AI 2015»

Abstractive Meeting Summarization as a Markov Decision Process

8 years 3 months ago