Sciweavers

31

AIC
2015

1views more AIC 2015»

A Network-based Communication Platform for a Cognitive Computer

9 years 12 months ago

Street is a reconﬁgurable parallel computer architecture. It executes a production language directly in hardware with the aim of realising advanced cognitive agents in a more ene...

Mostafa W. Numan, Jesse Frost, Braden J. Phillips,...

claim paper

Read More »

47

click to vote

AI
2015
Springer

7views Artificial Intelligence» more AI 2015»

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

9 years 12 months ago

Download www.mikand.net

The framework of temporal problems with uncertainty (TPU) is useful to express temporal constraints over a set of activities subject to uncertain (and uncontrollable) duration. In...

Alessandro Cimatti, Andrea Micheli, Marco Roveri

claim paper

Read More »

40

click to vote

AI
2015
Springer

8views Artificial Intelligence» more AI 2015»

Belief revision in Horn theories

9 years 12 months ago

Download www.cs.sfu.ca

This paper investigates belief revision where the underlying logic is that governing Horn clauses. We show that classical (AGM) belief revision doesn’t immediately generalise to...

James P. Delgrande, Pavlos Peppas

claim paper

Read More »

52

click to vote

AI
2015
Springer

10views Artificial Intelligence» more AI 2015»

Backdoors to tractable answer set programming

9 years 12 months ago

Download publik.tuwien.ac.at

We present a unifying approach to the efﬁcient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent �...

Johannes Klaus Fichte, Stefan Szeider

claim paper

Read More »

41

click to vote

AI
2015
Springer

7views Artificial Intelligence» more AI 2015»

Law and logic: A review from an argumentation perspective

9 years 12 months ago