| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Access to specific declarative knowledge by expert systems: The impact of logic programming
|
Vassiliou, Yannis
|
|
1985
|
1 |
2 |
p. 123-141
19 p.
|
artikel
|
| 2 |
A computational model for the analysis of arguments
|
|
|
1985
|
1 |
2 |
p. 174-175
2 p.
|
artikel
|
| 3 |
Actively learning to use a word processor
|
|
|
1985
|
1 |
2 |
p. 174-
1 p.
|
artikel
|
| 4 |
ADAPT: A tool for the design of reusable software
|
|
|
1985
|
1 |
2 |
p. 180-
1 p.
|
artikel
|
| 5 |
A decision theoretic formulation of a training problem in speech recognition and a comparison of training by unconditional versus conditional maximum likelihood
|
|
|
1985
|
1 |
2 |
p. 182-
1 p.
|
artikel
|
| 6 |
A distributed terminal management facility
|
|
|
1985
|
1 |
2 |
p. 184-
1 p.
|
artikel
|
| 7 |
Aggregating data for decision support
|
Sol, Henk G.
|
|
1985
|
1 |
2 |
p. 111-121
11 p.
|
artikel
|
| 8 |
A look at algebraic specifications
|
|
|
1985
|
1 |
2 |
p. 184-
1 p.
|
artikel
|
| 9 |
An algorithm for mapping logical routes into physical routes in communication networks
|
|
|
1985
|
1 |
2 |
p. 184-
1 p.
|
artikel
|
| 10 |
A new solution for the byzantine generals problem
|
|
|
1985
|
1 |
2 |
p. 182-
1 p.
|
artikel
|
| 11 |
An integrated robot system architecture
|
|
|
1985
|
1 |
2 |
p. 184-
1 p.
|
artikel
|
| 12 |
Announcements
|
|
|
1985
|
1 |
2 |
p. 185-192
8 p.
|
artikel
|
| 13 |
An object-oriented office data model
|
|
|
1985
|
1 |
2 |
p. 176-
1 p.
|
artikel
|
| 14 |
A note on independent fireability in Petri nets
|
|
|
1985
|
1 |
2 |
p. 183-
1 p.
|
artikel
|
| 15 |
A probabilistic approach for dealing with ambiguous syntactic structures
|
|
|
1985
|
1 |
2 |
p. 176-
1 p.
|
artikel
|
| 16 |
A reasoning system for computer aided engineering
|
|
|
1985
|
1 |
2 |
p. 180-
1 p.
|
artikel
|
| 17 |
A relational framework for assertion management
|
Blanning, Robert W.
|
|
1985
|
1 |
2 |
p. 167-172
6 p.
|
artikel
|
| 18 |
A rigorous approach to fault-tolerant system development
|
|
|
1985
|
1 |
2 |
p. 175-
1 p.
|
artikel
|
| 19 |
A weakest precondition semantics for communicating processes
|
|
|
1985
|
1 |
2 |
p. 175-
1 p.
|
artikel
|
| 20 |
Bounds on information exchange for byzantine agreement
|
|
|
1985
|
1 |
2 |
p. 175-
1 p.
|
artikel
|
| 21 |
Calendar
|
|
|
1985
|
1 |
2 |
p. 193-195
3 p.
|
artikel
|
| 22 |
Child support: An addition to our social security menu
|
|
|
1985
|
1 |
2 |
p. 175-176
2 p.
|
artikel
|
| 23 |
Compendium of graphics facilities
|
|
|
1985
|
1 |
2 |
p. 183-
1 p.
|
artikel
|
| 24 |
Composition of productions
|
|
|
1985
|
1 |
2 |
p. 174-
1 p.
|
artikel
|
| 25 |
Computing text constituency: An algorithm approach to the generation of text graphs
|
|
|
1985
|
1 |
2 |
p. 176-
1 p.
|
artikel
|
| 26 |
Contributions to the theoretical foundations of systemeering research and the Pioco model
|
|
|
1985
|
1 |
2 |
p. 178-
1 p.
|
artikel
|
| 27 |
Design of a document filing and retrieval service
|
|
|
1985
|
1 |
2 |
p. 179-
1 p.
|
artikel
|
| 28 |
Diagnosis theory for reconfigurable and distributed systems
|
|
|
1985
|
1 |
2 |
p. 181-
1 p.
|
artikel
|
| 29 |
Discrimination power of attributes in knowledge representation system
|
|
|
1985
|
1 |
2 |
p. 182-
1 p.
|
artikel
|
| 30 |
Formal data base specification — An electric Perspective
|
|
|
1985
|
1 |
2 |
p. 184-
1 p.
|
artikel
|
| 31 |
Formal grammar as a tool for analyzing ease of use: Some fundamental concepts
|
|
|
1985
|
1 |
2 |
p. 182-183
2 p.
|
artikel
|
| 32 |
Generating requirements from enterprise analysis
|
|
|
1985
|
1 |
2 |
p. 179-
1 p.
|
artikel
|
| 33 |
Good controllability and observability do not guarantee good testability
|
|
|
1985
|
1 |
2 |
p. 183-
1 p.
|
artikel
|
| 34 |
Information support systems for problem solving
|
Dery, David
|
|
1985
|
1 |
2 |
p. 103-109
7 p.
|
artikel
|
| 35 |
Language description and implementation concepts of LITFAS (Language for implications from textual files and atomic sentences)
|
|
|
1985
|
1 |
2 |
p. 173-
1 p.
|
artikel
|
| 36 |
Learning to use a word processor: by doing, by thinking, and by knowing
|
|
|
1985
|
1 |
2 |
p. 174-
1 p.
|
artikel
|
| 37 |
Logical foundations of knowledge representation
|
|
|
1985
|
1 |
2 |
p. 182-
1 p.
|
artikel
|
| 38 |
Making type changes transparent
|
|
|
1985
|
1 |
2 |
p. 173-
1 p.
|
artikel
|
| 39 |
Metaphor, computing systems, and active learning
|
|
|
1985
|
1 |
2 |
p. 174-
1 p.
|
artikel
|
| 40 |
Multivariate splines — A new constructive approach
|
|
|
1985
|
1 |
2 |
p. 175-
1 p.
|
artikel
|
| 41 |
On some formal properties of tri-partite graphs
|
|
|
1985
|
1 |
2 |
p. 179-180
2 p.
|
artikel
|
| 42 |
Partitioning, spectra and linear programming
|
|
|
1985
|
1 |
2 |
p. 173-
1 p.
|
artikel
|
| 43 |
Performance evaluation tool (PET): An analysis tool for computer communication networks
|
|
|
1985
|
1 |
2 |
p. 173-174
2 p.
|
artikel
|
| 44 |
Political mobilization and democratic politics: Strains
|
|
|
1985
|
1 |
2 |
p. 179-
1 p.
|
artikel
|
| 45 |
Problems of anti-poverty policy in Germany (FRG)
|
|
|
1985
|
1 |
2 |
p. 178-
1 p.
|
artikel
|
| 46 |
Problems of harmonization of minimum income regulations among EC member countries
|
|
|
1985
|
1 |
2 |
p. 177-
1 p.
|
artikel
|
| 47 |
Random pattern testability
|
|
|
1985
|
1 |
2 |
p. 183-
1 p.
|
artikel
|
| 48 |
Relational propositions in discourse
|
|
|
1985
|
1 |
2 |
p. 181-
1 p.
|
artikel
|
| 49 |
Rough sets and fuzzy sets
|
|
|
1985
|
1 |
2 |
p. 182-
1 p.
|
artikel
|
| 50 |
Some problems of defining a poverty line for comparative studies
|
|
|
1985
|
1 |
2 |
p. 177-178
2 p.
|
artikel
|
| 51 |
Some technics for solving linear equation systems with guarantee
|
|
|
1985
|
1 |
2 |
p. 177-
1 p.
|
artikel
|
| 52 |
Textual expertise in word experts: An Approach to text parsing based on topic/comment monitoring ∗Extended version∗
|
|
|
1985
|
1 |
2 |
p. 176-177
2 p.
|
artikel
|
| 53 |
The adjustment of microdata using the kalman filtering procedure and optimal control theory
|
|
|
1985
|
1 |
2 |
p. 181-182
2 p.
|
artikel
|
| 54 |
The changes of the way of life between generations and classes, as seen through life histories
|
|
|
1985
|
1 |
2 |
p. 183-
1 p.
|
artikel
|
| 55 |
The fitted parse: 100% parsing capability in a synthatic grammar of english
|
|
|
1985
|
1 |
2 |
p. 178-179
2 p.
|
artikel
|
| 56 |
The philosophical nature of information requirements and some research implications
|
|
|
1985
|
1 |
2 |
p. 180-
1 p.
|
artikel
|
| 57 |
The Research queueing package: A primer
|
|
|
1985
|
1 |
2 |
p. 180-181
2 p.
|
artikel
|
| 58 |
The SFB-3 macroeconometric model — Theoretical aspects first simulation — and forecasting results
|
|
|
1985
|
1 |
2 |
p. 178-
1 p.
|
artikel
|
| 59 |
The state and the structure of the life course
|
|
|
1985
|
1 |
2 |
p. 181-
1 p.
|
artikel
|
| 60 |
Towards knowledge-based infolog specifications A case study of information engineering
|
Coelho, Helder
|
|
1985
|
1 |
2 |
p. 143-165
23 p.
|
artikel
|
Tijdschrift beschrijving