Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

85

TCS
2002

81views Theoretical Computer Science» more TCS 2002»

Fixpoint semantics for logic programming a survey

15 years 2 months ago

Fixpoint semantics for logic programming a survey

Download ii.fmph.uniba.sk

Melvin Fitting

Real-time Traffic

TCS 2002 | Theoretical Computer Science |

claim paper

Related Content

» Fixpoint Characterizations for ManyValued Disjunctive Logic Programs with Probabilistic Se...

» Predicate Introduction for Logics with a Fixpoint Semantics Part I Logic Programming

» Fixpoint 3Valued Semantics for Autoepistemic Logic

» A fixpoint calculus for local and global program flows

» The Alternating Fixpoint of Logic Programs with Negation

» New Semantics for Hybrid Probabilistic Programs

» A Comparative Study of Logic Programs with Preference

» Specification of Logic Programming Languages from Reusable Semantic Building Blocks

» Semantics of static pointcuts in aspectJ

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	TCS
Authors	Melvin Fitting

Comments (0)