Search Sciweavers | Sciweavers

1020 search results - page 29 / 204

» Tight Semantics for Logic Programs

click to vote

IBERAMIA
2004
Springer

83views Artificial Intelligence» more IBERAMIA 2004»

On Some Differences Between Semantics of Logic Program Updates

14 years 2 months ago

Download centria.di.fct.unl.pt

João Alexandre Leite

claim paper

Read More »

click to vote

KR
2004
Springer

139views Automated Reasoning» more KR 2004»

Combining Answer Set Programming with Description Logics for the Semantic Web

14 years 2 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...

claim paper

Read More »

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

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

14 years 1 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

click to vote

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

14 years 25 days ago

Download www.cse.iitb.ac.in

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...

claim paper

Read More »

click to vote

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers