Search Sciweavers | Sciweavers

2500 search results - page 76 / 500

» Logical Semantics of Modularisation

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 7 months ago

Download www.matap.uma.es

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

claim paper

Read More »

102

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 7 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

108

click to vote

ICALP
1992
Springer

74views Programming Languages» more ICALP 1992»

Logic Programming Semantics Made Easy

15 years 7 months ago

Download www.cs.ucla.edu

Els Laenens, Dirk Vermeir, Carlo Zaniolo

claim paper

Read More »

click to vote

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

15 years 6 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 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers