Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("PERLIS D")

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 16 of 16

  • Page / 1
Export

Selection :

  • and

AN EXTENSION OF ACKERMANN'S SET THEORYPERLIS D.JOURNAL OF SYMBOLIC LOGIC. 1972, Vol 37, Num 4, pp 703-704Article

AN APPLICATION OF COMPILER SIMULATION AT THE SOURCE LANGUAGE LEVEL.PERLIS D.1976; COMPUTER J.; G.B.; DA. 1976; VOL. 19; NO 1; PP. 90Article

Truth and meaningPERLIS, D.Artificial intelligence. 1989, Vol 39, Num 2, pp 245-250, issn 0004-3702Article

AutocircumscriptionPERLIS, D.Artificial intelligence. 1988, Vol 36, Num 2, pp 223-236, issn 0004-3702Article

A RE-EVALUATION OF STORY GRAMMARSFRISCH AM; PERLIS D.1981; COGN. SCI.; ISSN 0364-0213; USA; DA. 1981; VOL. 5; NO 1; PP. 79-86; BIBL. 17 REF.Article

Languages with self-reference. I: Foundations (or: we can have everything in first-order logic!)PERLIS, D.Artificial intelligence. 1985, Vol 25, Num 3, pp 301-322, issn 0004-3702Article

Languages with self-reference. II: Knowledge, belief, and modalityPERLIS, D; HAYES, P.Artificial intelligence. 1988, Vol 34, Num 2, pp 179-212, issn 0004-3702Article

Putting One's Foot in One's Head. Part I : WhyPERLIS, D.Noûs (Bloomington, Indiana). 1991, Vol 25, Num 4, pp 435-455, issn 0029-4624, spécArticle

Explicitly biased generalizationGORDON, D; PERLIS, D.Computational intelligence. 1989, Vol 5, Num 2, pp 67-81, issn 0824-7935Article

Completeness results for circumscriptionPERLIS, D; MINKER, J.Artificial intelligence. 1986, Vol 28, Num 1, pp 29-42, issn 0004-3702Article

A theorem on the consistency of circumscriptionMOTT, P. L; LIFSCHITZ, V; PERLIS, D et al.Artificial intelligence. 1987, Vol 31, Num 1, pp 87-98, issn 0004-3702Article

Nonmonotonicity and the scope of reasoningETHERINGTON, D. W; KRAUS, S; PERLIS, D et al.Artificial intelligence. 1991, Vol 52, Num 3, pp 221-261, issn 0004-3702Article

Stop the world ― I want to thinkPERLIS, D; ELGOT-DRAPKIN, J. J; MILLER, M et al.International journal of intelligent systems. 1991, Vol 6, Num 4, pp 443-456, issn 0884-8173, 14 p.Article

Results on translating defaults to circumscriptionIMIELINSKI, T; PERLIS, D; LIFSCHITZ, V et al.Artificial intelligence. 1987, Vol 32, Num 1, pp 131-146, issn 0004-3702Article

Circumscribing with setsPERLIS, D; LIFSCHITZ, V; LUKASZEWICZ, W et al.Artificial intelligence. 1987, Vol 31, Num 2, pp 201-211, issn 0004-3702Article

An inquirey into computer understandingMCLEISH, M; CHEESEMAN, P; HAYES, P. J et al.Computational intelligence. 1988, Vol 4, Num 1, pp 57-142, issn 0824-7935Article

  • Page / 1