Search Sciweavers | Sciweavers

2214 search results - page 7 / 443

» Complexity of Reasoning

click to vote

AISC
2000
Springer

121views Artificial Intelligence» more AISC 2000»

Reasoning about the Elementary Functions of Complex Analysis

13 years 11 months ago

Download www.csd.uwo.ca

There are many problems with the simpliﬁcation of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...

Robert M. Corless, James H. Davenport, David J. Je...

claim paper

Read More »

click to vote

IJCAI
2003

104views Artificial Intelligence» more IJCAI 2003»

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques

13 years 8 months ago

Download ijcai.org

Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...

Carmel Domshlak, Francesca Rossi, Kristen Brent Ve...

claim paper

Read More »

click to vote

TARK
2005
Springer

103views Automated Reasoning» more TARK 2005»

Complexity results for logics of local reasoning and inconsistent belief

14 years 26 days ago

Download www.tark.org

Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...

Martin Allen

claim paper

Read More »

click to vote

FOIS
2008

91views Information Technology» more FOIS 2008»

Complexity of Reasoning With Expressive Ontology Mappings

13 years 8 months ago

Download fois08.dfki.de

Chiara Ghidini, Luciano Serafini, Sergio Tessaris

claim paper

Read More »