The importance of open and recursive circumscriptionBESNARD, P; MOINARD, Y; MERCER, R. E et al.Artificial intelligence. 1989, Vol 39, Num 2, pp 251-262, issn 0004-3702Article

Entrenchment relations : A uniform approach to nonmonotonicityGEORGATOS, K.Lecture notes in computer science. 1997, pp 282-297, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Automated reasoning with nonmonotonic logics (invited talk)TRUSZCZYNSKI, M.Lecture notes in computer science. 1997, pp 112-114, issn 0302-9743, isbn 3-540-63255-7Conference Paper

LPNMR 2004 : logic programming and nonmonotonic reasoning (Fort Lauderdale FL, 6-8 January 2004)Lifschitz, Vladimir; Niemelä, Ilkka.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-20721-X, IX, 364 p, isbn 3-540-20721-XConference Proceedings

LPNMR 2005 : logic programming and nonmonotonic reasoning (Diamante, 5-8 September 2005)Baral, Chitta; Greco, Gianluigi; Leone, Nicola et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28538-5, XIII, 454 p, isbn 3-540-28538-5Conference Proceedings

A new formulation of tabled resolution with delaySWIFT, T.Lecture notes in computer science. 1999, pp 163-177, issn 0302-9743, isbn 3-540-66548-XConference Paper

Organiser la vie politique localeSTRICHER, D.Revue politique et parlementaire. 1992, Vol 94, Num 959, pp 39-41, issn 0035-385XArticle

A circumscriptive theorem proverGINSBERG, M. L.Artificial intelligence. 1989, Vol 39, Num 2, pp 209-230, issn 0004-3702Article

Progressive and regressive uses of reasonable distrust = Les utilisations progressive et régressive de la méfiance raisonnableHEDMAN, C.Journal of social philosophy. 1997, Vol 28, Num 1, pp 87-100, issn 0047-2786Article

Integrating an answer set solver into prolog : ASP - PROLOGELKHATIB, Omar; PONTELLI, Enrico; TRAN CAO SON et al.Lecture notes in computer science. 2005, pp 399-404, issn 0302-9743, isbn 3-540-28538-5, 6 p.Conference Paper

Four-valued diagnoses for stratified knowledge-basesARIELI, O; AVRON, A.Lecture notes in computer science. 1997, pp 1-17, issn 0302-9743, isbn 3-540-63172-0Conference Paper

How to change factual beliefs using laws and dependence informationHERZIG, A.Lecture notes in computer science. 1997, pp 311-321, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Introducing abduction into (extensional) inductive logic programming systemsLAMMA, E; MELLO, P; MILANO, M et al.Lecture notes in computer science. 1997, pp 183-194, issn 0302-9743, isbn 3-540-63576-9Conference Paper

Towards a formalization of narratives : Actions with duration, concurrent actions and qualificationsRADZIKOWSKA, A.Lecture notes in computer science. 1997, pp 481-495, issn 0302-9743, isbn 3-540-63095-3Conference Paper

XSB : A system for efficiently computing well-founded semanticsRAO, P; SAGONAS, K; SWIFT, T et al.Lecture notes in computer science. 1997, pp 430-440, issn 0302-9743, isbn 3-540-63255-7Conference Paper

Provinces et préfectures au MarocDépartements, le magazine de l'actualité des Conseils Généraux. 1996, Num 39, pp 18-19Article

The proof algorithms of plausible logic form a hierarchyBILLINGTON, David.Lecture notes in computer science. 2005, pp 796-799, issn 0302-9743, isbn 3-540-30462-2, 1Vol, 4 p.Conference Paper

General preferential entailments as circumscriptionsMOINARD, Yves.Lecture notes in computer science. 2001, pp 532-543, issn 0302-9743, isbn 3-540-42464-4Conference Paper

DisLoP : Towards a Disjunctive logic programming systemARAVINDAN, C; DIX, J; NIEMELÄ, I et al.Lecture notes in computer science. 1997, pp 341-352, issn 0302-9743, isbn 3-540-63255-7Conference Paper

Is non-monotonic reasoning always harder?EGLY, U; TOMPITS, H.Lecture notes in computer science. 1997, pp 60-75, issn 0302-9743, isbn 3-540-63255-7Conference Paper

Probabilistic default logic based on irrelevance and relevance assumptionsSCHURZ, G.Lecture notes in computer science. 1997, pp 536-553, issn 0302-9743, isbn 3-540-63095-3Conference Paper

L'extrême droite = The far rightNotes et études documentaires (Paris). 1993, Num 4966, pp 35-56, issn 0029-4004Article

On the satisfiability of circumscriptionLIFSCHITZ, V.Artificial intelligence. 1986, Vol 28, Num 1, pp 17-27, issn 0004-3702Article

Les nouvelles circonscriptions ecclésiastiques: Propos missiologico-juridique pour le contexte africain = The new ecclesiastical circumscriptions: missiological-legal remarks for the African contextMWANAMA GALUMBULULA, Félicien.Neue Zeitschrift für Missionswissenschaft. 2003, Vol 59, Num 3, pp 195-204, issn 0028-3495, 10 p.Article

The logic of common senseLIFSCHITZ, V.ACM computing surveys. 1995, Vol 27, Num 3, pp 343-345, issn 0360-0300Conference Paper