Search Sciweavers | Sciweavers

5198 search results - page 281 / 1040

» A Logic of Agent Programs

116

click to vote

ICLP
1990
Springer

123views Automated Reasoning» more ICLP 1990»

Logic Programs with Classical Negation

15 years 10 months ago

Download www.cs.uni-potsdam.de

Michael Gelfond, Vladimir Lifschitz

claim paper

Read More »

124

click to vote

ICLP
1990
Springer

94views Automated Reasoning» more ICLP 1990»

Parallel Logic Programming Systems

15 years 10 months ago

Download www.dcc.fc.up.pt

Jacques Chassin de Kergommeaux

claim paper

Read More »

136

click to vote

VLDB
1990
ACM

66views Database» more VLDB 1990»

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

15 years 10 months ago

Download www.cse.iitb.ac.in

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha...

claim paper

Read More »

111

click to vote

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

15 years 10 months ago

Download www.sc.ehu.es

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...

claim paper

Read More »

143

click to vote

DCOSS
2006
Springer

90views Distributed And Parallel Com...» more DCOSS 2006»

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers