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

15 years 5 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

15 years 5 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

15 years 4 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

15 years 3 months 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers