Sciweavers

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

15

AI
2011
Springer

favoriteEmaildiscussreport

130views Artificial Intelligence» more AI 2011»

On rules with existential variables: Walking the decidability line

13 years 2 days ago

On rules with existential variables: Walking the decidability line

Download www.lirmm.fr

Jean-François Baget, Michel Leclère,

Real-time Traffic

AI 2011 | Artificial Intelligence |

claim paper

Related Content

» Walking the Decidability Line for Rules with Existential Variables

» Conceptual Graph Rules and Equivalent Rules A Synthesis

» Query Answering for OWLDL with Rules

» EqualityFriendly WellFounded Semantics and Applications to Description Logics

» System Description leanK 20

Post Info
More Details (n/a)

Added	12 May 2011
Updated	12 May 2011
Type	Journal
Year	2011
Where	AI
Authors	Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Comments (0)