Sciweavers

1020 search results - page 30 / 204

» Tight Semantics for Logic Programs

82

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

14 years 11 months ago

Denotational semantics for a program logic of objects

Download www.cogs.susx.ac.uk

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

68

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

14 years 11 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

62

TCS
2002

81views Theoretical Computer Science» more TCS 2002»

Fixpoint semantics for logic programming a survey

14 years 11 months ago

Fixpoint semantics for logic programming a survey

Download ii.fmph.uniba.sk

Melvin Fitting

claim paper

Read More »

87

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

14 years 6 months ago

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

101

NMELP
1994

230views Automated Reasoning» more NMELP 1994»

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs

15 years 3 months ago

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs

Download www.lib.umd.edu

In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...

Carolina Ruiz, Jack Minker

claim paper

Read More »

« Prev « First page 30 / 204 Last » Next »