Sciweavers

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

11

ELP
1992

favoriteEmaildiscussreport

112views Logical Reasoning» more ELP 1992»

Embedding Finite Sets in a Logic Programming Language

13 years 9 months ago

Embedding Finite Sets in a Logic Programming Language

Download users.dimi.uniud.it

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell

Real-time Traffic

ELP 1992 | Logical Reasoning |

claim paper

Related Content

» log A Logic Programming Language with Finite Sets

» Complexity of Rule Redundancy in Nonground AnswerSet Programming over Finite Domains

» Translating FirstOrder Causal Theories into Answer Set Programming

» Embedding NonGround Logic Programs into Autoepistemic Logic for KnowledgeBase Combination

» Representing FirstOrder Causal Theories by Logic Programs

» Compiling Intensional Sets in CLP

» Generating Propagators for Finite Set Constraints

» Boundedness of Monadic SecondOrder Formulae over Finite Words

» Answer Set Programming with Constraints Using Lazy Grounding

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	ELP
Authors	Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi

Comments (0)