Search Sciweavers | Sciweavers

1894 search results - page 10 / 379

» Towards Mobile Reasoning

134

click to vote

CADE
2005
Springer

132views Logical Reasoning» more CADE 2005»

KRHyper - In Your Pocket

15 years 10 months ago

Download www.uni-koblenz.de

Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a ﬁrst order theorem prover and model generator based on the hyper table...

Alex Sinner, Thomas Kleemann

claim paper

Read More »

122

click to vote

RWEB
2005
Springer

85views Automated Reasoning» more RWEB 2005»

Towards Types for Web Rule Languages

15 years 10 months ago

Download reasoningweb.org

Wlodzimierz Drabent

claim paper

Read More »

123

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

15 years 10 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

148

click to vote

ECRA
2006

116views more ECRA 2006»

Towards a holistic analysis of mobile payments: A multiple perspectives approach

15 years 5 months ago

Download www.hec.unil.ch

As the mobile technologies and services are in constant evolution, many speculate on whether or not mobile payments will be a killer application for mobile commerce. To have a bet...

Jan Ondrus, Yves Pigneur

claim paper

Read More »

143

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers