Sciweavers

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

12

ECSQARU
1997
Springer

favoriteEmaildiscussreport

134views Automated Reasoning» more ECSQARU 1997»

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases

13 years 9 months ago

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases

Download www.cril.univ-artois.fr

Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu

Real-time Traffic

Automated Reasoning | ECSQARU 1997 |

claim paper

Related Content

» A Model for the Integration of Prioritized Knowledge Bases Through Subjective Belief Games

» Minimal Change and Maximal Coherence for Epistemic Logic Program Updates

» Reconciling description logics and rules

» Safety and consistency in policybased authorization systems

» Repair checking in inconsistent databases algorithms and complexity

» Modular Ontology Design Using Canonical Building Blocks in the Biochemistry Domain

» Integrating Answer Set Reasoning with Constraint Solving Techniques

» Automatic Treatment of Temporal Issues in Clinical Guidelines in the GLARE System

» Towards a comprehensive treatment of repetitions periodicity and temporal constraints in c...

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	ECSQARU
Authors	Bertrand Mazure, Lakhdar Sais, Éric Grégoire

Comments (0)