Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
Filters: Efficient-cryptographic-protocols-preventing-%E2%80%9Cman-middle%E2%80%9D-attacks is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
Perlis D.  1988.  Languages with self-reference II : Knowledge, belief, and modality. Artificial Intelligence. 34(2):179-212.
Perlis D.  1988.  Autocircumscription. Artificial Intelligence. 36(2):223-236.
Perlis D.  1997.  Consciousness as self-function. Journal of Consciousness Studies, 4. 5(6):509-525.
Perlis D.  1990.  Intentionality and defaults. International J. of Expert Systems. 3:345-354.
Perlis D.  1990.  Thing and Thought. Knowledge Representation and Defeasible Reasoning. Kluwer.
Perlis D, V.S. Subrahmanian.  1994.  Meta-languages, reflection principles and self-reference. Handbook of logic in artificial intelligence and logic programming. :323-358.
Perlis D.  1976.  Group algebras and model theory. Illinois journal of mathematics. 20(2):298-305.
Perlis D.  1976.  An application of compiler simulation at the source language level. The Computer Journal. 19(1):90-90.
Perlis D.  1994.  An Error-Theory of Consciousness. MARYLAND COMPUTER SCIENCE.
Perlis D, Miller M, Perlis D.  1994.  What Experts Deny, Novices Must Understand. In 3rd International Workshop on Human and Machine Cognition.
Perlis D.  1986.  On the consistency of commonsense reasoning. Computational Intelligence. 2(1):180-190.
Perlis D, Purang K.  1998.  Conversational Adequacy: Mistakes are the Essence. UMIACS-TR-96-41
Perlis D.  1985.  Languages with self-reference I: Foundations. Artificial Intelligence. 25(3):301-322.
Perlis D.  1972.  An extension of Ackermann's set theory. Journal of Symbolic Logic. 37(4):703-704.
Perlis D, Minker J.  1986.  Completeness results for circumscription. Artificial Intelligence. 28(1):29-42.
Perlis D.  1991.  Putting One's Foot in One's Head–Part I: Why. Noûs. :435-455.
Perlis D.  1997.  Sources of, and exploiting, inconsistency: preliminary report. JOURNAL OF APPLIED NONCLASSICAL LOGICS. 7:13-24.
Perlis D, Anderson M.  2002.  Metareasoning for More Effective Human-Computer Dialogue.
Perlis D, Hall R.  1986.  Intentionality as internality. Behavioral and Brain Sciences. 9(01):151-152.
Perl Y, Vishkin U.  1985.  Efficient implementation of a shifting algorithm. Discrete applied mathematics. 12(1):71-80.
Perer A, Shneiderman B.  2008.  Systematic yet flexible discovery: guiding domain experts through exploratory data analysis. Proceedings of the 13th international conference on Intelligent user interfaces. :109-118.
Perer A, Shneiderman B.  2008.  Integrating statistics and visualization: case studies of gaining clarity during exploratory data analysis. Proceedings of the twenty-sixth annual SIGCHI conference on Human factors in computing systems. :265-274.
Perer A, Shneiderman B.  2009.  Integrating Statistics and Visualization for Exploratory Power: From Long-Term Case Studies to Design Guidelines. IEEE Computer Graphics and Applications. 29(3):39-51.
Perer A, Shneiderman B, Oard D.  2006.  Using rhythms of relationships to understand e‐mail archives. Journal of the American Society for Information Science and Technology. 57(14):1936-1948.
Perer A, Shneiderman B, Oard D.  2006.  Classifying science: Phenomena, data, theory, method, practice: Book Reviews. J. Am. Soc. Inf. Sci. Technol.. 57(14):1977-1978.

Pages