Search Sciweavers | Sciweavers

1036 search results - page 3 / 208

» Incompleteness of Behavioral Logics

click to vote

AIIA
1997
Springer

124views Artificial Intelligence» more AIIA 1997»

Introducing Abduction into (Extensional) Inductive Logic Programming Systems

13 years 11 months ago

Download www.ing.unife.it

We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...

Evelina Lamma, Paola Mello, Michela Milano, Fabriz...

claim paper

Read More »

click to vote

AAAI
2007

115views Intelligent Agents» more AAAI 2007»

Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information

13 years 9 months ago

Download www.aaai.org

We propose a framework for multi-issue bilateral negotiation, where issues are expressed and related to each other via Description Logics. Agents’ goals are expressed through (c...

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...

claim paper

Read More »

click to vote

LPNMR
2004
Springer

108views Automated Reasoning» more LPNMR 2004»

Planning with Sensing Actions and Incomplete Information Using Logic Programming

14 years 25 days ago

Download www.unm.edu

Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...

Tran Cao Son, Phan Huy Tu, Chitta Baral

claim paper

Read More »

click to vote

ER
2007
Springer

126views Database» more ER 2007»

Querying Incomplete Data with Logic Programs: ER Strikes Back

14 years 1 months ago

Download grupoweb.upf.es

Andrea Calì

claim paper

Read More »