Search Sciweavers | Sciweavers

2500 search results - page 76 / 500

» Logical Semantics of Modularisation

120

Voted

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inman P. de Guzmán, Emili...

claim paper

Read More »

136

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

15 years 10 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

142

click to vote

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

15 years 10 months ago

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

120

click to vote

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

15 years 10 months ago

Download www.cse.iitb.ac.in

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...

claim paper

Read More »

click to vote

ICDE
1989
IEEE

55views Database» more ICDE 1989»

Modeling Semantic Constraints with Logic in the EARL Data Model

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers