1.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
2.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
3.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
4.
|
Towards a non monotonic description logics model Moguillansky, Martín O. - Falappa, Marcelo Alejandro
|
5.
|
Speeding up target-language driven part-of-speech tagger training for machine translation Sánchez Martínez, Felipe - Pérez Ortiz, Juan Antonio - Forcada Zubizarreta, Mikel L.
|
6.
|
Building the international SME: a global policy response Lloyd-Reason, Lester - Mughan, Terry
|
7.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
8.
|
Knowledge Base Integration: What Can We Learn from Database Integration Research? Lee, Jintae
|
9.
|
Artificial Intelligence, Language and the Study of Knowledge Goldstein, Ira - Papert, Seymour
|
10.
|
Capturing Intuitive Knowledge in Procedural Description Bamberger, Jeanne
|
11.
|
A Comparative Analysis of Reinforcement Learning Methods Mataric, Maja
|
12.
|
Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems Zhao, Feng
|
13.
|
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces Zhao, Feng
|
14.
|
Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation Bullwinkle, Candace
|
15.
|
The Conniver Reference Manual McDermott, Drew V. - Sussman, Gerald Jay
|
16.
|
Thesis Progress Report: A System for Representing and Using Real-World Knowledg Fahlman, Scott E.
|
17.
|
Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities Carr, Brian
|
18.
|
A Lexical Conceptual Approach to Generation for Machine Translation Dorr, Bonnie J.
|
19.
|
Topics in Model Theory Levin, Michael
|
20.
|
Planner Implementation Proposal to ARPA 1972-1973 Hewitt, Carl
|
21.
|
Summary of MYCROFT: A System for Understanding Simple Picture Programs Goldstein, Ira P.
|
22.
|
Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture Solomon, Cynthia J.
|
23.
|
Learning New Principles from Precedents and Exercises: The Details Winston, Patrick H.
|
24.
|
Causal Reconstruction Borchardt, Gary C.
|
25.
|
Projective Structure from Two Uncalibrated Images: Structure from Motion and RecRecognition Shashua, Amnon
|
26.
|
Local Versus Global Control Laws for Cooperative Agent Teams Parker, Lynne E.
|
27.
|
Recognition and Structure from One 2D Model View: Observations on Prototypes, Object Classes and Symmetries Poggio, Tomaso - Vetter, Thomas
|
28.
|
Observations on Cognitive Judgments McAllester, David
|
29.
|
Data and Model-Driven Selection Using Color Regions Syeda-Mahmood, Tanveer Fathima
|
30.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
31.
|
Analyzing Natural Images: A Computational Theory of Texture Vision Marr, D.
|
32.
|
Wumpus Advisor 1: A First Implementation Program that Tutors Logical and Probabilistic Reasoning Skills Stansfield, James L. - Carr, Brian P. - Goldstein, Ira P.
|
33.
|
PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols Miller, Mark L. - Goldstein, Ira P.
|
34.
|
Assessment and Documentation of a Children's Computer Laboratory Papert, Seymour - Watt, Daniel H.
|
35.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
36.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
37.
|
Simplifying Decision Trees Quinlan, J.R.
|
38.
|
Extracting Qualitative Dynamics from Numerical Experiments Yip, Kenneth Man-Kam
|
39.
|
A Framework for Representing Knowledge Minsky, Marvin
|
40.
|
Organizing a Global Coordinate System from Local Information on an Amorphous Computer Nagpal, Radhika
|
41.
|
Corpus-Based Techniques for Word Sense Disambiguation Levow, Gina-Anne
|
42.
|
Qualitative Depth and Shape from Stereo, in Agreement with Psychophysical Evidendence Weinshall, Daphna
|
43.
|
ITS 1.5 Reference Manual Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.
|
44.
|
A Primitive Control P Feature Eastlake, Donald E., III
|
45.
|
ITS 1.5 Reference Manual Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.
|
46.
|
Linear Separation and Learning Minsky, Marvin - Papert, Seymour
|
47.
|
Decomposition of a Visual Scene into Three-Dimensional Bodies Guzman, Adolfo
|
48.
|
PROGRAMMER: A Language for Writing Grammars Winograd, Terry
|
49.
|
Proposal to ARPA for Research on Intelligent Automata and Micro-Automation Winston, P. - Horn, B.K.P. - Sussman, G.J.
|
50.
|
Ideas About Management of LISP Data Bases Sandewall, Erik
|
51.
|
Viewing Control Structures as Patterns of Passing Messages Hewitt, Carl
|
52.
|
A Preview of Act 1 Lieberman, Henry
|
53.
|
Thinking About Lots of Things at Once without Getting Confused: Parallelism in Act 1 Lieberman, Henry
|
54.
|
Open Systems Hewitt, Carl - Jong, Peter de
|
55.
|
Fingerprints Theorems for Zero-Crossings Yuille, A.L. - Poggio, T.
|
56.
|
Surface Reconstruction Preserving Discontinuities Marroquin, J.L.
|
57.
|
Shape and Source from Shading Brooks, Michael J. - Horn, Berthold K.P.
|
58.
|
The Computational Complexity of Two-Level Morphology Barton, G. Edward, Jr.
|
59.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
60.
|
Classifying Objects from Visual Information Bobick, Aaron - Richards, Whitman
|
61.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|
62.
|
Formalizing Reusable Software Components in the Programmer's Apprentice Rich, Charles - Waters, Richard C.
|
63.
|
Exploring large-scale acquisition of multilingual semantic models for predicates Atserias Batalla, Jordi - Castillo Valdés, Mauro - Real Vázquez, Francis - Rodríguez Hontoria, Horacio - Rigau Claramunt, German
|
64.
|
Environmental apocalypse in science and art: designing nightmares Fava, Sergio
|
65.
|
Data and Model-Driven Selection Using Parallel-Line Groups Tanveer, S. - Mahmood, F.
|
66.
|
Diagnostic Reasoning Based on Structure and Behavior Davis - Randall
|
67.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
68.
|
Representing commonsense knowledge using Answer Set Programming Maximova Todorova, Yana
|
69.
|
Proposal to ARPA for Continued Research on A.I. for 1973 Minsky, Marvin - Papert, Seymour
|
70.
|
Measuring the Impact of Information Technology on Value and Productivity using a Process-Based Approach: The case for RFID Technology Subirana, Brian - Eckes, Chad - Herman, George - Sarma, Sanjay - Barrett, Michael
|
71.
|
Ontological evaluation in the knowledge based system Bueno, Tânia C. D. - Hoeschl, Hugo Cesar - Cancellier, Fabricia - Bedin, Sonali
|
72.
|
Beliefs and Knowledge about Parkinson’s Disease Moore, Susan - Knowles, Simon
|
73.
|
Process of ontology construction for the development of an intelligent system for the organization and retrieval of knowledge in biodiversity – SISBIO Rover, Aires José - Costa, Filipe Corrêa da - Bueno, Tânia C. D. - Hoeschl, Hugo Cesar
|
74.
|
A model for concepts extraction and context identification in knowledge based systems Bortolon, Andre - Hoeschl, Hugo Cesar - Bueno, Tânia C. D. - Coelho, Christianne C. S. R.
|
75.
|
Proposal to ARPA for Continued Research on A.I. Minsky, Marvin
|
76.
|
Do Glaciers Really Listen? Harris, Cole
|
77.
|
Belief revision and relevance Falappa, Marcelo Alejandro - Maguitman, Ana Gabriela
|
78.
|
The complete typographer: a foundation course for graphic designers working with type Hill, Will C.B.
|
79.
|
Quantitative methods for business and economics Burton, Glen - Carroll, George - Wall, Stuart
|
80.
|
Artificial intelligence and knowledge management Hoesch, Hugo Cesar - Barcellos, Vânia
|
81.
|
Knowledge perspectives in data grids Hernández, Emilio - Cadenas, Luis Eliécer
|
82.
|
Using competence modeling to create knowledge engineering team Hoeschl, Hugo Cesar - Bueno, Tânia C. D. - Santos, Cristina S. - Nicolini, Aline T. - Theiss, Irineu
|
83.
|
Epidemiological data mining of cardiovascular Bayesian networks Twardy, Charles R; Clayton School of Information Technology, Monash University - Nicholson, Ann E; Clayton School of Information Technology, Monash University - Korb, Kevin B; Clayton School of Information Technology, Monash University - McNeil, John; Department of Epidemiology & Preventive Medicine, Monash University
|
84.
|
The Computer as Coach: An Athletic Paradigm for Intellectual Education Goldstein, Ira
|
85.
|
The Impact of Processing Time Knowledge on Dynamic Job-Shop Scheduling Wein, Lawrence M. - Ou, Jihong
|
86.
|
Biogeography, current knowledge and conservation of threatened vascular plants characteristic of Mexican temperate forests Luna Vega, Mercedes Isolda - Ponce, A - Alcántara Ayala, Othon - Contreras Medina, Raúl
|
87.
|
A graphic tool for ontology viewing based on graph theory Stradiotto, César - Pacheco, Everton - Bortolon, Andre - Hoeschl, Hugo Cesar
|
88.
|
Knowledge details in web forums: how high or low above the ground? Mikami, Yoshiki - Abd Rozan, Mohd Zaidi
|
89.
|
The Role of Subject Knowledge in the Effective Teaching of Primary Science Khwaja, Christine C.
|
90.
|
Cervical cancer and the HPV link: identifying areas for education in Mexico City's public hospitals Aldrich,Tess - Landis,Sarah - García,Sandra G. - Becker,Davida - Sanhueza,Patricio - Higuera,Anjarath
|
91.
|
Getting a Job: An Analysis of Networking Techniques used by Princeton Students in the Employment Market Ott, Gregory
|
92.
|
Argument exchange over the semantic web Stankevicius, Alejandro G.
|
93.
|
Can Common Sense uncover cultural differences in computer applications? Anacleto, Junia - Lieberman, Henry - Tsutsumi, Marie - Neris, Vânia - Carvalho, Aparecido - Godoi, Muriel - Zem- Mascarenhas, Silvia - Espinosa, Jose
|
94.
|
Formal analysis of the communication of probabilistic knowledge Vicari, Rosa - Seixas, Louise - Flores, Cecília - Gluz, João Carlos
|
95.
|
Adopting knowledge discovery in databases for customer relationship management in egyptian public banks Kok, Joost - Khedr, Ayman
|
96.
|
Multiple Input-Multiple Output Cycle-to-Cycle Control of Manufacturing Processes Rzepniewski, Adam K. - Hardt, David E.
|
97.
|
Detecting Digital Forgeries Using Bispectral Analysis Farid, Hany
|
98.
|
Pattern definition to refine navigation structure in hypermedia/web applications Casteleyn, Sven - Garrigós Fernández, Irene - Plessers, Peter
|
99.
|
A Randomised Controlled Trial Comparing the Effect of E-learning, with a Taught Workshop, on the Knowledge and Search Skills of Health Professionals Pearce-Smith, Nicola
|
100.
|
The Transformations of Labour: Knowledge Work and the Legacies of the New Economy Brophy, Enda; Queen's University
|