Sciweavers

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

8

ICLP
1998
Springer

favoriteEmaildiscussreport

92views Automated Reasoning» more ICLP 1998»

On the Representation and Management of Finite Sets in CLP Languages

13 years 8 months ago

On the Representation and Management of Finite Sets in CLP Languages

Download users.dimi.uniud.it

Agostino Dovier, Carla Piazza, Gianfranco Rossi, E

Real-time Traffic

Automated Reasoning | ICLP 1998 |

claim paper

Related Content

» Compiling Intensional Sets in CLP

» Using Contextual Logic Programming for Temporal Reasoning

» The Field Representation Language

» Compact Representations by FiniteState Transducers

» WorldSet Decompositions Expressiveness and Efficient Algorithms

» Omitting types for finite variable fragments and complete representations of algebras

» Executable Set Theory and Arithmetic Encodings in Prolog

» Semantics and Inference for Recursive Probability Models

» 10106 Worlds and Beyond Efficient Representation and Processing of Incomplete Information

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	ICLP
Authors	Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli

Comments (0)