Search Sciweavers | Sciweavers

1950 search results - page 11 / 390

» Lambda-Free Logical Frameworks

click to vote

ECAI
2000
Springer

147views Artificial Intelligence» more ECAI 2000»

Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging

13 years 11 months ago

Download nats-www.informatik.uni-hamburg.de

The problem of merging multiple sources information is central in many information processing areas such as databases integration problems, multiple criteria decision making, exper...

Salem Benferhat, Didier Dubois, Souhila Kaci, Henr...

claim paper

Read More »

click to vote

SIGECOM
2003
ACM

115views ECommerce» more SIGECOM 2003»

Betting boolean-style: a framework for trading in securities based on logical formulas

14 years 20 days ago

Download people.cs.uchicago.edu

We develop a framework for trading in compound securities: ﬁnancial instruments that pay oﬀ contingent on the outcomes of arbitrary statements in propositional logic. Buying o...

Lance Fortnow, Joe Kilian, David M. Pennock, Micha...

claim paper

Read More »

click to vote

DLOG
2009

117views Automated Reasoning» more DLOG 2009»

A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics

13 years 5 months ago

Download web.comlab.ox.ac.uk

In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...

Giorgos Stoilos, Giorgos B. Stamou

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

14 years 2 months ago

Download www.di.uniba.it

Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...

claim paper

Read More »