Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 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, Norvig P.  2005.  Introduction to the special review issue. Artificial Intelligence. 169(2):103-103.
Perlis D.  1989.  Truth and meaning (research note). Artificial intelligence. 39(2):245-250.
Perlis D.  1986.  Self-reference, knowledge, belief, and modality. Proc 5th National Conference on AI. :416-420.
Perlis D.  1984.  Non-monotonicity and real-time reasoning. AAAI Workshop on Nonmonotonic Reasoning.
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, V.S. Subrahmanian.  1994.  Meta-languages, reflection principles and self-reference. Handbook of logic in artificial intelligence and logic programming. :323-358.
Perlis D.  1990.  Thing and Thought. Knowledge Representation and Defeasible Reasoning. Kluwer.
Perlis D.  1976.  An application of compiler simulation at the source language level. The Computer Journal. 19(1):90-90.
Perlis D.  1976.  Group algebras and model theory. Illinois journal of mathematics. 20(2):298-305.
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, 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.  1986.  On the consistency of commonsense reasoning. Computational Intelligence. 2(1):180-190.
Perlis D, Minker J.  1986.  Completeness results for circumscription. Artificial Intelligence. 28(1):29-42.
Perlis D.  1972.  An extension of Ackermann's set theory. Journal of Symbolic Logic. 37(4):703-704.
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, Oard D.  2006.  Classifying science: Phenomena, data, theory, method, practice: Book Reviews. J. Am. Soc. Inf. Sci. Technol.. 57(14):1977-1978.
Perer A, Shneiderman B.  2006.  Balancing Systematic and Flexible Exploration of Social Networks. IEEE Transactions on Visualization and Computer Graphics. 12(5):693-700.
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.

Pages