Sciweavers

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

6

JELIA
2004
Springer

favoriteEmaildiscussreport

100views Artificial Intelligence» more JELIA 2004»

Equivalence of Logic Programs Under Updates

13 years 10 months ago

Equivalence of Logic Programs Under Updates

Download research.nii.ac.jp

Katsumi Inoue, Chiaki Sakama

Real-time Traffic

Artificial Intelligence | JELIA 2004 |

claim paper

Related Content

» Uniform Equivalence of Logic Programs under the Stable Model Semantics

» Simplifying Logic Programs Under Uniform and Strong Equivalence

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

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

» On Properties of Update Sequences Based on Causal Rejection

» Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation

» Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Pr...

» Propositional theories are strongly equivalent to logic programs

» Equivalence for the G3stable models semantics

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	JELIA
Authors	Katsumi Inoue, Chiaki Sakama

Comments (0)