|
Titel
|
Author
|
Year
|
Type
|
|
The relevance of irrelevance
|
Subramanian, Devika and Genesereth, Michael
|
1987
|
Article
|
|
Negation in Logic Programming
|
J.C. Shepherdson
|
1987
|
Incollection
|
|
An Approach to Speeding Up the Prolog-based Inference Engine {KORE/IE}
|
Shintani, Toramatsu
|
1987
|
Inproceedings
|
|
Evidence Against the Context-Freeness of Natural Language
|
Stuart M. Shieber
|
1987
|
Incollection
|
|
A System for Semantic Query Optimization
|
Sreekumar T. Shenoy and Z. Meral Ozsoyoglu
|
1987
|
Inproceedings
|
|
From English to Logic: Context--Free Computation of ``Conventional'' Logic Translation
|
Schubert, Lernhart K. and Pelletier, Francis Jeffry
|
1987
|
Incollection
|
|
{W}issensrepräsentation: {G}rundkurs
|
Schmauch, Cosima
|
1987
|
Inproceedings
|
|
Misconceptions in astronomy.
|
Sadler, P. M.
|
1987
|
Inproceedings
|
|
Preserving Consistency across Abstraction Mappings
|
Tenenberg, J.
|
1987
|
Inproceedings
|
|
Incremental Adjustment of Representations for Learning
|
Jeffrey C. Schlimmer
|
1987
|
Inproceedings
|
|
Epistemic Logics, Probability, and the Calculus of Evidence
|
E.H. Ruspini
|
1987
|
Inproceedings
|
|
Phonetic Category Boundaries are Flexible
|
Repp, Bruno H. and Liberman, Alvin M.
|
1987
|
Incollection
|
|
Relationships Between Similarity-based and Explanation-based Categorization
|
William D. Wattenmaker and Glenn V. Nakamura and Douglas L. Medin
|
1987
|
Techreport
|
|
So What Can We Talk About Now?
|
Webber, Bonnie Lynn
|
1987
|
Incollection
|
|
Formalizing Local Constraint Propagation Methods
|
Angelika Vo\ss and Hans Vo\ss
|
1987
|
Inproceedings
|
|
Many--Sorted Resolution
|
Walther, Christoph
|
1987
|
Inproceedings
|
|
A Many-sorted Calculus Based on Resolution and Paramodulation
|
Walther, C.
|
1987
|
Incollection
|
|
A New Semantic Computation While Parsing: Presupposition and Entailment
|
Weischedel, Ralph M.
|
1987
|
Incollection
|
|
On Structuring Domain-Specific Knowledge
|
Wachsmuth, Ipke
|
1987
|
Techreport
|
|
A self--modifying production system for conservation acquisition.
|
Wallace, J. G. and Klahr, D. and Bluff, K.
|
1987
|
Incollection
|
|
A Computational Account of Some Constraints on Language
|
Marcus, Mitchell
|
1987
|
Incollection
|
|
On Closed World Data Bases
|
R. Reiter
|
1987
|
Incollection
|
|
Lattices in Data Analysis: How to draw them with a computer
|
Wille, Rudolf
|
1987
|
Techreport
|
|
{K}"{u}nstliche {I}ntelligenz
|
Patrick Winston
|
1987
|
Book
|
|
Bedeutungen von Begriffsverbänden
|
Wille, Rudolf
|
1987
|
Techreport
|
|
> Show next 25 entries (1050 ... )
|