Sciweavers

80 search results - page 1 / 16
» On the Representation and Management of Finite Sets in CLP L...
Sort
View
ICLP
1998
Springer
13 years 9 months ago
On the Representation and Management of Finite Sets in CLP Languages
Agostino Dovier, Carla Piazza, Gianfranco Rossi, E...
ICLP
1994
Springer
13 years 8 months ago
Compiling Intensional Sets in CLP
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, ...
JISBD
2003
13 years 6 months ago
Using Contextual Logic Programming for Temporal Reasoning
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
Vítor Nogueira, Salvador Abreu, Gabriel Dav...
JBI
2008
13 years 4 months ago
The Field Representation Language
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...
Guy Tsafnat
ACL
1994
13 years 6 months ago
Compact Representations by Finite-State Transducers
Finite-state transducers give efficient representations of many Natural Language phenomena. They allow to account for complex lexicon restrictions encountered, without involving t...
Mehryar Mohri