Sciweavers

2395 search results - page 22 / 479

» Reasoning in Semantic Wikis

110

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 8 months ago

Comparing different graph representations of logic programs under the Answer Set semantics

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

94

ICLP
2001
Springer

104views Automated Reasoning» more ICLP 2001»

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

15 years 8 months ago

Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

114

CSL
1993
Springer

98views Automated Reasoning» more CSL 1993»

ERRATA to "The Semantics of the C Programming Language"

15 years 8 months ago

ERRATA to "The Semantics of the C Programming Language"

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

187

NMELP
1994

244views Automated Reasoning» more NMELP 1994»

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity

15 years 7 months ago

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity

Download centria.di.fct.unl.pt

José Júlio Alferes, Luís Moni...

claim paper

Read More »

103

Voted

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

15 years 7 months ago

A Fully Abstract Semantics for a Functional Language with Logic Variables

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

« Prev « First page 22 / 479 Last » Next »