Search Sciweavers | Sciweavers

4573 search results - page 235 / 915

» Automated Reasoning

104

click to vote

GIS
2009
ACM

174views Automated Reasoning» more GIS 2009»

TwitterStand: news in tweets

16 years 1 months ago

Download www.cs.umd.edu

Jagan Sankaranarayanan, Hanan Samet, Benjamin E. T...

claim paper

Read More »

164

click to vote

TPHOL
2009
IEEE

240views Automated Reasoning» more TPHOL 2009»

Mind the Gap

16 years 1 months ago

Download www.wccf.org

Simon Winwood, Gerwin Klein, Thomas Sewell, June A...

claim paper

Read More »

172

click to vote

LPNMR
2009
Springer

122views Automated Reasoning» more LPNMR 2009»

Splitting a CR-Prolog Program

16 years 1 months ago

Download marcy.cjb.net

CR-Prolog is an extension of A-Prolog, the knowledge representation language at the core of the Answer Set Programming paradigm. CR-Prolog is

Marcello Balduccini

claim paper

Read More »

131

Voted

RWEB
2009
Springer

98views Automated Reasoning» more RWEB 2009»

Ontologies and Databases: The DL-Lite Approach

16 years 1 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

143

click to vote

LICS
2007
IEEE

117views Automated Reasoning» more LICS 2007»

Characterising Testing Preorders for Finite Probabilistic Processes

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers