| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abduction, experience, and goals: a model of everyday abductive explanation
|
Leake, David B.
|
|
1995
|
|
4 |
p. 407-428
|
artikel
|
| 2 |
A-Brain: a general system for solving data analysis problems
|
Oltean, Mihai
|
|
2007
|
|
4 |
p. 333-353
|
artikel
|
| 3 |
Abstraction and composition: a verification method for co-operating systems
|
OchsenschlAger, Peter
|
|
2000
|
|
4 |
p. 447-459
|
artikel
|
| 4 |
A case study in the mechanical verification of fault tolerance
|
Mantel, Heiko
|
|
2000
|
|
4 |
p. 473-487
|
artikel
|
| 5 |
A counter-example to all future dynamic systems theories of cognition
|
Dietrich, Eric
|
|
2000
|
|
4 |
p. 377-382
|
artikel
|
| 6 |
Adaptive dynamic probabilistic networks for distributed uncertainty processing
|
Shi, Dongyu
|
|
2007
|
|
4 |
p. 269-284
|
artikel
|
| 7 |
Adaptive-predictive game-playing programs
|
Levinson, Robert
|
|
1992
|
|
4 |
p. 315-337
|
artikel
|
| 8 |
Agent's actions as a classification criteria for the state space in a learning from rewards system
|
Martinez-gil, Francisco
|
|
2008
|
|
4 |
p. 269-276
|
artikel
|
| 9 |
An algorithm for discovering the frequent closed itemsets in a large database
|
Singh, Ningthoujam Gourakishwar
|
|
2006
|
|
4 |
p. 481-499
|
artikel
|
| 10 |
Analogical projection in pattern perception
|
Dastani, Mehdi
|
|
2003
|
|
4 |
p. 489-511
|
artikel
|
| 11 |
An engineering approach to sociable robots
|
Deniz, Oscar
|
|
2007
|
|
4 |
p. 285-306
|
artikel
|
| 12 |
A new approach to applicable memory-based reasoning
|
Bo, Ketil
|
|
1999
|
|
4 |
p. 479-496
|
artikel
|
| 13 |
An individualistic approach to social action in multi-agent systems
|
Alonso, Eduardo
|
|
1999
|
|
4 |
p. 519-530
|
artikel
|
| 14 |
An online multi-agent co-operative learning algorithm in POMDPs
|
Liu, Fei
|
|
2008
|
|
4 |
p. 335-344
|
artikel
|
| 15 |
A note on the cumulativity of justified default logic
|
Antoniou, Grigoris
|
|
1998
|
|
4 |
p. 507-509
|
artikel
|
| 16 |
Answering subcognitive Turing Test questions: a reply to French
|
Turney, Peter D.
|
|
2001
|
|
4 |
p. 409-419
|
artikel
|
| 17 |
Applying formal concepts to learning systems validation
|
Dotsch, Volker
|
|
2000
|
|
4 |
p. 433-445
|
artikel
|
| 18 |
Approximate reasoning with credible subsets
|
Lozinskii, Eliezer L.
|
|
1997
|
|
4 |
p. 543-562
|
artikel
|
| 19 |
A probabilistic perceptron learning algorithm
|
Hong, Tzung-Pei
|
|
1992
|
|
4 |
p. 265-279
|
artikel
|
| 20 |
Arabic writer identification based on hybrid spectral-statistical measures
|
Al-Dmour, Ayman
|
|
2007
|
|
4 |
p. 307-332
|
artikel
|
| 21 |
Are AI and mechanics empirical disciplines?
|
Burkholder, Leslie
|
|
1999
|
|
4 |
p. 497-500
|
artikel
|
| 22 |
Are we wrong about representation?
|
Terveen, Mark H. Bickhard Loren
|
|
1997
|
|
4 |
p. 441-469
|
artikel
|
| 23 |
Argumentation through a distributed self-stabilizing approach
|
Baroni, Pietro
|
|
2002
|
|
4 |
p. 273-301
|
artikel
|
| 24 |
Artificial intelligence and other approaches to speech understanding: reflections on methodology
|
Ward, Nigel
|
|
1998
|
|
4 |
p. 487-493
|
artikel
|
| 25 |
A situation-theoretic account of nonmonotonic reasoning
|
Gillies, Anthony
|
|
1998
|
|
4 |
p. 439-449
|
artikel
|
| 26 |
A sound and complete proof theory for the generalized logic of only knowing
|
Chen, Jianhua
|
|
1998
|
|
4 |
p. 421-438
|
artikel
|
| 27 |
A theory of cross-validation error
|
Turney, Peter
|
|
1994
|
|
4 |
p. 361-391
|
artikel
|
| 28 |
Below the knowledge level architecture
|
Hendler, James A.
|
|
1989
|
|
4 |
p. 255-258
|
artikel
|
| 29 |
Commentary on Jon Sticklen's 'Problem-solving architecture at the knowledge level'
|
Clancey, William J.
|
|
1989
|
|
4 |
p. 249-253
|
artikel
|
| 30 |
Computationalism is dead; now what?
|
Bringsjord, Selmer
|
|
1998
|
|
4 |
p. 393-402
|
artikel
|
| 31 |
Connectionism and artificial intelligence: history and philosophical interpretation
|
Aizawa, Kenneth
|
|
1992
|
|
4 |
p. 295-313
|
artikel
|
| 32 |
Constructivism versus realism, or constructivism and realism
|
Hoffman, Robert R.
|
|
1994
|
|
4 |
p. 431-435
|
artikel
|
| 33 |
Contextualizing concepts using a mathematical generalization of the quantum formalism
|
Gabora, Liane
|
|
2002
|
|
4 |
p. 327-358
|
artikel
|
| 34 |
Conversational strategies in COBBER: an affective CCBR framework
|
Gomez-Gauchia, H.
|
|
2006
|
|
4 |
p. 449-469
|
artikel
|
| 35 |
Coordination and control structures and processes: possibilities for connectionist networks (CN)
|
Honavar, Vasant
|
|
1990
|
|
4 |
p. 277-302
|
artikel
|
| 36 |
Decomposing meat: a commentary on Sticklen's 'problem-solving architecture at the knowledge level'
|
Slator, Brian M.
|
|
1989
|
|
4 |
p. 259-262
|
artikel
|
| 37 |
Dynamic systems and paradise regained or how to avoid being a calculator
|
Dietrich, Eric
|
|
1999
|
|
4 |
p. 473-478
|
artikel
|
| 38 |
Editorial AI and the tyranny of Galen, or Why evolutionary psychology and cognitive ethology are important to artificial intelligence
|
Dietrich, Eric
|
|
1994
|
|
4 |
p. 325-330
|
artikel
|
| 39 |
Editorial: Subvert the Dominant Paradigm! A review of Computationalism: New Directions, edited by Matthias Scheutz (The MIT Press, 2002)
|
Dejohn, Jerry
|
|
2003
|
|
4 |
p. 375-382
|
artikel
|
| 40 |
Efficient information theoretic extraction of higher order features for improving neural network-based spam e-mail categorization
|
Zorkadis, V.
|
|
2006
|
|
4 |
p. 523-534
|
artikel
|
| 41 |
Embedding prioritized circumscription in disjunctive logic programs
|
Chen, Jianhua
|
|
1999
|
|
4 |
p. 553-563
|
artikel
|
| 42 |
Emergent songs by social robots
|
Miranda, Eduardo Reck
|
|
2008
|
|
4 |
p. 319-334
|
artikel
|
| 43 |
Exploiting domain geometry in analogical route planning
|
Veloso, Karen Zita Haigh Jonathan Richard Shewchuk Manuela M.
|
|
1997
|
|
4 |
p. 509-541
|
artikel
|
| 44 |
Extruding intentionality from the metaphysical flux
|
Toribio, Josefa
|
|
1999
|
|
4 |
p. 501-518
|
artikel
|
| 45 |
Finding lost minds
|
Dyer, Michael G.
|
|
1990
|
|
4 |
p. 329-339
|
artikel
|
| 46 |
Formal software development in the Verification Support Environment (VSE)
|
Hutter, Dieter
|
|
2000
|
|
4 |
p. 383-406
|
artikel
|
| 47 |
Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
|
Laureano-Cruces, Ana Lilia
|
|
2003
|
|
4 |
p. 407-431
|
artikel
|
| 48 |
Frequent mining of subgraph structures
|
Guo, Ping
|
|
2006
|
|
4 |
p. 513-521
|
artikel
|
| 49 |
Fuzzy attribute logic over complete residuated lattices
|
Belohlavek, Radim
|
|
2006
|
|
4 |
p. 471-480
|
artikel
|
| 50 |
Graph decompositions and tree automata in reasoning with uncertainty
|
Arnborg, Stefan
|
|
1993
|
|
4 |
p. 335-357
|
artikel
|
| 51 |
Hand motion tracking and trajectory matching for dynamic hand gesture recognition
|
Bhuyan, M. K.
|
|
2006
|
|
4 |
p. 435-447
|
artikel
|
| 52 |
Hierarchical task network and operator-based planning: two complementary approaches to real-world planning
|
Estlin, Tara A.
|
|
2001
|
|
4 |
p. 379-395
|
artikel
|
| 53 |
Homo sapiens 2.0: why we should build the better robots of our nature
|
Dietrich, Eric
|
|
2001
|
|
4 |
p. 323-328
|
artikel
|
| 54 |
How minds can be computational systems
|
Rapaport, William J.
|
|
1998
|
|
4 |
p. 403-419
|
artikel
|
| 55 |
Human reasoning about artificial intelligence
|
Hayes, Patrick J.
|
|
1992
|
|
4 |
p. 247-263
|
artikel
|
| 56 |
Hybrid AI/control system interactions and analysis
|
Henshaw, Carl Glen
|
|
2004
|
|
4 |
p. 189-208
|
artikel
|
| 57 |
Identification of faces obscured by noise: comparison of an artificial neural network with human observers
|
Thomas, Kim T. Blackwell
|
|
1997
|
|
4 |
p. 491-508
|
artikel
|
| 58 |
Imagination and situated cognition
|
Stein, Lynn Andrea
|
|
1994
|
|
4 |
p. 393-407
|
artikel
|
| 59 |
Improving the efficiency of rule-based expert systems by rule activation
|
Sanzogn, Louis
|
|
1990
|
|
4 |
p. 369-380
|
artikel
|
| 60 |
Independency relationships and learning algorithms for singly connected networks
|
De Campos, Luis M.
|
|
1998
|
|
4 |
p. 511-549
|
artikel
|
| 61 |
Inductive rule generation and interpretation
|
Kalkanis, G.
|
|
1994
|
|
4 |
p. 297-309
|
artikel
|
| 62 |
Intentionality and computationalism: minds, machines, Searle and Harnad
|
Dyer, Michael G.
|
|
1990
|
|
4 |
p. 303-319
|
artikel
|
| 63 |
Is MT translation? Reflections on a recent assault
|
Jorgensen, Stig W.
|
|
1999
|
|
4 |
p. 531-541
|
artikel
|
| 64 |
Is the connectionist-logicist clash one of AI's wonderful red herrings?
|
Bringsjord, Selmer
|
|
1994
|
|
4 |
p. 319-349
|
artikel
|
| 65 |
Is there an alternative to parsimonious semantics?
|
Lozinskii, Eliezer L.
|
|
1995
|
|
4 |
p. 361-378
|
artikel
|
| 66 |
Knowing life: possible solutions to the practical epistemological limits in the study of artificial life
|
Sullins, John
|
|
2001
|
|
4 |
p. 397-408
|
artikel
|
| 67 |
Learning communicative actions of conflicting human agents
|
Galitsky, Boris A.
|
|
2008
|
|
4 |
p. 277-317
|
artikel
|
| 68 |
Lost in the hermeneutic hall of mirrors
|
Harnad, Stevan
|
|
1990
|
|
4 |
p. 321-327
|
artikel
|
| 69 |
Making meaning happen
|
Grim, Patrick
|
|
2004
|
|
4 |
p. 209-243
|
artikel
|
| 70 |
Modal queries about partially-ordered plans
|
Moffat, D. C.
|
|
1990
|
|
4 |
p. 341-368
|
artikel
|
| 71 |
Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction
|
Santos, Eugene
|
|
1993
|
|
4 |
p. 359-390
|
artikel
|
| 72 |
Multiple-agents to identify and separate touching digits in unconstrained handwritten Hindi numerals
|
Alhajj, Reda
|
|
2003
|
|
4 |
p. 461-471
|
artikel
|
| 73 |
Natural language analysis by stochastic optimization: a progress report on Project APRIL
|
Sampson, Geoffrey
|
|
1989
|
|
4 |
p. 271-287
|
artikel
|
| 74 |
Negotiation in a non-cooperative environment
|
Kraus, Sarit
|
|
1994
|
|
4 |
p. 255-281
|
artikel
|
| 75 |
On computational social laws for dynamic non-homogeneous social structures*
|
Tennenholtz, Moshe
|
|
1995
|
|
4 |
p. 379-390
|
artikel
|
| 76 |
On designing a visual system (Towards a Gibsonian computational model of vision)
|
Sloman, Aaron
|
|
1989
|
|
4 |
p. 289-337
|
artikel
|
| 77 |
On-policy concurrent reinforcement learning
|
Banerjee, Bikramjit
|
|
2004
|
|
4 |
p. 245-260
|
artikel
|
| 78 |
On the relationship between annotated logic programs and nonmonotonic formalisms
|
Thirunarayan, Krishnaprasad
|
|
1995
|
|
4 |
p. 391-406
|
artikel
|
| 79 |
On why constructivism does not yield relativism
|
Bickhard, Mark H.
|
|
1993
|
|
4 |
p. 275-284
|
artikel
|
| 80 |
Ordered seminormal default theories and their extensions
|
Chen, Jianhua
|
|
1994
|
|
4 |
p. 351-363
|
artikel
|
| 81 |
People are not computers: (most) thought processes are not computational procedures
|
Fetzer, James H.
|
|
1998
|
|
4 |
p. 371-391
|
artikel
|
| 82 |
Performance of modified differential evolution for optimal design of complex and non-linear chemical processes
|
Angira, Rakesh
|
|
2006
|
|
4 |
p. 501-512
|
artikel
|
| 83 |
Planning under uncertainty as Golog programs
|
Baier, Jorge A.
|
|
2003
|
|
4 |
p. 383-405
|
artikel
|
| 84 |
Practical abduction: characterization, decomposition and concurrency
|
Goel, Ashok K.
|
|
1995
|
|
4 |
p. 429-450
|
artikel
|
| 85 |
Problem-solving architecture at the knowledge level*
|
Sticklen, Jon
|
|
1989
|
|
4 |
p. 233-247
|
artikel
|
| 86 |
Recent advances in artificial intelligence
|
Prasad, Bhanu
|
|
2006
|
|
4 |
p. 433-434
|
artikel
|
| 87 |
Relating only knowing to minimal belief and negation as failure
|
Chen, Jianhua
|
|
1994
|
|
4 |
p. 409-429
|
artikel
|
| 88 |
Reply to commentaries on 'problem-solving architecture at the knowledge level'
|
Stecklen, Jon
|
|
1989
|
|
4 |
p. 263-269
|
artikel
|
| 89 |
Representational content in humans and machines
|
Bickhard, Mark H.
|
|
1993
|
|
4 |
p. 285-333
|
artikel
|
| 90 |
Re-representation in comparison: building an empirical case
|
Kurtz, Kenneth J.
|
|
2005
|
|
4 |
p. 447-459
|
artikel
|
| 91 |
Role-governed categories
|
Markman, Arthur B.
|
|
2001
|
|
4 |
p. 329-358
|
artikel
|
| 92 |
Searching graphs using mixed strategies
|
Manzini, Giovanni
|
|
1994
|
|
4 |
p. 311-317
|
artikel
|
| 93 |
Searle's AI program
|
Korb, Kevin B.
|
|
1994
|
|
4 |
p. 283-296
|
artikel
|
| 94 |
Semantical considerations on intention dynamics for BDI agents
|
Singh, Munindar P.
|
|
1998
|
|
4 |
p. 551-564
|
artikel
|
| 95 |
Strong separation of learning classes
|
Case, John
|
|
1992
|
|
4 |
p. 281-293
|
artikel
|
| 96 |
Structuring global responses of local filters using lateral connections
|
Corchado, Emilio
|
|
2003
|
|
4 |
p. 473-487
|
artikel
|
| 97 |
Studying properties of classes of default logics
|
Antoniou, Grigoris
|
|
1998
|
|
4 |
p. 495-505
|
artikel
|
| 98 |
Teams in cooperating grammar systems
|
Kari, Lila
|
|
1995
|
|
4 |
p. 347-359
|
artikel
|
| 99 |
The functions of finite support: a canonical learning problem
|
Freivalds, Rusins
|
|
1999
|
|
4 |
p. 543-552
|
artikel
|
| 100 |
The interaction of representations and planning objectives for decision-theoretic planning tasks
|
Koenig, Sven
|
|
2002
|
|
4 |
p. 303-326
|
artikel
|
| 101 |
Theoretical analyses of cross-validation error and voting in instance-based learning
|
Turney, Peter
|
|
1994
|
|
4 |
p. 331-360
|
artikel
|
| 102 |
The theory and practice of intention reconsideration
|
Schut, Martijn
|
|
2004
|
|
4 |
p. 261-293
|
artikel
|
| 103 |
Towards dependable development tools for embedded systems: a case study in software verification
|
Petermann, Uwe
|
|
2000
|
|
4 |
p. 489-498
|
artikel
|
| 104 |
Towards validation and refinement of rule-based systems
|
Knauf, Rainer
|
|
2000
|
|
4 |
p. 421-431
|
artikel
|
| 105 |
Two-agent IDA
|
Fletcher, Armand E. Prieditis Evan
|
|
1998
|
|
4 |
p. 451-485
|
artikel
|
| 106 |
Understanding as an interpretation in a shape understanding system
|
Les, Zbigniew
|
|
2003
|
|
4 |
p. 433-459
|
artikel
|
| 107 |
User studies of knowledge acquisition tools: methodology and lessons learned
|
Tallis, Marcelo
|
|
2001
|
|
4 |
p. 359-378
|
artikel
|
| 108 |
Validation and verification of intelligent systems - what are they and how are they different?
|
Gonzalez, Avelino J.
|
|
2000
|
|
4 |
p. 407-420
|
artikel
|
| 109 |
Validation method for intelligent systems
|
Onoyama, Takashi
|
|
2000
|
|
4 |
p. 461-472
|
artikel
|
| 110 |
Why co-occurrence information alone is not sufficient to answer subcognitive questions
|
French, Robert M.
|
|
2001
|
|
4 |
p. 421-429
|
artikel
|
| 111 |
Why do we talk to ourselves?
|
Fields, Chris
|
|
2002
|
|
4 |
p. 255-272
|
artikel
|
| 112 |
Will zombies talk about consciousness ?-The paradox of phenomenal judgment: its implications for naturalistic dualism and other theories of mind
|
Valdman, Mikhail
|
|
1997
|
|
4 |
p. 471-490
|
artikel
|
Tijdschrift beschrijving