Search Sciweavers | Sciweavers

1055 search results - page 39 / 211

» On the Semantics of Logic Programs with Preferences

click to vote

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

13 years 7 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i...

claim paper

Read More »

click to vote

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

13 years 7 months ago

Download www.cogs.susx.ac.uk

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

click to vote

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

13 years 7 months ago

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

click to vote

TCS
2002

81views Theoretical Computer Science» more TCS 2002»

Fixpoint semantics for logic programming a survey

13 years 7 months ago

Download ii.fmph.uniba.sk

Melvin Fitting

claim paper

Read More »

click to vote

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers