Intelligent Agents | Sciweavers

The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...

Piero A. Bonatti, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

23

click to vote

AAAI
2007

71views Intelligent Agents» more AAAI 2007»

A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff

14 years 43 min ago

Download www.acsu.buffalo.edu

We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...

Thomas Bittner, Maureen Donnelly

claim paper

Read More »

29

click to vote

AAAI
2008

136views Intelligent Agents» more AAAI 2008»

Minimal Contraction of Preference Relations

14 years 43 min ago

Download www.cse.buffalo.edu

Changing preferences is very common in real life. The expressive power of the operations of preference change introduced so far in the literature is limited to adding new informat...

Denis Mindolin, Jan Chomicki

claim paper

Read More »

24

click to vote

AAAI
2007

94views Intelligent Agents» more AAAI 2007»

Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems

14 years 43 min ago

Download www.informatik.uni-leipzig.de

We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...

Gerhard Brewka, Thomas Eiter

claim paper

Read More »

20

click to vote

AAAI
2008

120views Intelligent Agents» more AAAI 2008»

Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond

14 years 43 min ago

Download www.cril.univ-artois.fr

We extend the knowledge compilation map introduced by Darwiche and Marquis with three influential propositional fragments, the Krom CNF one (also known as the bijunctive fragment)...

Hélène Fargier, Pierre Marquis

claim paper

Read More »

25

click to vote

AAAI
2007

94views Intelligent Agents» more AAAI 2007»

Asymptotically Optimal Encodings of Conformant Planning in QBF

14 years 43 min ago

Download www.aaai.org

The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are determinist...

Jussi Rintanen

claim paper

Read More »

21

click to vote

AAAI
2007

73views Intelligent Agents» more AAAI 2007»

Learning to Sing Like a Bird: The Self-Supervised Acquisition of Birdsong

14 years 43 min ago