Search Sciweavers | Sciweavers

We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...

Victor W. Marek, Miroslaw Truszczynski

claim paper

Read More »

137

click to vote

AAAI
2004

108views Intelligent Agents» more AAAI 2004»

Advice Generation from Observed Execution: Abstract Markov Decision Process Learning

15 years 8 months ago

Download www.cs.cmu.edu

Patrick Riley, Manuela M. Veloso

claim paper

Read More »

154

click to vote

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

15 years 8 months ago

Download www.jair.org

Tran Cao Son, Enrico Pontelli, Phan Huy Tu

claim paper

Read More »

138

Voted

AAAI
2006

101views Intelligent Agents» more AAAI 2006»

On the Complexity of Linking Deductive and Abstract Argument Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers