Search Sciweavers | Sciweavers

1151 search results - page 17 / 231

» Collaborative Programming: Applications of Logic and Automat...

125

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 11 months ago

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

137

click to vote

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

16 years 6 months ago

Download www.cs.wisc.edu

Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...

claim paper

Read More »

140

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

15 years 12 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

138

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

15 years 12 months ago

Download clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

126

click to vote

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers