Search Sciweavers | Sciweavers

2585 search results - page 30 / 517

» Automating Coherent Logic

click to vote

ALP
1994
Springer

97views Automated Reasoning» more ALP 1994»

A Logic for Variable Aliasing in Logic Programs

14 years 1 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 »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

14 years 4 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

click to vote

ECSQARU
2005
Springer

84views Automated Reasoning» more ECSQARU 2005»

Unifying Logical and Probabilistic Reasoning

14 years 3 months ago

Download www.iam.unibe.ch

Rolf Haenni

claim paper

Read More »

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

14 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers