Sciweavers

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

87

Voted

ECAI
2006
Springer

95views Artificial Intelligence» more ECAI 2006»

Modular Equivalence for Normal Logic Programs

15 years 6 months ago

Modular Equivalence for Normal Logic Programs

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

Real-time Traffic

Artificial Intelligence | ECAI 2006 |

claim paper

Related Content

» Strong order equivalence

» On Modular Translations and Strong Equivalence

» Using Nested Logic Programs for Answer Set Programming

» Uniform Equivalence of Logic Programs under the Stable Model Semantics

» Alternative Characterizations for Program Equivalence under AnswerSet Semantics Preliminar...

» Alternative Characterizations for Program Equivalence under AnswerSet Semantics Based on U...

» Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Progr...

» Hyperequivalence of Logic Programs with Respect to Supported Models

» Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	ECAI
Authors	Emilia Oikarinen, Tomi Janhunen

Comments (0)