Search Sciweavers | Sciweavers

2585 search results - page 30 / 517

» Automating Coherent Logic

146

click to vote

ALP
1994
Springer

97views Automated Reasoning» more ALP 1994»

A Logic for Variable Aliasing in Logic Programs

15 years 10 months ago

Download www.cs.ru.nl

This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...

Elena Marchiori

claim paper

Read More »

131

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

16 years 5 days ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

132

click to vote

ECSQARU
2005
Springer

84views Automated Reasoning» more ECSQARU 2005»

Unifying Logical and Probabilistic Reasoning

15 years 11 months ago

Download www.iam.unibe.ch

Rolf Haenni

claim paper

Read More »

133

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 11 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

137

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers