nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abstract symbol systems (an exercise of the bottom-up approach in artificial intelligence)
|
Hromkovic, Juraj |
|
1992 |
|
1 |
p. 49-58 |
artikel |
2 |
A case study in the meta-reasoning procedure ND
|
Lu, James J. |
|
2003 |
|
1 |
p. 47-71 |
artikel |
3 |
A clausal resolution method for CTL branching-time temporal logic
|
Bolotov, Alexander |
|
1999 |
|
1 |
p. 77-93 |
artikel |
4 |
Adaptive search through constraint violations
|
Ohlsson, Stellan |
|
1991 |
|
1 |
p. 33-42 |
artikel |
5 |
Adding upper-bound pruning to IDA
|
Prieditis, Armand |
|
1997 |
|
1 |
p. 67-81 |
artikel |
6 |
After the humans are gone Douglas Engelbart Keynote Address, North American Computers and Philosophy Conference Rensselaer Polytechnic Institute, August, 2006
|
Dietrich, Eric |
|
2007 |
|
1 |
p. 55-67 |
artikel |
7 |
AI, concepts, and the paradox of mental representation, with a brief discussion of psychological essentialism
|
Dietrich, Eric |
|
2001 |
|
1 |
p. 1-7 |
artikel |
8 |
An action-oriented perspective of learning in classifier systems
|
WEIss, GERHARD |
|
1996 |
|
1 |
p. 43-62 |
artikel |
9 |
Analysis system for Sinhalese unit structure
|
Herath, S. |
|
1992 |
|
1 |
p. 29-48 |
artikel |
10 |
An analysis of expected-outcome
|
Abramson, Bruce |
|
1990 |
|
1 |
p. 55-73 |
artikel |
11 |
An assumption-based truth maintenance system dealing with non-ground justifications
|
Lamma, Evelina |
|
1996 |
|
1 |
p. 21-42 |
artikel |
12 |
An inductive inference approach to classification
|
Freivalds, Rusins |
|
1994 |
|
1 |
p. 63-72 |
artikel |
13 |
Ant-Tree: an ant colony optimization approach to the generalized minimum spanning tree problem
|
Shyu, S. J. |
|
2003 |
|
1 |
p. 103-112 |
artikel |
14 |
Anytime coalition structure generation: an average case study
|
Larson, Kate S. |
|
2000 |
|
1 |
p. 23-42 |
artikel |
15 |
Approximate algorithms for generalized maximum utility problems
|
Jungen, F. J. |
|
1998 |
|
1 |
p. 49-62 |
artikel |
16 |
A quantitative analysis of pattern production and its relationship to expert performance
|
WALCZAK, STEVEN |
|
1997 |
|
1 |
p. 83-101 |
artikel |
17 |
A study of a dynamic progressive reasoning system
|
Mouaddib, Abdel-Illah |
|
2000 |
|
1 |
p. 101-122 |
artikel |
18 |
Backtracking along with constraint processing and their time complexities
|
Zahn, Martin |
|
1996 |
|
1 |
p. 63-74 |
artikel |
19 |
Case-based reasoning assisted explanation of genetic algorithm results
|
Louis, Sushil |
|
1993 |
|
1 |
p. 21-37 |
artikel |
20 |
Causal inference as a cognitive strategy
|
Curlo, Eleonora |
|
1993 |
|
1 |
p. 57-71 |
artikel |
21 |
Causal reversibility in Bayesian networks
|
Druzdzel, Marek J. |
|
2001 |
|
1 |
p. 45-62 |
artikel |
22 |
Changing times: a causal theory of probabilistic temporal reasoning
|
Tawfik, Ahmed Y. |
|
1999 |
|
1 |
p. 3-21 |
artikel |
23 |
Characterization of language learning front informant under various monotonicity constraints
|
Lange, Steffen |
|
1994 |
|
1 |
p. 73-94 |
artikel |
24 |
Connectionism and functionalism: the importance of being a subsymbolist
|
Frixione, Marcello |
|
1992 |
|
1 |
p. 3-17 |
artikel |
25 |
Consistent subsets of inconsistent systems: structure and behaviour
|
Birnbaum, Elazar |
|
2003 |
|
1 |
p. 25-46 |
artikel |
26 |
Constraint propagation for ordering, abstraction, and aggregation relations
|
Pape, Claude Le |
|
1998 |
|
1 |
p. 63-76 |
artikel |
27 |
Constraint satisfaction for robust parsing of spoken language
|
Menzel, Wolfgang |
|
1998 |
|
1 |
p. 77-89 |
artikel |
28 |
Constraint updating
|
Jacobi, Walter Hower Stephan |
|
1998 |
|
1 |
p. 25-36 |
artikel |
29 |
Contextual vocabulary acquisition as computational philosophy and as philosophical computation
|
Rapaport, William J. |
|
2007 |
|
1 |
p. 1-17 |
artikel |
30 |
Cooperating/distributed grammar systems with hypothesis languages
|
Dassow, Jurgen |
|
1991 |
|
1 |
p. 11-16 |
artikel |
31 |
Co-operation of syntax and semantics in flexive languages
|
Pales, Emil |
|
1990 |
|
1 |
p. 1-24 |
artikel |
32 |
CSPs with counters: a likelihood-based heuristic
|
Meisels, Gadi Solotorevsky Solomon Eyal Shimony Amnon |
|
1998 |
|
1 |
p. 117-129 |
artikel |
33 |
Data modeling: a process for pattern induction
|
Meredith, Marsha |
|
1991 |
|
1 |
p. 43-68 |
artikel |
34 |
Description-based communication for autonomous agents under ideal conditions
|
MAIDA, ANTHONY S. |
|
1997 |
|
1 |
p. 103-135 |
artikel |
35 |
Distribution-balanced stratified cross-validation for accuracy estimation
|
Zeng, Xinchuan |
|
2000 |
|
1 |
p. 1-12 |
artikel |
36 |
Dretske, representation, and the mental/non-mental distinction
|
Wallis, Charles |
|
1993 |
|
1 |
p. 73-82 |
artikel |
37 |
Dynamics of an artificial immune network
|
De Castro, Leandro Nunes |
|
2004 |
|
1 |
p. 19-39 |
artikel |
38 |
Editorial AI, Situatedness, Creativity, and Intelligence; or the Evolution of the Little Hearing Bones
|
Dietrich, Eric |
|
1996 |
|
1 |
p. 1-6 |
artikel |
39 |
Effective Memory' and Turing's model of mind
|
Dresner, Eli |
|
2003 |
|
1 |
p. 113-123 |
artikel |
40 |
Experimental AI systems
|
Hendler, James |
|
1995 |
|
1 |
p. 1-5 |
artikel |
41 |
Experimental and theoretical artificial intelligence
|
Dietrich, Eric |
|
1989 |
|
1 |
p. 1-4 |
artikel |
42 |
Explaining by evidence
|
Lozinskii, Eliezer L. |
|
2000 |
|
1 |
p. 69-89 |
artikel |
43 |
Explanation-based learning: its role in problem solving
|
Krawchuk, Brent J. |
|
1989 |
|
1 |
p. 27-49 |
artikel |
44 |
Exploring the No-Function-In-Structure principle
|
Keuneke, Anne |
|
1989 |
|
1 |
p. 79-89 |
artikel |
45 |
Extending HCLP with partially ordered hierarchies and composite constraints
|
Chiu, C. K. |
|
1998 |
|
1 |
p. 5-24 |
artikel |
46 |
Extending resolution to resolution logics
|
Stachniak, Z. |
|
1991 |
|
1 |
p. 17-32 |
artikel |
47 |
Fine-grained conflict resolution in constraint satisfaction problems
|
Jacobi, Walter Hower Stephan |
|
1998 |
|
1 |
p. 37-47 |
artikel |
48 |
Fodor, functions, physics, and fantasyland: is AI a Mickey Mouse discipline?
|
Green, Christopher D. |
|
1996 |
|
1 |
p. 95-106 |
artikel |
49 |
Forms of meaning, meaning of forms
|
Gaume, Bruno |
|
2002 |
|
1 |
p. 61-74 |
artikel |
50 |
Handling contingency in temporal constraint networks: from consistency to controllabilities
|
Vidal, Thierry |
|
1999 |
|
1 |
p. 23-45 |
artikel |
51 |
Handling noise in EBL: an abductive approach
|
Mani, Ganesh |
|
1992 |
|
1 |
p. 59-73 |
artikel |
52 |
Handling structured and ambiguous constraints in constraint satisfaction problems
|
Pimont, Wady Naanaa Simone |
|
1998 |
|
1 |
p. 91-102 |
artikel |
53 |
Hierarchical model and communication by signs, signals and symbols in multiagent environments
|
Chaib-Draa, B. |
|
1996 |
|
1 |
p. 7-20 |
artikel |
54 |
Ignoring data may be the only way to learn efficiently
|
Wiehagen, Rolf |
|
1994 |
|
1 |
p. 131-144 |
artikel |
55 |
Inductive text classification for medical applications
|
Lehnert, Wendy |
|
1995 |
|
1 |
p. 49-80 |
artikel |
56 |
Infinitary self-reference in learning theory
|
Case, John |
|
1994 |
|
1 |
p. 3-16 |
artikel |
57 |
Integrating planning and learning: the PRODIGY architecture
|
Veloso, Manuela |
|
1995 |
|
1 |
p. 81-120 |
artikel |
58 |
Introduction to non-standard constraint processing
|
Hower, Walter |
|
1998 |
|
1 |
p. 1-3 |
artikel |
59 |
Introduction to the special issue on time and temporal reasoning
|
Morris, Robert |
|
1999 |
|
1 |
p. 1-2 |
artikel |
60 |
Introspective reasoning for index refinement in case-based reasoning
|
Fox, Susan |
|
2001 |
|
1 |
p. 63-88 |
artikel |
61 |
Knowledge-based temporal interpolation
|
Shahar, Yuval |
|
1999 |
|
1 |
p. 123-144 |
artikel |
62 |
Knowledge representation issues in default reasoning
|
Nutter, J. Terry |
|
1990 |
|
1 |
p. 25-54 |
artikel |
63 |
Knowledge representation with multiple logical theories and time
|
Mancarella, Paolo |
|
1999 |
|
1 |
p. 47-76 |
artikel |
64 |
Learning and data clustering with an RBF-based spiking neuron network
|
Gueorguieva, Natacha |
|
2006 |
|
1 |
p. 73-86 |
artikel |
65 |
Learning solution preferences in constraint problems
|
Sperduti, Francesca Rossi Alessandro |
|
1998 |
|
1 |
p. 103-116 |
artikel |
66 |
Linking perception and action through motivation and affect
|
Davis, Darryl N. |
|
2008 |
|
1 |
p. 37-60 |
artikel |
67 |
Making symbols matter: a new challenge to their causal efficacy
|
Garson, James W. |
|
2002 |
|
1 |
p. 13-27 |
artikel |
68 |
Meta-case-based reasoning: self-improvement through self-understanding
|
Murdock, J. William |
|
2008 |
|
1 |
p. 1-36 |
artikel |
69 |
Metaphor as change of representation: an artificial intelligence perspective
|
Indurkhya, Bipin |
|
1997 |
|
1 |
p. 1-36 |
artikel |
70 |
Minds, machines and Searle
|
Harnad, Stevan |
|
1989 |
|
1 |
p. 5-25 |
artikel |
71 |
Modelling social norms in multiagent systems
|
Hexmoor, Henry |
|
2006 |
|
1 |
p. 49-71 |
artikel |
72 |
Models, simulations, instantiations, and evidence: the case of digital evolution
|
Pennock, Robert T. |
|
2007 |
|
1 |
p. 29-42 |
artikel |
73 |
On planning while Executing in stationary environments
|
Tennenholtz, Moshe |
|
1997 |
|
1 |
p. 37-50 |
artikel |
74 |
On the role of search for learning from examples
|
Kurtz, Stuart A. |
|
2001 |
|
1 |
p. 25-43 |
artikel |
75 |
On the semantics of inheritance networks
|
Dimopoulos, Yannis |
|
1992 |
|
1 |
p. 19-28 |
artikel |
76 |
Opportunistic behaviour in animals and robots
|
Anselme, P. |
|
2006 |
|
1 |
p. 1-15 |
artikel |
77 |
Parallel optimization of tree structures for natural language parsing
|
Sampson, Geoffrey |
|
1991 |
|
1 |
p. 69-85 |
artikel |
78 |
Perceptrons with polynomial post-processing
|
Sanzogni, Louis |
|
2000 |
|
1 |
p. 57-68 |
artikel |
79 |
Performance of software agents in non-transferable payoff group buying
|
Asselin, Frederick |
|
2006 |
|
1 |
p. 17-48 |
artikel |
80 |
Philosophy, engineering, biology, and history: a vindication of Turing's views about the distinction between the cognitive and physical sciences
|
Leiber, Justin |
|
2002 |
|
1 |
p. 29-37 |
artikel |
81 |
Planning and reacting in uncertain and dynamic environments
|
Wilkins, David E. |
|
1995 |
|
1 |
p. 121-152 |
artikel |
82 |
Pragmatics & Cognition announces a special issue on The Concept of Reference in the Cognitive Sciences
|
Kronfeld, Amichai |
|
1997 |
|
1 |
p. 144 |
artikel |
83 |
Predicate invention and utilization
|
Muggleton, Stephen |
|
1994 |
|
1 |
p. 121-130 |
artikel |
84 |
Reasoning situated in time I: basic concepts*
|
Elgot-Drapkin, Jennifer J. |
|
1990 |
|
1 |
p. 75-98 |
artikel |
85 |
Removing irrelevant information in temporal resolution proofs
|
Dixon, Clare |
|
1999 |
|
1 |
p. 95-121 |
artikel |
86 |
Robustness of decentralized knowledge systems: a grammar-theoretic view
|
Kelemen, Jozef |
|
2000 |
|
1 |
p. 91-100 |
artikel |
87 |
Single-phase agreements among rational agents
|
Rosenschein, Jeffrey S. |
|
1993 |
|
1 |
p. 1-19 |
artikel |
88 |
Solving hierarchies of finite-domain constraints
|
Wolf, Armin |
|
1998 |
|
1 |
p. 130-142 |
artikel |
89 |
Some methodological aspects of tacit knowledge elicitation
|
Chervinskaya, K. R. |
|
2000 |
|
1 |
p. 43-55 |
artikel |
90 |
Spatial/kinematic domain and lattice computers
|
Case, John |
|
1994 |
|
1 |
p. 17-40 |
artikel |
91 |
Strong monotonic and set-driven inductive inference
|
Jain, Sanjay |
|
1997 |
|
1 |
p. 137-143 |
artikel |
92 |
Syntactical models of distributed cooperative systems
|
Kelemen, Jozef |
|
1991 |
|
1 |
p. 1-10 |
artikel |
93 |
Temporal reasoning about composite and/or periodic events
|
Terenziani, Paolo |
|
2006 |
|
1 |
p. 87-115 |
artikel |
94 |
The effects of co-operation on multiagent search in task-oriented domains
|
Vidal, Jose M. |
|
2004 |
|
1 |
p. 5-18 |
artikel |
95 |
The ethics of robot servitude
|
Petersen, Stephen |
|
2007 |
|
1 |
p. 43-54 |
artikel |
96 |
The myth of the Turing machine: the failings of functionalism and related theses
|
Eliasmith, Chris |
|
2002 |
|
1 |
p. 1-8 |
artikel |
97 |
The power of probabilism in Popperian FINite learning
|
Daley, Robert |
|
1994 |
|
1 |
p. 41-62 |
artikel |
98 |
The recognition and classification of concepts in understanding scientific texts
|
Gomez, Fernando |
|
1989 |
|
1 |
p. 51-77 |
artikel |
99 |
The role of aesthetics in problem solving: some observations and a manifesto
|
Fields, Chris |
|
2004 |
|
1 |
p. 41-55 |
artikel |
100 |
The TRAINS project: a case study in building a conversational planning agent
|
Allen, James F. |
|
1995 |
|
1 |
p. 7-48 |
artikel |
101 |
The Transition Calculus: a high-level formalism for reasoning about action and change
|
GOODAY, JOHN |
|
1997 |
|
1 |
p. 51-66 |
artikel |
102 |
Too many instincts: contrasting philosophical views on intelligence in humans and non-humans
|
Sterrett, Susan G. |
|
2002 |
|
1 |
p. 39-60 |
artikel |
103 |
Towards a unified account of supervised and unsupervised category learning
|
Gureckis, Todd M. |
|
2003 |
|
1 |
p. 1-24 |
artikel |
104 |
Transcending the meat: immersive technologies and computer mediated bodies
|
Sullins, John |
|
2000 |
|
1 |
p. 13-22 |
artikel |
105 |
Unifying time and uncertainty for diagnosis
|
SANTOS, EUGENE |
|
1996 |
|
1 |
p. 75-94 |
artikel |
106 |
Verifying plans for multiple agents
|
Katz, Matthew J. |
|
1993 |
|
1 |
p. 39-56 |
artikel |
107 |
Visual perception modelling for intelligent virtual driver agents in synthetic driving simulation
|
Dumbuya, A. D. |
|
2003 |
|
1 |
p. 73-102 |
artikel |
108 |
Weakening the language bias in LINUS
|
Lavrac, Nada |
|
1994 |
|
1 |
p. 95-119 |
artikel |
109 |
Weighting strategy for non-clausal resolution
|
Stachniak, Z. |
|
2008 |
|
1 |
p. 61-78 |
artikel |
110 |
What kind of science is simulation?
|
Eason, Robb |
|
2007 |
|
1 |
p. 19-28 |
artikel |
111 |
What's in a symbol: ontology, representation and language
|
Nirenburg, Sergei |
|
2001 |
|
1 |
p. 9-23 |
artikel |
112 |
Where are all the cockroaches?
|
Dejohn, Jerry |
|
2004 |
|
1 |
p. 1-3 |
artikel |
113 |
Why Turing machine equivalence is (still) important in cognitive science: a reply to Eliasmith
|
Hardcastle, Valerie Gray |
|
2002 |
|
1 |
p. 9-12 |
artikel |