Sciweavers

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

8

IBERAMIA
2004
Springer

favoriteEmaildiscussreport

83views Artificial Intelligence» more IBERAMIA 2004»

On Some Differences Between Semantics of Logic Program Updates

13 years 10 months ago

On Some Differences Between Semantics of Logic Program Updates

Download centria.di.fct.unl.pt

João Alexandre Leite

Real-time Traffic

Artificial Intelligence | IBERAMIA 2004 |

claim paper

Related Content

» On Properties of Update Sequences Based on Causal Rejection

» From Logic Programs Updates to Action Description Updates

» Stable models and difference logic

» Dynamic Logic Programming

» Iterated Logic Program Updates

» Generalizing Updates From Models to Programs

» Operational Semantics for DyLPs

» Hypothetical Updates Priority and Inconsistency in a Logic Programming Language

» On the Difference between Bridge Rules and Lifting Axioms

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	IBERAMIA
Authors	João Alexandre Leite

Comments (0)