Advanced Robotics

Vol. 22, No. 1

Preface 1–2

M. C. Carrozza

Articles

Design and development of a novel robotic platform for neuro-robotics applications: the NEURobotics ARM (NEURARM) 3–37

E. Cattin, S. Roccella, N. Vitiello, I. Sardellitti, P. K. Artemiadis, P. Vacalebri, F. Vecchi, M. C. Carrozza, K. J. Kyriakopoulos and P. Dario

Antagonism for a highly anthropomorphic hand-arm system 39–55

M. Grebenstein and P. Patrick van der Smagt

An anthropomorphic robotic head for investigating gaze control 57–89

C. Laschi, F. Patane, E. S. Maini, L. Manfredi, G. Teti, L. Zollo, E. Guglielmelli and P. Dario

An anthropomorphic robotic platform for progressive and adaptive sensorimotor learning 91–118

L. Zollo, S. Eskiizmirliler, G. Teti, C. Laschi, Y. Burnod, E. Guglielmelli and M. A. Maier

Probing virtual boundaries and the perception of delayed stiffness 119–140

A. Pressman, I. Nisky, A. Karniel and F. A. Mussa-Ivaldi

A modular platform for in-plane ground reaction forces detection in a mouse model: design, development and verification 141–157

G. Cavallo, D. Campolo, F. Keller and E. Guglielmelli

Articles

Vol. 22, Nos. 2–3

Online walking pattern generation and its application to a biped humanoid robot – KHR-3 (HUBO) 159–190

I.-W. Park, J.-Y. Kim and J.-H. Oh

Rearrangement task by multiple mobile robots with efficient calculation of task constraints 191–213

N. Fujii and J. Ota

Analytical solution of the forward position analysis of parallel manipulators that generate 3-RS structures 215–234

J. Gallardo-Alvarado, R. Rodríguez-Castro and M. N. Islam

New architecture of a hybrid two-fingered micro-nano manipulator hand: optimization and design 235–260

A. A. Ramadan, K. Inoue, T. Arai and T. Takubo

Workspace determination of general 6-d.o.f. cable manipulators 261–278

X. Diao and O. Ma

Robot localization in indoor environments using radio frequency identification technology and stereo vision 279–297

S. Jia, J. Sheng, E. Shang and K. Takase

Research on the satellite on-orbit self-servicing testbed 299–317

H. Liu, K. Sun, Z. W. Xie, J. B. Huang, Z. N. Jiang, M. H. Jin and Y. W. Liu

Design of robust stabilization and fault diagnosis for an auto-balancing two-wheeled cart 319–338

J.-S. Hu and M.-C. Tsai

Thinning-based topological exploration using position possibility of topological nodes 339–359

T.-B. Kwon and J.-B. Song

Autonomous navigation of an unmanned air vehicle towards a moving ship 361–379

F. Belkhouche

Image-based visual PID control of a micro helicopter using a stationary camera 381–393

K. Watanabe, Y. Yoshihata, Y. Iwatani and K. Hashimoto

Vol. 22, No. 4

Articles

A new general-purpose method to solve the forward position problem in parallel manipulators 395–409

V. Petuya, A. Alonso, C. Pinto, O. Altuzarra and A. Hernández

Pose planning for a mobile manipulator based on joint motions for posture adjustment to end-effector error 411–431

K. Yamazaki, M. Tomono and T. Tsubouchi

Modified PID control of a single-link flexible robot 433–449

T. Mansour, A. Konno and M. Uchiyama

Non-holonomic path planning of a free-floating space robotic system using genetic algorithms 451–476

W. Xu, Y. Liu, B. Liang, Y. Xu, C. Li and W. Qiang

Vision-based obstacle detection and avoidance: application to robust indoor navigation of mobile robots 477–492

S. Yoon, K. S. Roh and Y. Shim

Vol. 22, No. 5

Articles

A direct algorithm to compute the switching curve for time-optimal motion of cooperative multi-manipulators moving on a specified path 493–506

M. H. Ghasemi and M. J. Sadigh

A time-of-arrival-based positioning technique with non-line-of-sight mitigation using low-frequency sound 507–526

L. C. Mak and T. Furukawa

Predicting object dynamics from visual images through active sensing experiences 527–546

L. C. Mak and T. Furukawa

Belief-driven manipulator visual servoing for less controlled environments 547–572

S. Webb and T. Furukawa

Modeling friction for a snake-like robot 573–585

K. Skonieczny and G. M. T. D’Eleuterio

Vol. 22, Nos. 6–7

Preface 587–588

T. Kotoku and Y.-J. Cho

Articles

Modular architecture for humanoid walking pattern prototyping and experiments 589–611

O. Stasse, B. Verrelst, P.-B. Wieber, B. Vanderborght, P. Evrard, A. Kheddar and K. Yokoi

Scriptless connection of sensor data processing components in network middleware for home environment 613–632

H. Noguchi, T. Mori and T. Sato

Visual mark for robot manipulation and its RT-middleware component 633–655

K. Ohara, T. Sugawara, J. H. Lee, T. Tomizawa, H. M. Do, X. Liang, Y.-S. Kim, B. K. Kim, Y. Sumi, T. Tanikawa, H. Onda and K. Ohba

Kinematic analysis of a macro–micro redundantly actuated parallel manipulator 657–687

H. D. Taghirad and M. Nahon

High-order sliding modes for a robot driven by pneumatic artificial rubber muscles 689–704

M. Chettouh, R. Toumi and M. Hamerlain

Optimal path programming of the Stewart platform manipulator using the Boltzmann–Hamel–d’Alembert Dynamics Formulation Model 705–730

C.-T. Chen and T.-T. Liao

Development of a positioning technique for an urban area using omnidirectional infrared camera and aerial survey data 731–747

J.-i. Meguro, T. Murata, Y. Amano, T. Hashizume and J.-i. Takiguchi

Development of a face verification system for a home service robot 749–760

W.-h. Yun, D.-H. Kim, H.-S. Yoon and Y.-J. Cho

Development of a pneumatic artificial muscle based on biomechanical characteristics 761–770

N. Saga and T. Saikawa

Snake-like robot for rescue operations: proposal of a simple adaptive mechanism designed for ease of use 771–785

K. Ito and R. Murai

Vol. 22, No. 8

Preface 787–788

T. Maeno and Y. Matsuoka

Articles

Improvement of tactile sensation of a bilateral forceps robot by a switching virtual model 789–806

A. M. Harsha S. Abeykoon and K. Ohnishi

Human perception of pneumatic tactile cues 807–828

Y. Kim, I. Oakley and J. Ryu

Biomimetic tactile sensor array 829–849

N. Wettels, V. J. Santos, R. S. Johansson and G. E. Loeb

KAT II: tactile display mouse for providing tactile and thermal feedback 851–865

G.-H. Yang and D. -S. Kwon

A simple robotic tactile sensor for object surface sensing 867–892

K. Suwanratchatamanee, M. Matsumoto and S. Hashimoto

Virtual force/tactile sensors for interactive machines using the user’s biological signals 893–911

T. Tamei, S. Ishii and T. Shibata

Vol. 22, No. 9

Articles

Integrated design of an ionic polymer–metal composite actuator/sensor 913–928

M. Yamakita, A. Sera, N. Kamamichi and K. Asaka

Compliant navigation mechanisms utilizing probabilistic motion patterns of humans in a camera network 929–948

Z. Liang, Z. Ma and X. Dai

Dynamic analysis of a macro–micro redundantly actuated parallel manipulator 949–981

H. D. Taghirad and M. A. Nahon

Toward human-like real-time manipulation: from perception to motion planning 983–1005

S. Lee, H. Moradi, D. Jang, H.-Y. Jang, E. Kim, P . L. Minh, J. Seo and J. H. Han

A new tuning procedure for PID control of rigid robots 1007–1023

V. M. Hernández Guzmán, V. Santibáñez and R. Silva-Ortigoza

Vol. 22, No. 10

Preface 1025–1026

G. Cheng, K. Hosoda and G. Sandini

Articles

Overview of the Lucy Project: dynamic stabilization of a biped powered by pneumatic artificial muscles 1027–1051

B. Vanderborght, R. Van Ham, B. Verrelst, M. Van Damme and D. Lefeber

TORSO: development of a telexistence visual system using a 6-d.o.f. robot head 1053–1073

K. Watanabe, I. Kawabuchi, N. Kawakami, T. Maeda and S. Tachi

Highly precise dynamic simulation environment for humanoid robots 1075–1105

J. G. Hale, B. Hohl, S. -H. Hyon, T. Matsubara, E. M. Moraud and G. Cheng

Designing synergistic walking of a whole-body humanoid driven by pneumatic artificial muscles: an empirical study 1107–1123

K. Narioka and K. Hosoda

Learning to acquire whole-body humanoid center of mass movements to achieve dynamic tasks 1125–1142

T. Matsubara, J. Morimoto, J. Nakanishi, S.-H. Hyon, J. G. Hale and G. Cheng

Object category acquisition by dynamic touch 1143–1154

S. Takamuku, K. Hosoda and M. Asada

Vol. 22, No. 11

Articles

An experimental study on Cartesian impedance control for a joint torque-based manipulator 1155–1180

H. Liu, Y -c. Liu, M. Jin, K. Sun and J. B. Huang

Terrain-based navigation for underwater vehicles using an ultrasonic scanning system 1181–1205

J. N. Lygouras, V. Kodogiannis, T. P. Pachidis and P. Liatsis

Miniaturized vision system for microfluidic devices 1207–1222

H. Uvet, T. Arai, Y. Mae, T. Takubo and M. Yamada

A probabilistic framework for sonar scan matching localization 1223–1241

A. Burguera, Y . G. Cid and G. Oliver

Kinematics-based navigation functions 1243–1264

K. Bendjilali and F. Belkhouche

Vol. 22, No. 12

Preface 1265

T. C. Henderson, M. Kineko and S. Sugano

Articles

A tire stiffness backstepping observer dedicated to all-terrain vehicle rollover prevention 1267–1285

N. Bouton, R. Lenain, B. Thuilot and P. Martinet

Robotic patient transfer and rehabilitation device for patient care facilities or the home 1287–1307

R. Bostelman and J. S. Albus

Intentional control for planetary rover SRR 1309–1327

R. Kozma, T. Huntsberger, H. Aghazarian, E. Tunstel, R. Ilin and W. J. Freeman

Self-oscillating gel actuator for chemical robotics 1329–1342

S. Maeda, Y. Hara, R. Yoshida and S. Hashimoto

Translating structured English to robot controllers 1343–1359

H. Kress-Gazit, G. E. Fainekos and G. J. Pappas

Controlling ensembles of robots via a supervisory aerial robot 1361–1377

N. Michael, J. Fink and V. Kumar

Efficient behavior learning based on state value estimation of self and others 1379–1395

Y. Takahashi, K. Noma and M. Asada

Vol. 22, Nos. 13–14

Articles

Mobile robot control architecture for reflexive avoidance of moving obstacles 1397–1420

K.-S. Hong, T. A. Tamba and J.-B. Song

Driving mode decision in the obstacle negotiation of a variable single-tracked robot 1421–1438

H. K. Jeong, K. H. Choi, S.-H. Kim and Y. K. Kwak

Cooperative strategy for a wheelchair and a robot to climb and descend a step 1439–1460

H. Ikeda, Y. Katsumata, M. Shoji, T. Takahashi and E. Nakano

Realization of a pheromone potential field for autonomous navigation by radio frequency identification 1461–1478

T. S. Herianto , T. Koiwa and D. Kurabayashi

Bi-criteria velocity minimization of robot manipulators using a linear variational inequalities-based primal-dual neural network and PUMA560 example 1479–1496

Y. Zhang, B. Cai, L. Zhang and K. Li

Positive span of force and torque components in three-dimensional four-finger force-closure grasps 1497–1520

N. Niparnan, A. Sudsang and P. Chongstitvatana

A system for robotic heart surgery that learns to tie knots using recurrent neural networks 1521–1537

H. G. Mayer, F. J. Gomez, D. Wierstra, I. Nagy, A. Knoll and J. Schmidhuber

Steady Crawl gait generation algorithm for quadruped robots 1539–1558

H. Hwang and Y. Youm

Dynamic analysis and control synthesis of grasping and slippage of an object manipulated by a robot 1559–1584

S. H. Jazi, M. Keshmiri and F. Sheikholeslam

Scrub nurse robot for laparoscopic surgery 1585–1601

K. Takashima, H. Nakashima, T. Mukai and S. Hayashi

Vol. 22, No. 15

Preface 1603–1604

K. Hosoda and H. Aonuma

Articles

Understanding and reconstruction of the mobiligence of insects employing multiscale biological approaches and robotics 1605–1628

R. Kanzaki, N. Ando, T. Sakurai and T. Kazawa

Neurobiological basis of controlling posture and locomotion 1629–1663

K. Takakusaki and T. Okumura

Biological insights into robotics: honeybee foraging behavior by a waggle dance 1665–1681

R. Okada, H. Ikeno, H. Aonuma and E. Ito

Rapid and cheap learning by exploiting biarticular muscles – a case study with a two-dimensional serpentine robot 1683–1696

W. Watanabe, T. Kawakatsu and A. Ishiguro

Simulating adaptive human bipedal locomotion based on phase resetting using foot-contact information 1697–1713

S. Aoi, N. Ogihara, Y. Sugimoto and K. Tsuchiya

AI Magazine

Vol. 29, No. 4

Editorial

Preference handling for artificial intelligence 9

J. Goldsmith and U. Junker

Articles

Preferences in interactive systems: technical challenges and case studies 13

B. Peintner, P. Viappiani and N. Yorke-Smith

Planning with preferences 25

J. A. Baier and S. A. McIlraith

Preference handling in combinatorial domains: from AI to social choice 37

Y. Chevaleyre, U. Endriss, J. Lang and N. Maudet

Multiobjective optimization 47

M. Ehrgott

Preferences in constraint satisfaction and optimization 58

F. Rossi, K. B. Venable and T. Walsh

Preferences and nonmonotonic reasoning 69

G. Brewka, I. Niemela and M. Truszczynski

Elicitation of factored utilities 79

D. Braziunas and C. Boutilier

User-involved preference elicitation for product search and recommender systems 93

P. Pu and L. Chen

Vol. 30, No. 1

Articles

Agents, bodies, constraints, dynamics, and evolution 7

A. K. Mackworth

Robots and avatars as hosts, advisors, companions, and jesters 29

C. Rich and C. L. Sidner

Using game theory for Los Angeles airport security 43

J. Pita, M. Jain, F. Ordóñez, C. Portway, M. Tambe, C. Western, P. Paruchuri and S. Kraus

Preference handling – an introductory tutorial 58

R. Brafman and C. Domshlak

Reports

AAAI-08 and IAAI-08 conferences provide focal point for AI 87

S. R. Hedberg

The seventeenth annual AAAI robot exhibition and manipulation and mobility workshop 95

M. Anderson, O. C. Jenkins and P. Oh

The AAAI 2008 robotics and creativity workshop 103

Y. E. Kim, P. Oh and O. C. Jenkins

AAAI 2008 workshop reports 108

R. C. Bunescu, V. R. Carvalho, J. Chomicki, V. Conitzer, M. T. Cox, V. Dignum, Z. Dodds, M. Dredze, D. Furcy, E. Gabrilovich, M. H. Göker, H. W. Guesgen, H. Hirsh, D. Jannach, U. Junker, W. Ketter, A. Kobsa, S. Koenig, T. Lau, L. Lewis, E. Matson, T. Metzler, R. Mihalcea, B. Mobasher, J. Pineau, P. Poupart, A. Raja, W. Ruml, N. M. Sadeh, G. Shani, D. Shapiro, S. A. Singh, M. E. Taylor, K. Wagstaff, T. Smith, W. Walsh and R. Zhou

The 2008 scheduling and planning applications workshop (SPARK’08) 119

L. Castillo, G. Cortellessa and N. Yorke-Smith

Report on the first conference on artificial general intelligence (AGI-08) 121

H. R. de Garis and B. Goertzel

The fourth international conference on intelligent environments (IE 08): a report 124

H. Hagras, V. Callaghan, D. J. Cook and A. (Sumi) Helal

Report on the fourth international conference on knowledge capture (K-CAP 2007) 126

D. Sleeman, K. Barker and D. Corsar

Vol. 30, No. 2

Editorial

Introduction to the Special Issue on IAAI 2008 15

M. H. Goker and K. Z. Haigh

Articles

Autonomous driving in traffic: boss and the urban challenge 17

C. Urmson, C. Baker, J. Dolan, P. Rybski, B. Salesky, W. Whittaker, D. Ferguson and M. Darms

Beyond audio and video: using claytronics to enable pario 29

S. C. Goldstein, T. C. Mowry, J. D. Campbell, M. P. Ashley-Rollman, M . D. Rosa, S. Funiak, J. F. Hoburg, M. E. Karagozler, B. Kirby, P. Lee, P. Pillai, J. R. Reid, D. D. Stancil and M. P. Weller

SmartChoice: an online recommender system to support low-income families in public school choice 46

D. C. Wilson, S. Leland, K. Godwin, A. Baxter, A. Levy, J. Smart, N. Najjar and J. Andaparambil

An AI framework to teach English as a foreign language: CSIEC 59

J. Jia

Tactical language and culture training systems: using ai to teach foreign languages and cultures 72

W. L. Johnson and A. Valente

Local search for optimal global map generation using mid-decadal landsat images 84

L. Khatib, R. A. Morris and J. Gasch

Optimal crops selection using multiobjective evolutionary algorithms 96

R. Brunelli and C. von Lücken

Reports

Reports of the AAAI 2008 Fall symposia

J. Beal, P. A. Bello, N. Cassimatis, M. H. Coen, P. R. Cohen, A. Davis, M. T. Maybury, A. Samsonovich, A. Shilliday, M. Skubic, J. Taylor, S. Walter, P. Winston and B. P. Woolf

Annals of Mathematics and Artificial Intelligence

Vol. 54, Nos. 1–3

Special Issue: Probabilistic Relational Learning/Guest Edited by M. Jaeger, L. Getoor and K. Kersting

Preface 1–2

M. Jaeger, L. Getoor and K. Kersting

Articles

Mixed deterministic and probabilistic networks 3–51

R. Mateescu and R. Dechter

Bayesian learning of Bayesian networks with informative priors 53–98

N. Angelopoulos and J. Cussens

Learning directed probabilistic logical models: ordering-search versus structure-search 99–133

D. Fierens, J. Ramon, M. Bruynooghe and H. Blockeel

Variational Bayes via propositionalized probability computation in PRISM 135–158

T. Sato, Y. Kameya and K. Kurihara

Probabilistic modelling, inference and learning using logical theories 159–205

K . S. Ng, J. W. Lloyd and W. T. B. Uther

A semiparametric generative model for efficient structured-output supervised learning 207–222

F. Costa, A. Passerini, M. Lippi and P. Frasconi

Learning first-order probabilistic models with combining rules 223–256

S.Natarajan, P. Tadepalli, T. G. Dietterich and A. Fern

Vol. 54, No. 4

Marco Somalvico Memorial Issue

Guest Editorial: Marco Somalvico memorial issue 257–264

E. Nissan, G. C. Gini and M. Colombetti

Articles

Mental states as multi-context systems 265–292

A. F. Dragoni

Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB 293–362

E. Nissan

On the completeness of an identifiability algorithm for semi-Markovian models 363–408

Y. Huang and M. Valtorta

Vol. 55, Nos. 1–2

Special Issue on First-Order Theorem Proving

Preface 1–2

S. Ranise and U. Hustadt

Articles

Labelled splitting 3–34

A. Fietzke and C. Weidenbach

Automated verification of refinement laws 35–62

P. Höfner, G. Struth and G. Sutcliffe

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis 63–99

R. Bruttomesso, A. Cimatti, A. Franzén, A. Griggio and R. Sebastiani

Solving quantified verification conditions using satisfiability modulo theories 101–122

Y. Ge, C. W. Barrett and C. Tinelli

Inductive proof search modulo 123–154

F. Nahon, C. Kirchner, H. Kirchner and P. Brauner

A new methodology for developing deduction methods 155–187

R. A. Schmidt

Articles

Vol. 55, Nos. 3–4

Extending the alternating-offers protocol in the presence of competition: models and theoretical analysis 189–236

N. Gatti

Is VAT really single linkage in disguise? 237–251

T. C. Havens, J. C. Bezdek, J. M. Keller, M. Popescu and J. M. Huband

A formal analysis of interest-based negotiation 253–276

I. Rahwan, P. Pasquier, L. Sonenberg and F. Dignum

Cooperative behavior of nano-robots as an analogous of the quantum harmonic oscillator 277–294

G. G. Rigatos

Enhancing numerical constraint propagation using multiple inclusion representations 295–354

X.-H. Vu, D. Sam-Haroud and B. Faltings

The theory of interval probabilistic logic programs 355–388

A. Dekhtyar and M. I. Dekhtyar

Approximate well-founded semantics, query answering and generalized normal logic programs over lattices 389–417

Y. Loyer and U. Straccia

Applied Artificial Intelligence

Vol. 23, No. 1

Articles

A reassuring mechanism design for traders in electronic group buying 1–15

T. Matsuo

Inference procedures for fuzzy knowledge representation scheme 16–43

S. Ribaric and N. Pavesic

Semantic metrics: metrics based on semantic aspects of software 44–77

C. Stein, L. H. Etzkorn, S. Gholston, P. A. Farrington, D. R. Utley, G. W. Cox and J. Fortune

A Behavioral agent model for synthesizing vegetation distribution patterns on 3D terrains 78–102

E. Ch’ng

Multi-agent graphical decision models in medicine 103–122

Y. Zeng and K.-L. Poh

Vol. 23, No. 2

Articles

Automatic detection of learner’s affect from gross body language 123–150

S. K. D’Mello and A. C. Graesser

Neural predictive force control for a hydraulic actuator: simulation and experiment 151–167

S. He

Modeling of thin film process data using a genetic algorithm-optimized initial weight of backpropagation neural network 168–178

B. Kim, H. Lee and D. Kim

Vol. 23, No. 3

Editorial

Guest Editorial: An artificial intelligence miscellanea, remembering Marco Somalvico 179–185

E. Nissan, G. C. Gini and M. Colombetti

Articles

The computer’s subconscious 186–203

R. C. Schank

The Minerva system: a step toward automatically created virtual museums 204–232

F. Amigoni and V. Schiaffonati

Ontology-based learning objects search and courses generation 233–260

M. A. Neri and M. Colombetti

Ensembling regression models to improve their predictivity: a case study in QSAR (Quantitative structure activity relationships) with computational chemometrics 261–281

G. C. Gini, T. Garg and M. Stefanelli

A case-based reasoning approach to the identification of materials from diffraction patterns 282–295

G. Kimmel, Y. HaCohen-Kerner, E. Nissan and E. Berman

Vol. 23, No. 4

Articles

Boosting one-class support vector machines for multi-class classification 297–315

C.-Y. Yeh, Z.-Y. Lee and S.-J. Lee

Structuring and modeling data for representing the behavior of agents in the governance of the Brazilian financial system 316–345

R. E. Streit and D. Borenstein

Stochastic parsing and evolutionary algorithms 346–372

L. Araujo

Vol. 23, No. 5

Articles

An empirical comparison of techniques for handling incomplete data using decision trees 373–405

B. Twala

A multi-agent system for the management of abnormal situations in an artificially gas-lifted well 406–426

J. Aguilar, F. Prato, C. Bravo and F. Rivas

Speech/music discrimination based on warping transformation and fuzzy logic for intelligent audio coding 427–442

J. E. M. Expósito, S. G. Galán, N. Ruiz-Reyes and P. Vera-Candeas

Hybrid grey relational artificial neural network and auto regressive integrated moving average model for forecasting time-series data 443–486

R. Sallehuddin and S. M. H. Shamsuddin

Vol. 23, No. 6

Articles

Diagnosing cardiovascular disease using an enhanced rough sets approach 487–499

C.-H. Cheng and S. Chen, Jr

Question answering using question classification and document tagging 500–521

Y. Chali

An order-k Voronoi approach to geospatial concept management within conceptual spaces 522–537

I. Lee and K. Lee

Genetic algorithm model for profit maximization of generating companies in deregulated electricity markets 538–552

P. S. Georgilakis

Vol. 23, No. 7

Articles

Applications of data mining techniques to automatic frog identification 553–569

C.-J. Huang, Y. -J. Yang, D.-X. Yang and Y.-J. Chen

Gaco – a hybrid ant colony optimization metaheuristic for the dynamic load-balanced clustering problem in ad hoc networks 570–598

C. K. Ho and H. T. Ewe

A distributed multi-criteria approach for traffic regulation in public transportation systems 599–632

I. Boudali and K. Ghédira

ISRST: generating interesting multimedia stories on the Web 633–679

A. Nakasone, H. Prendinger and M. Ishizuka

Power quality disturbance classification using S-transform and radial basis network 680–693

T. Jayasree, D. Devaraj and R. Sukanesh

Phrase and Ngram-based statistical machine translation system combination 694–711

M. R. Costa-Jussà and J. A. R. Fonollosa

Vol. 23, No. 8

Articles

Confidence metrics for association rule mining 713–737

X. Yan, C. Zhang and S. Zhang

Localizing the iris through memetic algorithms 738–757

M. B. P. Carneiro, A. C. P. Veiga, F . C. de Castro, E. L. Flôres and G. A. Carrijo

Pipeline defect prediction using support vector machines 758–771

D. Isa and R. Rajkumar

Connecting migration method in a mobile agent system 772–780

H. Wang, X. Wang, Y. Cai, W. Hui and J. Li

A neural network-based system for prediction of computer user comfort 781–803

S. U. Seçkiner

Vol. 23, No. 9

Articles

Discrete optimization algorithms in real-time visual tracking 805–827

M. A. Patricio, I. Dotú, J. García, A. Berlanga and J. M. Molinam

Prediction of Japanese encephalitis vectors in Kurnool district of Andhra Pradesh, India by using Bayesian network 828–834

U. S. Murty, M. S. Rao and N. Arunachalam

An emergent emotion model for an affective mobile guide with attitude 835–854

M . Y. Lim and R. Aylett

Experiments with Online reinforcement learning in real-time strategy games 855–871

K. T. Andersen, Y. Zeng, D. D. Christensen and D. Tran

Using a neural network for supporting radiographic diagnosis of dental caries 872–882

F. de Souza Barbosa, K . L. Devito and W. N. F. Filho

Using evolutionary algorithms to optimize anthropogenic material streams 883–893

O. Pollmann

Vol. 23, No. 10

Articles

Intelligent System based on genetic programming for atrial fibrillation classification 895–909

O. Valenzuela, I. Rojas, F. J. Rojas, H. Pomares, J. L. Bernier, L. J. Herrera and A. Guillén

Defining topic boundaries in search engine transaction logs using genetic algorithms 910–931

S. Ozmutlu and C. G. Cosar

A user-dependent easily-adjusted static finger language recognition system for handicapped aphasiacs 932–944

Y.-F. Fu and C.-S. Ho

Verification of distributed firewalls configuration vs. security policies using ALCQI(d) 945–975

N. Khakpour and S. Jalili

Applied Intelligence

Vol. 30, No. 1

Special Issue on Emerging Artificial Intelligence Applications and Innovations

Articles

Special issue on emerging artificial intelligence applications and innovations: Papers from AIAI 2006 1–2

I. Maglogiannis, K. Karpouzis and M. Bramer

Classification of atherosclerotic carotid plaques using morphological analysis on ultrasound images 3–23

E. Kyriacou, M. S. Pattichis, C. S. Pattichis, A. Mavrommatis, C. I. Christodoulou, S. Kakkos and A. Nicolaides

An intelligent system for automated breast cancer diagnosis and prognosis using SVM based classifiers 24–36

I. Maglogiannis, E. P. Zafiropoulos and I. Anagnostopoulos

A formally specified ontology management API as a registry for ubiquitous computing systems 37–46

A. Paar, J. Reuter, J. Soldatos, K. Stamatis and L. Polymenakos

Detecting small group activities from multimodal observations 47–57

O. Brdiczka, J. Maisonnasse, P. Reignier and J. L. Crowley

Towards modeling embodied conversational agent character profiles using appraisal theory predictions in expression synthesis 58–64

L. Malatesta, A. Raouzaiou, K. Karpouzis and S. D. Kollias

Improving accessibility with user-tailored interfaces 65–71

M. Gonzalez-Rodriguez, J. Manrubia, A. Vidau and M. G. Gallego

Vol. 30, No. 2

Articles

Applying fuzzy neural network to estimate software development effort 73–83

S.-J. Huang and N.-H. Chiu

DRFP-tree: disk-resident frequent pattern tree 84–97

M. Adnan and R. Alhajj

A new maximal-margin spherical-structured multi-class support vector machine 98–111

P.-Y. Hao, J.-H. Chiang and Y.-H. Lin

Fraudulent and malicious sites on the web 112–120

A. Obied and R. Alhajj

Personalized e-news monitoring agent system for tracking user-interested Chinese news events 121–141

C.-M. Chen and C.-Y. Liu

Partial information basis for agent-based collaborative dialogue 142–167

A. Moubaiddin and N. Obeid

A modular neural network for super-resolution of human faces 168–186

M. Carcenacm

Asynchronous action-reward learning for nonstationary serial supply chain inventory control 187

C. O. Kim, I.-H. Kwon and J.-G. Baek

Vol. 30, No. 3

Special Issue on Computational Intelligence Agents

Guest Editors: C.-S. Lee and V. Loia

Articles

Special issue on computational intelligence agents 189–190

C.-S. Lee and V. Loia

HealthAgents: distributed multi-agent brain tumor diagnosis and prognosis 191–202

H. González-Vélez, M. Mier, M. Julià-Sapé, T. N. Arvanitis, J. M. García-Gómez, M. Robles, P. H. Lewis, S. Dasmahapatra, D. Dupplaw, A. Peet, C. Arús, B. Celda, S. Van Huffel and M. Lluch i Ariet

Ontology-based computational intelligent multi-agent and its application to CMMI assessment 203–219

C.-S. Lee and M.-H. Wang

Inferring threats in urban environments with uncertain and approximate data: an agent-based approach 220–232

L. Lewis, J. F. Buford and G. Jakobson

Adaptation of proxy certificates to non-repudiation protocol of agent-based mobile payment systems 233–243

C.-M. Ou and C.-R. Ou

Artificial Intelligence

Vol. 173, No. 1

Articles

Managing concurrency in temporal planning using planner-scheduler interaction 1–44

A. Coles, M. Fox, K. Halsey, D. Long and A. Smith

Reasoning about coalitional games 45–79

T. Ågotnes, W. van der Hoek and M. Wooldridge

Teaming up humans with autonomous synthetic characters 80–103

R. Prada and A. Paiva

Coherence graphs 104–144

E. Miranda and M. Zaffalon

Robotic vocabulary building using extension inference and implicit contrast 145–166

K. Gold, M. W. Doniec, C. Crick and B. Scassellati

On the notion of concept II 167–179

M. Freund

Strong mediated equilibrium 180–195

D. Monderer and M. Tennenholtz

Vol. 173, No. 2

Articles

Automatic interpretation of loosely encoded input 197–220

J. Fan, K. Barker and B. W. Porter

Ranking games 221–239

F. Brandt, F. A. Fischer, P. Harrenstein and Y. Shoham

A comparative runtime analysis of heuristic algorithms for satisfiability problems 240–257

Y. Zhou, J. He and Q. Nie

Spatial reasoning in a fuzzy region connection calculus 258–298

S. Schockaert, M. De Cock and E. E. Kerre

Filtering algorithms for the multiset ordering constraint 299–328

A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel and T. Walsh

Navigational strategies in behaviour modelling 329–342

H. M. Dee and D. C. Hogg

Computing leximin-optimal solutions in constraint networks 343–364

S. Bouveret and M. Lemaître

Long-distance mutual exclusion for planning 365–391

Y. Chen, R. Huang, Z. Xing and W. Zhang

Algorithms for the coalitional manipulation problem 392–412

M. Zuckerman, A. D. Procaccia and J. S. Rosenschein

Vol. 173, Nos. 3–4

Articles

Using arguments for making and explaining decisions 413–436

L. Amgoud and H. Prade

Computing the fault tolerance of multi-agent deployment 437–465

Y. Zhang, E. Manisterski, S. Kraus, V. S. Subrahmanian and D. Peleg

Enactive artificial intelligence: investigating the systemic organization of life and mind 466–500

T. Froese and T. Ziemke

Vol. 173, Nos. 5–6

Articles

Advances in automated plan generation 501–502

M. Fox and S. Thiébaux

Concise finite-domain representations for PDDL planning tasks 503–535

M. Helmert

Learning from planner performance 536–561

M. Roberts and A. E. Howe

Anytime heuristic search for partial satisfaction planning 562–592

J. Benton, M. Bin Do and S. Kambhampati

A heuristic search approach to planning with temporally extended preferences 593–618

J. A. Baier, F. Bacchus and S. A. McIlraith

Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners 619–668

A. Gerevini, P. Haslum, D. Long, A. Saetti and Y. Dimopoulos

Task decomposition on abstract states, for planning under nondeterminism 669–695

U. Kuter, D. S. Nau, M. Pistore and P. Traverso

Probabilistic planning with clear preferences on missing information 696–721

M. Likhachev and A. Stentz

The factored policy-gradient planner 722–747

O. Buffet and D. Aberdeen

Practical solution techniques for first-order MDPs 748–788

S. Sanner and C. Boutilier

Vol. 173, Nos. 7–8

Articles

Automatic generation of textual summaries from neonatal intensive care data 789–816

F. Portet, E. Reiter, A. Gatt, J. Hunter, S. Sripada, Y. Freer and C. Sykes

Psychiatric document retrieval using a discourse-aware model 817–829

L.-C. Yu, C.-H. Wu and F.-L. Jang

Efficient duration and hierarchical modeling for human activity recognition 830–856

T. V. Duong, D. Q. Phung, H. Hai Bui and S. Venkatesh

Strengths and synergies of evolved and designed controllers: a study within collective robotics 857–875

G. Baldassarre and S. Nolfi

An options-based solution to the sequential auction problem 876–899

A. I. Juda and D. C. Parkes

Vol. 173, Nos. 9–10

Articles

Reasoning about preferences in argumentation frameworks 901–934

S. Modgil

Dialogue games that agents play within a society 935–981

N. C. Karunatillake, N. R. Jennings, I. Rahwan and P. McBurney

Quantified epistemic logics for reasoning about knowledge in multi-agent systems 982–1013

F. Belardinelli and A. Lomuscio

A case-based approach for coordinated action selection in robot soccer 1014–1039

R. Ros, J. L. Arcos, R . López de Mántaras and M. M. Veloso

Vol. 173, No. 11

Articles

Computer-aided proofs of Arrow’s and other impossibility theorems 1041–1053

P. Tang and F. Lin

Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints 1054–1078

C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan and T. Walsh

Contractor programming 1079–1100

G. Chabert and L. Jaulin

A probabilistic plan recognition algorithm based on plan tree grammars 1101–1132

C. W. Geib and R. P. Goldman

Vol. 173, Nos. 12–13

Articles

The learnability of voting rules 1133–1149

A. D. Procaccia, A. Zohar, Y. Peleg and J. S. Rosenschein

Approximate belief updating in max-2-connected Bayes networks is NP-hard 1150–1153

E. Karpas, S. E. Shimony and A. Beimel

From the textual description of an accident to its causes 1154–1193

D. Kayser and F. Nouioua

Rational choice and AGM belief revision 1194–1203

G. Bonanno

Solving connected row convex constraints by variable elimination 1204–1219

Y. Zhang and S. Marisetti

Vol. 173, No. 14

Articles

A novel sequence representation for unsupervised analysis of human activities 1221–1244

R. Hamid, S. Maddi, A. Y. Johnson, A. F. Bobick, I. A. Essa and C . L. Isbell, Jr

Image interpretation with a conceptual graph: labeling over-segmented images and detection of unexpected objects 1245–1265

A. Deruyver, Y. Hodé and L. Brun

Probabilistic models for melodic prediction 1266–1274

J.-F. Paiement, S. Bengio and D. Eck

Representing ontologies using description logics, description graphs, and rules 1275–1309

B. Motik, B. Cuenca Grau, I. Horrocks and U. Sattler

Weighted A* search – unifying view and application 1310–1342

R. Ebendt and R. Drechsler

Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability 1343–1366

Y. Gao

Vol. 173, No. 15

Articles

Vivid: A framework for heterogeneous problem solving 1367–1405

K. Arkoudas and S. Bringsjord

Encoding deductive argumentation in quantified Boolean formulae 1406–1423

P. Besnard, A. Hunter and S. Woltran

Stonian p-ortholattices: A new approach to the mereotopology RT0 1424–1440

T. Hahmann, M. Winter and M. Gruninger

Two-terminal routing games with unknown active players 1441–1455

I. Ashlagi, D. Monderer and M. Tennenholtz

Vol. 173, Nos. 16–17

Articles

AND/OR Branch-and-Bound search for combinatorial optimization in graphical models. 1457–1491

R. Marinescu and R. Dechter

Memory intensive AND/OR search for combinatorial optimization in graphical models. 1492–1524

R. Marinescu and R. Dechter

Knowledge forgetting: properties and applications 1525–1537

Y. Zhang and Y. Zhou

Vol. 173, No. 18

Articles

Uncertainty modelling for vague concepts: a prototype theory approach 1539–1558

J. Lawry and Y. Tang

The computational complexity of ideal semantics 1559–1591

P. E. Dunne

Reasoning from last conflict(s) in constraint programming 1592–1614

C. Lecoutre, L. Sais, S. Tabary and V. Vidal

Analogical model formulation for transfer learning in AP Physics 1615–1638

M. Klenk and K. D. Forbus

Artificial Life

Vol. 15, No. 1

Artificial Chemistry – Editorial Introduction

Artificial Chemistry 1–3

H. Suzuki and P. Dittrich

Articles

Computing algebraic functions with biochemical reaction networks 5–19

H. J. Buisman, H. M. M. ten Eikelder, P. A. J. Hilbers and A. M. L. Liekens

The organic builder: a public experiment in artificial chemistries and self-replication 21–28

T. J. Hutton

An effective hierarchical model for the biomolecular covalent bond: an approach integrating artificial chemistry and an actual terrestrial life system 29–58

T. Oohashi, O. Ueno, T. Maekawa, N. Kawai, E. Nishina and M. Honda

Shapes and self-movement in protocell systems 59–70

K. Suzuki and T. Ikegami

A topological approach to chemical organizations 71–88

G. Benkö, F. Centler, P. Dittrich, C. Flamm, B. M. R. Stadler and P. F. Stadler

A synthon approach to artificial chemistry 89–103

T. Lenaerts and H. Bersini

Swarm chemistry 105–114

H. Sayama

Modeling biochemical pathways using an artificial chemistry 115–129

K. Tominaga, Y. Suzuki, K. Kobayashi, T. Watanabe, K. Koizumi and K. Kishi

Vol. 15, No. 2

Articles

Heterochrony and artificial embryogeny: a method for analyzing artificial embryogenies based on developmental dynamics 131–160

A. Matos, R. Suzuki and T. Arita

Shape homeostasis in virtual embryos 161–183

T. Andersen, R. Newman and T. Otter

A hypercube-based encoding for evolving large-scale neural networks 185–212

K. O. Stanley, D. B. D’Ambrosio and J. Gauci

Stochastic simulation of the chemoton 213–226

S. Van Segbroeck, A. Nowé and T. Lenaerts

The influence of learning on evolution: a mathematical framework 227–245

I. Paenke, T. J. Kawecki and B. Sendhoff

Book Reviews

Evolution and Learning: The Baldwin Effect Reconsidered. Bruce H. Weber and David J. Depew (Eds.). (2003, MIT Press.) $50 (hardcover), $25 (paper), 351 pp. 247–250

R. Suzuki

Genesis Machines: The New Science of Biocomputing. Martyn Amos (2006, Atlantic Books, London.) xiii+353. GBP19, $30 (hardcover), GBP10 (paper), xiii+353 pp. 251–253

A. Clark

The Art of Artificial Evolution: A Handbook on Evolutionary Art and Music. Juan Romero and Penousal Machado (Eds.), 2007, Springer-Verlag, 458 pp. 255–258

A. C. Eldridge

Vol. 15, No. 3

Articles

A new model for investigating the evolution of transcription control networks 259–291

D. J. Jenkins and D. J. Stekel

Agent-based brain modeling by means of hierarchical cooperative coevolution 293–336

M. Maniadakis and P. E. Trahanias

Ant-based computing 337–349

L. Michael

Ramifying feedback networks, cross-scale interactions, and emergent quasi individuals in conway’s game of life 351–375

N. Mark Gotts

Book Reviews

Information and Self-Organization: A Macroscopic Approach to Complex Systems (3rd enlarged ed.). H. Haken. (2006, Springer.) EUR79.95 (hardcover), ISBN: 978-3-540-33021-9, 262 pp. 377–383

M. Prokopenko

Modeling Biology: Structures, Behaviors, Evolution. Manfred Laubicher and Gerd Müller (Eds.). (2007, MIT Press.) GBP32.95, $50.00, 400 pp. 385–387

R. Wood

Vol. 15, No. 4

Articles

Lifetime learning as a factor in life history evolution 389–409

J. A. Bullinaria

Predictive mesoscale network model of cell fate decisions during C. elegans embryogenesis 411–421

D. A. Winkler, F. R. Burden and J. D. Halley

An individual-based evolving predator-prey ecosystem simulation using a fuzzy cognitive map as the behavior model 423–463

R. Gras, D. Devaurs, A. Wozniak and A. Aspinall

Evolving self-assembly in autonomous homogeneous robots: experiments with two physical robots 465–484

C. Ampatzis, E. Tuci, V. Trianni, A. L. Christensen and M. Dorigo

Book Reviews

Reinventing the Sacred: A New View of Science, Reason, and Religion. Stuart A. Kauffman. (2008, Basic Books.) $27. 485–487

C. Gershenson

Autonomous Robots

Vol. 26, No. 1

Articles

The sensory ego-sphere: a mediating interface between sensors and cognition 1–19

R. A. Peters II, K. A. Hambuchen and R. E. Bodenheimer

Evolved swarming without positioning information: an application in aerial communication relay 21–32

S. Hauert, J.-C. Zufferey and D. Floreano

Classification-based wheel slip detection and detector fusion for mobile robots on outdoor terrain 33–46

K. Iagnemma and C. C. Ward

Asymmetric trajectory generation and impedance control for running of biped robots 47–78

O. Kwon and J. H. Park

Multi-robot deployment and coordination with embedded graph grammars 79–98

B. Smith, A. M. Howard, J.-M. McNew, J. Wang and M. Egerstedt

Vol. 26, Nos. 2–3

Special Issue: Selected Papers from Robotics: Science and Systems 2008

Articles

Guest Editorial: Selected papers from Robotics: Science and Systems 2008 99–101

J. Neira and J. Trinkle

Finding multiple lanes in urban road networks with vision and lidar 103–122

A. S. Huang, D. Moore, M. E. Antone, E. Olson and S. J. Teller

Model based vehicle detection and tracking for autonomous urban driving 123–139

A. Petrovskaya and S. Thrun

Classifying dynamic objects 141–151

M. Luber, K. O. Arras, C. Plagemann and W. Burgard

A generative framework for fast urban labeling using spatial and temporal context 153–170

I. Posner, M. Cummins and P. M. Newman

Clustering sensor data for autonomous terrain identification using time-dependency 171–186

P. Giguère and G. Dudek

Learning gas distribution models using sparse Gaussian process mixtures 187–202

C. Stachniss, C. Plagemann and A. J. Lilienthal

Vol. 26, No. 4

Articles

On the use of likelihood fields to perform sonar scan matching localization 203–222

A. Burguera, Y. G. Cid and G. Oliver

Contact type dependency of texture classification in a whiskered mobile robot 223–239

C. W. Fox, B. Mitchinson, M. J. Pearson, A. G. Pipe and T. J. Prescott

Maneuvering and control of a biomimetic autonomous underwater vehicle 241–249

J. Guo

Data Mining and Knowledge Discovery

Vol. 18, No. 1

Articles

CONTOUR: an efficient algorithm for discovering discriminating subsequences 1–29

J. Wang, Y. Zhang, L. Zhou, G. Karypis and C. C. Aggarwal

Transaction aggregation as a strategy for credit card fraud detection 30–55

C. Whitrow, D. J. Hand, P. Juszczak, D. J. Weston and N. M. Adams

Scalable pattern mining with Bayesian networks as background knowledge 56–100

S. Jaroszewicz, T. Scheffer and D. A. Simovici

FRAPP: a framework for high-accuracy privacy-preserving mining 101–139

S. Agrawal, J. R. Haritsa and B. A. Prakash

Controlled experiments on the web: survey and practical guide 140–181

R. Kohavi, R. Longbotham, D. Sommerfield and R. M. Henne

Vol. 18, No. 2

Articles

Alternative prior assumptions for improving the performance of naïve Bayesian classifiers 183–213

T.-T. Wong

A global optimization method for semi-supervised clustering 214–256

Y. Xia

Using instance-level constraints in agglomerative hierarchical clustering: theoretical and empirical results 257–282

I. Davidson and S. S. Ravi

Active learning for object classification: from exploration to exploitation 283–299

N. Cebron and M. R. Berthold

Sourcerer: mining and searching internet-scale software repositories 300–336

E. Linstead, S. K. Bajracharya, T. C. Ngo, P. Rigor, C. V. Lopes and P. Baldi

Vol. 18, No. 3

Articles

DECODE: a new method for discovering clusters of different densities in spatial data 337–369

T. Pei, A. Jasra, D. J. Hand, A.-X. Zhu and C. Zhou

Harmony K-means algorithm for document clustering 370–391

M. Mahdavi and H. Abolhassani

A divide-and-conquer recursive approach for scaling up instance selection algorithms 392–418

A. de Haro-García and N. García-Pedrajas

A link mining algorithm for earnings forecast and trading 419–445

G. Creamer and S. J. Stolfo

Ethological data mining: an automata-based approach to extract behavioral units and rules 446–471

Y. Kakishita, K. Sasahara, T. Nishino, M. Takahasi and K. Okanoya

Incremental sequence-based frequent query pattern mining from XML queries 472–516

G. Li, J. Feng, J. Wang and L. Zhou

Electronic Commerce Research

Vol. 8, No. 4

Articles

CellTrust: a reputation model for C2C commerce 193–216

G. Lax and G. M. L. Sarnè

An integrative approach to assess qualitative and quantitative consumer feedback 217–234

J. Gerdes, B. B. Stringam and R. G. Brookshire

GreedEx – a scalable clearing mechanism for utility computing 235–253

J. Stößer and D.k Neumann

H-OCSP: a protocol to reduce the processing burden in online certificate status validation 255–273

J. L. Muñoz, O. Esparza, J. Forné and E. Pallarès

Vol. 9, Nos. 1–2

Special Issue: I have an avatar therefore I exist

Articles

Editorial: I have an avatar therefore I exist 1–2

S. Papagiannidis, M. Bourlakis and F. Li

Online gaming: a scoping study of massively multi-player online role playing games 3–26

A. Meredith, Z. Hussain and M. D. Griffiths

The development of VAG – a 3D virtual agribusiness environment and strategy game 27–47

K. P. Bryceson

Beyond e-business models: the road to virtual worlds 49–75

M. R. Cagnina and M. Poian

Virtual item purchase behavior in virtual worlds: an exploratory investigation 77–96

Y. Guo and S. Barnes

Virtual item sales as a revenue model: identifying attributes that drive purchase decisions 97–113

V. Lehdonvirta

If you build it will they come? An empirical investigation of consumer perceptions and strategy in virtual worlds 115–134

L. Goel and S. Prokopec

Retail spatial evolution: paving the way from traditional to metaverse retailing 135–148

M. Bourlakis, S. Papagiannidis and F. Li

Vol. 9, No. 3

Articles

E-auction web assessment model in China 149–172

J. Lu, L.-Z. Wang, C.-S. Yu and J.-Y. Wu

ICT solutions and labor productivity: evidence from firm-level data 173–181

J.-M. Nurmilaakso

A framework for evaluating business lead users’ virtual reality innovations in Second Life 183–202

K. Mackenzie, S. Buckby and H. Irvine

Privacy concern and online personalization: the moderating effects of information control and compensation 203–223

D. G. Taylor, D. F. Davis and R. Jillapalli

An adaptive automated method for identity verification with performance guarantees 225–242

H. Luss, A. L. Neidhardt and K. R. Krishnan

Vol. 9, No. 4,

Special Issue: Topics in e-Technology Research

Articles

Topics in e-technology research 243–244

M. Benyoucef and P. G. Kropf

Pervaho: a specialized middleware for mobile context-aware applications 245–268

P. T. Eugster, B. Garbinato and A. Holzer

Business process management with the user requirements notation 269–316

A. Pourshahid, D. Amyot, L. Peyton, S. Ghanavati, P. Chen, M. Weiss and A. J. Forster

A knowledge-based framework for complex, proactive and service-oriented e-negotiation systems 317–349

G. Koumoutsos and K. Thramboulidis

IT governance challenges in a large not-for-profit healthcare organization: the role of intranets 351–374

C. Wilkin and J. Riddett

Expert Systems with Applications

Vol. 35, Nos. 1–2

Articles

Causal knowledge and reasoning by cognitive maps: Pursuing a holistic approach 2–18

A. P. Ayala, J. H. Sossa Azuela and A. Gutiérrez

Mining stock category association and cluster on Taiwan stock market 19–29

S.-H. Liao, H.-h. Ho and H.-W. Lin

Determination of influential factors and diagnostics using multivariate statistical relationships between variables and faults 30–40

H.-W. Cho, K.-J. Kim and M . K. Jeong

Automatically constructing concept maps based on fuzzy rules for adapting learning systems 41–49

S.-M. Bai and S.-M. Chen

DJIA stock selection assisted by neural network 50–58

T.-S. Quah

Efficient mining of salinity and temperature association rules from ARGO data 59–68

Y.-P. Huang, L.-J. Kao and F. E. Sandnes

On knowledge modelling of the Visual Tracking task 69–81

J. J. Pantrigo, Á. Sánchez and J. Mira

Design of a hybrid system for the diabetes and heart diseases 82–89

H. Kahramanli and N. Allahverdi

The performance comparison of discrete wavelet neural network and discrete wavelet adaptive network based fuzzy inference system for digital modulation recognition 90–101

E. Avci and D. Avci

The Chinese text categorization system with association rule and category priority 102–110

D.-A. Chiang, H.-C. Keh, H.-H. Huang and D. Chyr

Prediction of compressive and tensile strength of limestone via genetic programming 111–123

A. Baykasoglu, H. Güllü, H. Çanakçi and L. Özbakir

On the development of a technology intelligence tool for identifying technology opportunity 124–135

B. Yoon

Multi-objective inventory planning using MOPSO and TOPSIS 136–142

C.-S. Tsou

Power quality disturbance identification using wavelet packet energy entropy and weighted support vector machines 143–149

G.-S. Hu, F.-F. Zhu and Z. Ren

The effects of information technology on knowledge management systems 150–160

S.-M. Tseng

Conflicting treatment model for certainty rule-based knowledge 161–176

C.-J. Huang and M.-Y. Cheng

An empirical study on knowledge integration, technology innovation and experimental practice 177–186

H.-F. Hung, H.-P. Kao and Y.-Y. Chu

Ontology-based knowledge management for joint venture projects 187–197

K.-C. Ku, A. Wensley and H.-P. Kao

Identifying the source of variance shifts in the multivariate process using neural networks and support vector machines 198–206

C.-S. Cheng and H.-P. Cheng

Optimization design of control charts based on minimax decision criterion and fuzzy process shifts 207–213

Y.-K. Chen, H.-H. Chang and F.-R. Chiu

An expert system based on linear discriminant analysis and adaptive neuro-fuzzy inference system to diagnosis heart valve diseases 214–222

A. Sengür

A neuro-fuzzy based forecasting approach for rush order control applications 223–234

W.-P. Wang and Z. Chen

A base function for generating contour traversal paths in stereolithography apparatus applications 235–244

S.-Y. Chou, C.-C. Chou and Y.-K. Chen

Using back-propagation to learn association rules for service personalization 245–253

Y.-P. Huang, W.-P. Chuang, Y.-H. Ke and F. E. Sandnes

A weight-based approach to information retrieval and relevance feedback 254–261

Y.-C. Liao

Two stages of case-based reasoning: integrating genetic algorithm with data mining mechanism 262–272

H.-L. Yang and C.-S. Wang

Dynamic proportion portfolio insurance using genetic programming with principal component analysis 273–278

J.-S. Chen, C.-L. Chang, J.-L. Hou and Y.-T. Lin

An improved centroid classifier for text categorization 279–285

S. Tan

Packet-based context aware system to determine information system user’s context 286–300

H. Kang, E. Suh and K. Yoo

HDWT-based grayscale watermark for copyright protection 301–306

E. Yen and K.-S. Tsai

Wavelet support vector machine for induction machine fault diagnosis based on transient current signal 307–316

A. Widodo and B.-S. Yang

A wearable cardiorespiratory sensor system for analyzing the sleep condition 317–329

S. Choi and Z. Jiang

Resource allocation neural network in portfolio selection 330–337

P-C. Ko and P.-C. Lin

An integrated information system for product design planning 338–349

H.-F. Hung, H.-P. Kao and Y.-S. Juang

Product recommendation approaches: collaborative filtering via customer lifetime value and customer demands 350–360

Y.-Y. Shih and D.-R. Liu

Using backpropagation neural network for face recognition with 2D+3D hybrid information 361–372

T.-H. Sun and F.-C. Tien

Personal financial planning based on fuzzy multiple objective programming 373–378

C.-Y. Chianglin and C.-C. Lin

A DEA window analysis on the product family mix selection for a semiconductor fabricator 379–388

S.-H. Chung, A. H.-I. Lee, H.-Y. Kang and C.-W. Lai

Case-based myopic reinforcement learning for satisfying target service level in supply chain 389–397

I.-H. Kwon, C. O. Kim, J. Jun and J. H. Lee

An ontology-based planning system for e-course generation 398–406

E. Kontopoulos, D. Vrakas, F. Kokkoras, N. Bassiliades and I. P. Vlahavas

Automated anthropometric data collection using 3D whole body scanners 407–414

J.-M. Lu and M.-J. J. Wang

A hybrid wavelet analysis and support vector machines in forecasting development of manufacturing 415–422

X. Guo, L. Sun, G. Li and S. Wang

Personalized information retrieval system in the framework of fuzzy logic 423–433

M. Oussalah, S. Khan and S. Nefti

Cross-organizational knowledge acquisition through flexible hiring and joint R&D: insights from a survey in China 434–441

R. Du and S. Ai

Efficient sanitization of informative association rules 442–450

S.-L. Wang, R. Maskey, A. Jafari and T.-P. Hong

Enhanced prediction of misalignment conditions from spectral data using feature selection and filtering 451–458

H.-W. Cho and M. K. Jeong

CAKES-NEGO: causal knowledge-based expert system for B2B negotiation 459–471

K. C. Lee and S. Kwon

Improving classification performance of sonar targets by applying general regression neural network with PCA 472–475

B. Erkmen and T. Yildirim

Fuzzy logic weighted multi-criteria of dynamic route lifetime for reliable multicast routing in ad hoc networks 476–484

B.-L. Su, M.-S. Wang and Y.-M. Huang

Modeling semiconductor testing job scheduling and dynamic testing machine configuration 485–496

J.-Z. Wu and C.-F. Chien

Separating financial from commercial customer churn: a modeling step towards resolving the conflict between the sales and credit department 497–514

J. Burez and D. Van den Poel

Prediction of pricing and hedging errors for equity linked warrants with Gaussian process models 515–523

G.-S. Han and J. Lee

BioCrawler: An intelligent crawler for the semantic web 524–530

A. Batzios, C. Dimou, A. L. Symeonidis and P. A. Mitkas

Multiclass SVM-RFE for product form feature selection 531–541

M.-D. Shieh and C.-C. Yang

Automatic identification of weather systems from numerical weather prediction data using genetic algorithm 542–555

K. Y. Wong, C. L. Yip and P. W. Li

Image recognition via Bayesian likelihood analysis of wavelet coefficients 556–560

E. Yen and I.-W. Mike Chu

Erratum to “Knowledge management system performance measure index” [Expert Syst. Appl 34 (2008) 734–745] 561

S.-M. Tseng

Erratum to: “A smart access control using an efficient license plate location and recognition approach” [Expert Syst. Appl 34 (1) (2008) 256–265] 562

S. M. Youssef and S. B. AbdelRahman

IEEE Transactions on Evolutionary Computation

Vol. 13, No. 1

Articles

Editorial Special Issue: Computational Finance and Economics 1–2

E. Tsang and P.Isasi

ZIP60: further explorations in the evolutionary design of trader agents and online auction-market mechanisms 3–18

D. Cliff

An agent-based approach to option pricing anomalies 9–32

K. Suzuki, T. Shimokawa and T. Misawa

A heterogeneous, endogenous and coevolutionary GP-based financial market 33–55

S. Martinez-Jaramillo and E. P. K. Tsang

Financial market trading system with a hierarchical coevolutionary fuzzy predictive model 56–70

H. Huang, M. Pasquier and C. Quek

Computational intelligence for evolving trading rules

A. Ghandar, Z. Michalewicz, M. Schmidt and R. Thuy-Duong To Zurbrugg 71–86

Evolving least squares support vector machines for stock market trend mining 87–102

L. Yu, H. Chen, S. Wang and K. K. Lai

A competitive-cooperative coevolutionary paradigm for dynamic multiobjective optimization 103–127

Chi-Keong Goh Kay Chen Tan

Optimization of power allocation for interference cancellation with particle swarm optimization 128–150

K. Zielinski, P. Weitkemper, R. Laur and K.-D. Kammeyer

Effective evolutionary algorithms for many-specifications attainment: application to air traffic control tracking filters 151–168

J. G. Herrero, A. Berlanga and J. M. M. Lopez

Optimization of temporal processes: a model predictive control approach 169–179

A. Zhe Song Kusiak

A method for handling uncertainty in evolutionary optimization with an application to feedback control of combustion 180–19

N. Hansen, A. S. P. Niederberger, L. Guzzella and P. Koumoutsakos

Vol. 13, No. 2

Articles

Lower and upper bounds for linkage discovery 201–216

S.-S. Choi, K. Jung and B.-R. Moon

Associative classification with artificial immune system 217–228

T. D. Do, S. C. Hui, A. C. M. Fong and B. Fong

Multiobjective groundwater management using evolutionary algorithms 229–242

T. Siegfried, S. Bleuler, M. Laumanns, E. Zitzler and W. Kinzelbach

Self-adaptive multimethod search for global optimization in real-parameter spaces 243–259

J. A. Vrugt, B. A. Robinson and J. M. Hyman

Fuzzy-UCS: a Michigan-style learning fuzzy-classifier system for supervised learning 260–283

A. Orriols-Puig, J. Casillas and E. Bernado-Mansilla

Multiobjective optimization problems with complicated pareto sets, MOEA/D and NSGA-II 284–302

H. Li and Q. Zhang

Evolution and incremental learning in the iterated prisoner’s dilemma 303–320

H.-Y. Quek, K. C. Tan, C.-K. Goh and H. A. Abbass

Accelerating self-modeling in cooperative robot teams 321–332

J. C. Bongard

Order of Nonlinearity as a complexity measure for models generated by symbolic regression via Pareto genetic programming 333–349

E. J. Vladislavleva, G. F. Smits and D. den Hertog

Boundary search for constrained numerical optimization problems with an algorithm inspired by the ant colony metaphor 350–368

G. Leguizamon and C. A. C. Coello

Limitations of existing mutation rate heuristics and how a rank ga overcomes them 369–397

J. Cervantes and C. R. Stephens

Differential evolution algorithm with strategy adaptation for global numerical optimization 398–417

A. K. Qin, V. L. Huang and P. N. Suganthan

Interactive evolution of particle systems for computer graphics and animation 418–432

E. J. Hastings, R. K. Guha and K. O. Stanley

An evolutionary squeaky wheel optimization approach to personnel scheduling 433–443

U. Aickelin, E. K. Burke and L. Jingpeng

Evolutionary algorithms for minimax problems in robust design 444–453

A. M. Cramer, S. D. Sudhoff and E. L. Zivi

A genetic algorithm that adaptively mutates and never revisits 454–472

S. Y. Yuen and C. K. Chow

IEEE Congress on Evolutionary Computation 473–473

IEEE Transactions on Autonomous Mental Development call for papers 474–474

Vol. 13, No. 3

Articles

Towards the validation of plagiarism detection tools by means of grammar evolution 477–485

M. Cebrian, M. Alfonseca and A. Ortega

On the bias and performance of the edge-set encoding 486–499

F. Rothlauf

Dynamic evolutionary algorithm with variable relocation 500–513

Y. G. Woldesenbet and G. G. Yen

Constraint handling in multiobjective evolutionary optimization 514–525

Y. G. Woldesenbet, G. G. Yen and B. G. Tessema

Differential evolution using a neighborhood-based mutation operator 526–553

S. Das, A. Abraham, U. K. Chakraborty and A. Konar

Optimal strategies of the iterated prisoner’s dilemma problem for multiple conflicting objectives 554–565

S. Mittal and K. Deb

Search, neutral evolution, and mapping in evolutionary computing: a case study of grammatical evolution 566–590

D. Wilson and D. Kaur

On the effects of adding objectives to plateau functions 591–603

D. Brockhoff, T. Friedrich, N. Hebbinghaus, C. Klein, F. Neumann and E. Zitzler

A probabilistic memetic framework 604–623

Q. H. Nguyen, Y.-S. Ong and M. H. Lim

Arc-guided evolutionary algorithm for the vehicle routing problem with time windows 624–647

P. P. Repoussis, C. D. Tarantilis and G. Ioannou

Genetic team composition and level of selection in the evolution of cooperation 648–660

M. Waibel, L. Keller and D. Floreano

Preserving and exploiting genetic diversity in evolutionary programming algorithms 661–673

G. Chen, C. P. Low and Z. Yang

IEEE Transactions on Knowledge and Data Engineering

Vol. 21, No. 1

Articles

EIC Editorial: introducing the new editor-in-chief and four new associate editors 1–3

X. Wu

New EIC Editorial 4–5

B. C. Ooi

Unsupervised multiway data analysis: a literature survey 6–20

E. Acar and B. Yener

Comparing scores intended for ranking 21–34

N. L. Bhamidipati and S. K. Pal

Online skyline analysis with dynamic preferences on nominal attributes 35–49

R. Chi-Wing Wong, J. Pei, A. Wai-Chee Fu and K. Wang

Self-learning disk scheduling 50–65

Y. Zhang and B. K. Bhargava

Discriminative training of the hidden vector state model for semantic parsing 66–77

D. Zhou and Y. He

Efficient range query processing in peer-to-peer systems 78–91

D. Li, J. Cao, X. Lu and K. Chen

SPOT databases: efficient consistency checking and optimistic selection in probabilistic spatial databases 92–107

A. Parker, G. Infantes, J. Grant and V. S. Subrahmanian

Efficient evaluation of probabilistic advanced spatial queries on existentially uncertain data 108–122

M. L. Yiu, N. Mamoulis, X. Dai, Y. Tao and M. Vaitis

A relation-based page rank algorithm for semantic web search engines 123–136

F. Lamberti, A. Sanna and C. Demartini

CDNs content outsourcing via generalized communities 137–151

D. Katsaros, G. Pallis, K. Stamos, A. Vakali, A. Sidiropoulos and Y. Manolopoulos

Vol. 21, No. 2

Learning image–text associations 161–177

T. Jiang and A.-H. Tan

Decompositional rule extraction from support vector machines by active learning 178–191

D. Martens, B. Baesens and T. Van Gestel

Multiclass MTS for simultaneous feature selection and classification 192–205

C.-T. Su and Y.-H. Hsiao

k-anonymization with minimal loss of information 206–219

A. Gionis and T. Tassa

Cost-based predictive spatiotemporal join 220–233

W.-S. Han, J. Kim, B. S. Lee, Y. Tao, R. Rantzau and V. Markl

BMQ-processor: a high-performance border-crossing event detection framework for large-scale monitoring applications 234–252

J. Lee, S. Kang, Y. Lee, S. J. Lee and J. Song

Privacy-preserving kth element score over vertically partitioned data 253–258

J. Vaidya and C. W. Clifton

Semantic access to multichannel m-services 259–272

X. Yang and A. Bouguettaya

Online scheduling sequential objects with periodicity for dynamic information dissemination 273–286

C.-L. Hu and M.-S. Chen

Storing and indexing spatial data in p2p systems 287–300

V. Kantere, S. Skiadopoulos and T. K. Sellis

Vol. 21, No. 3

Articles

Improving personalization solutions through optimal segmentation of customer bases 305–320

T. Jiang and A. Tuzhilin

Effective and efficient query processing for video subsequence identification 321–334

H. Tao Shen, J. Shao, Z. Huang and X. Zhou

Automatically determining the number of clusters in unlabeled data sets 335–350

L. Wang, C. Leckie, K. Ramamohanarao and J. C. Bezdek

Efficient processing of metric skyline queries 351–365

L. Chen and X. Lian

On the effect of location uncertainty in spatial querying 366–383

E. Frentzos, K. Gratsias and Y. Theodoridis

Distributed skyline retrieval with low bandwidth consumption 384–400

L. Zhu, Y. Tao and S. Zhou

semQA: SPARQL with idempotent disjunction 401–414

E. Patrick Shironoshita, Y. R. Jean-Mary, R. M. Bradley and M. R. Kabuka

Detecting, assessing and monitoring relevant topics in virtual information environments 415–427

J. Ontrup, H. Ritter, S. W. Scholz and R. Wagner

Distributional features for text categorization 428–442

X.-B. Xue and Z.-H. Zhou

The development of fuzzy rough sets with the use of structures and algebras of axiomatic fuzzy sets 443–462

X. Liu, W. Pedrycz, T. Chai and M. Song

Vol. 21, No. 4

Articles

A generic local algorithm for mining data streams in large distributed systems 465–478

R. Wolff, K. Bhaduri and H. Kargupta

Compression and aggregation for logistic regression analysis in data cubes 479–492

R. Xi, N. Lin and Y. Chen

IMine: index support for item set mining 493–506

E. Baralis, T. Cerquitelli and S. Chiusano

Mining projected clusters in high-dimensional spaces 507–522

M. Bouguessa and S. Wang

On the design and applicability of distance functions in high-dimensional data space 523–536

C.-M. Hsu and M.-S. Chen

A pure nash equilibrium-based game theoretical method for data replication across multiple servers 537–553

S. U. Khan and I. Ahmad

Optimal lot sizing policies for sequential online auctions 554–567

A. K. Tripathi, S. K. Nair and G. G. Karuga

Multiscale representations for fast pattern matching in stream time series 568–581

X. Lian, L. Chen, J. X. Yu, J. Han and J. Ma

Progressive parametric query optimization 582–594

P. Bizarro, N. Bruno and D. J. DeWitt

Histogram-based global load balancing in structured peer-to-peer systems 595–608

Q. Hieu Vu, B. Chin Ooi, M. Rinard and K.-L. Tan

Vol. 21, No. 5

Articles

A survey of uncertain data algorithms and applications 609–623

C. C. Aggarwal and P. S. Yu

Adapted one-versus-all decision trees for data stream classification 624–637

S. Hashemi, Y. Yang, Z. Mirzamomen and M. Reza Kangavari

Bayes vector quantizer for class-imbalance problem 638–651

C. Diamantini and D. Potena

Catching the trend: a framework for clustering concept-drifting categorical data 652–665

H.-L. Chen, M.-S. Chen and S.-C. Lin

GridVideo: a practical example of nonscientific application on the grid 666–680

D. Bruneo, G. Iellamo, G. Minutoli and A. Puliafito

Hierarchically distributed peer-to-peer document clustering and cluster summarization 681–698

K. M. Hammouda and M. S. Kamel

Exact knowledge hiding through database extension 699–713

A. Gkoulalas-Divanis and V. S. Verykios

GLIP: a concurrency control protocol for clipping indexing 714–728

C.-T. Lu, J. Dai, Y. Jin and J. Mathuria

Fast query point movement techniques for large cbir systems 729–743

D. Liu, K. A. Hua, K. Vu and N. Yu

Schema vacuuming in temporal databases 744–747

J. F. Roddick

The subgraph similarity problem 748–749

L. De Nardo, F. Ranzato and F. Tapparo

Vol. 21, No. 6

EIC Editorial 753–755

B. C. Ooi

Articles

Guest Editors’ Introduction: Knowledge and data engineering for E-learning 756–758

Q. Li, R. W. H. Lau, D. McLeod and J. Liu

Clustering and sequential pattern mining of online collaborative learning data 759–772

D. Perera, J. Kay, I. Koprinska, K. Yacef and O. R. Zaïane

Monitoring online tests through data visualization 773–784

G. Costagliola, V. Fuccella, M. Giordano and G. Polese

Communities and emerging semantics in semantic link network: discovery and learning 785–799

H. Zhuge

Toward a fuzzy domain ontology extraction method for adaptive e-learning 800–813

R. Y. K. Lau, D. Song, Y. Li, T. C. H. Cheung and J.-X. Hao

Open smart classroom: extensible and scalable learning system in smart space using web service technology 814–828

Y. Suo, N. Miyata, H. Morikawa, T. Ishida and Y. Shi

NNexus: an automatic linker for collaborative web-based corpora 829–839

J. J. Gardner, A. Krowne and L. Xiong

Effective collaboration with information sharing in virtual universities 840–853

H. Wang, Y. Zhang and J. Cao

Interactive correction and recommendation for computer language learning and training 854–866

C. Pahl and C. Kenny

Subontology-based resource management for web-based e-learning 867–880

Z. Wu, Y. Mao and H. Chen

Enhancing learning objects with an ontology-based memory 881–893

A. Zouaq and R. Nkambou

Providing flexible process support to project-centered learning 894–909

S. Ceri, F. Daniel, M. Matera and A. Raffio

Learning in an ambient intelligent world: Enabling Technologies and Practices 910–924

X. Li, L. Feng, L. Zhou and Y. Shi

An implementation of the CORDRA architecture enhanced for systematic reuse of learning objects 925–938

F. H. Lin, T. K. Shih and W. Kim

On the expressive power of the relational algebra on finite sets of relation pairs 939–942

G. H. L. Fletcher, M. Gyssens, J. Paredaens and D. Van Gucht

IEEE Transactions on Neural Networks

Vol. 20, No. 1

Articles

A correlation-test-based validation procedure for identified neural networks 1–13

L. F. Zhang, Q. M. Zhu and A. Longden

Novel multiclass classifiers based on the minimization of the within-class variance 14–34

I. Kotsia, I. Pitas and S. Zafeiriou

Robust label propagation on multiple networks 35–44

T. Kato, H. Kashima and M. Sugiyama

A recurrent neural-network-based sensor and actuator fault detection and isolation for nonlinear systems with application to the satellite’s attitude control subsystem 45–60

H. A. Talebi, K. Khorasani and S. Tafazoli

The graph neural network model 61–80

F. Scarselli, M. Gori, A. C. Tsoi, M. Hagenbuchner and G. Monfardini

Computational capabilities of graph neural networks 81–102

F. Scarselli, M. Gori, A. C. Tsoi, M. Hagenbuchner and G. Monfardini

Uncorrelated multilinear discriminant analysis with regularization and aggregation for tensor object recognition 103–123

H. Lu, K. N. Plataniotis and A. N. Venetsanopoulos

On objective function, regularizer, and prediction error of a learning algorithm for dealing with multiplicative weight noise 124–138

J. P. F. Sum, C.-S. Leung and K. I.-J. Ho

Fourier-neural-network-based learning control for a class of nonlinear systems with flexible components 139–151

W. Zuo, Y. Zhu and L. Cai

Learn++.NC: combining ensemble of classifiers with dynamically weighted consult-and-vote for efficient incremental learning of new classes 152–168

M. D. Muhlbaier, A. Topalis and R. Polikar

Robust stability of Cohen-Grossberg neural networks via state transmission matrix 169–174

Z. Wang, H. Zhang and W. Yu

Analysis of continuous attractors for 2-d linear threshold neural networks 175–180

L. Zou, H. Tang, K. C. Tan and W. Zhang

Lattice dynamical wavelet neural networks implemented using particle swarm optimization for spatio-temporal system identification 181–185

H.-L. Wei, S. A. Billings, Y. Zhao and L. Guo

Vol. 20, No. 2

Articles

Normalized mutual information feature selection 189–201

P. A. Estévez, M. Tesmer, C. A. Perez and J. M. Zurada

Learning anticipation via spiking networks: application to navigation control 202–216

P. Arena, L. Fortuna, M. Frasca and L. Patané

Discriminant nonnegative tensor factorization algorithms 217–235

S. Zafeiriou

Adaptive neural network tracking control with disturbance attenuation for multiple-input nonlinear systems 236–247

A. K. Kostarigka and G. A. Rovithakis

ICA color space for pattern recognition 248–257

C. Liu and J. Yang

Constructing ensembles of classifiers by means of weighted instance selection 258–277

N. García-Pedrajas

Learning without human expertise: a case study of the double dummy bridge problem 278–299

K. Mossakowski and J. Mandziuk

Nonlinear dimensionality reduction by locally linear inlaying 300–315

Y. Hou, P. Zhang, X. Xu, X. Zhang and W. Li

Recognition of abstract objects via neural oscillators: interaction among topological organization, associative memory and gamma band synchronization 316–335

M. Ursino, E. Magosso and C. Cuppini

Sampled-data adaptive NN tracking control ofuncertainnonlinear systems 336–355

H. E. Psillakis

Robust neural network motion tracking control of piezoelectric actuation systems for micro/nanomanipulation 356–367

H. C. Liaw, B. Shirinzadeh and J. Smith

Representations of continuous attractors of recurrent neural networks 368–372

J. Yu, Z. Yi and L. Zhang

Vol. 20, No. 3

Articles

A new projection-based neural network for constrained variational inequalities 373–388

X.-B. Gao and L.-Z. Liao

Analysis of survival data having time-dependent covariates 389–394

M. Tsujitani and M. Sakon

Kernel-matching pursuits with arbitrary loss functions 395–405

J. R. Stack, G. J. Dobeck, X. Liao and L. Carin

Multiobjective algebraic synthesis of neural control systems by implicit model following 406–419

S. Ferrari

Adaptive statistic tracking control based on two-step neural networks with time delays 420–429

Y. Yi, L. Guo and H. Wang

A multitask learning model for online pattern recognition 430–445

S. Ozawa, A. Roy and D. Roussinov

A self-organized, distributed, and adaptive rule-based induction system 446–459

P. Rojanavasu, H. H. Dam, H. A. Abbass, C. Lokan and O. Pinngern

Comparison between analog and digital neural network implementations for range-finding applications 460–470

L. Gatet, H. Tap-Béteille and F. Bony

An ILC-based adaptive control for general stochastic systems with strictly decreasing entropy 471–482

P. G.i Afshar, H. Wang and T. Chai

Adaptive neural network tracking control of mimo nonlinear systems with unknown dead zones and control directions 483–497

T. Zhang and S. S. Ge

Neural network for graphs: a contextual constructive approach 498–511

A. Micheli

Input–state approach to Boolean networks 512–521

D. Cheng

Finding features for real-time premature ventricular contraction detection using a fuzzy neural network system 522–527

J. S. Lim

Fairness Guarantees in a neural network adaptive congestion control framework 527–533

C. N. Houmkozlis and G. A. Rovithakis

New Lyapunov-Krasovskii functionals for global asymptotic stability of delayed neural networks 533–539

X.-M. Zhang and Q.-L. Han

Comments on “Backpropagation Algorithms for a Broad Class of Dynamic Networks” 540–541

C. Endisch, P. Stolze, C. Hackl and D. Schröder

Semi-supervised learning by Olivier Chapelle, Bernhard Schölkopf, and Alexander Zien (Review) 542

P. Thomas

Challenges for computational intelligence 542–543

W. Duch and J. Mandziuk

Random signals and systems 543–545

B. Pincibono

Dynamic speech models – theory, algorithms, and applications 545–546

L. Deng

Corrigendum to “Stability Analysis and the Stabilization of a Class of Discrete-Time Dynamic Neural Networks” 547–548

K. Patan and M. Patan

IEEE Transactions on Pattern Analysis and Machine Intelligence

Vol. 31, No. 1

Introduction of New Editor-in-Chief 1–2

D. J. Kriegman

Editorial 3–4

R. Zabih

Articles

Self-calibration of turntable sequences from silhouettes 5–14

H. Zhang and K.-Y. Kenneth Wong

Curve parametrization by moments 15–26

I. Popovici and W. Douglas Withers

Human pose tracking in monocular sequence using multilevel structured models 27–38

M. W. Lee and R. Nevatia

A survey of affect recognition methods: audio, visual, and spontaneous expressions 39–58

Z. Zeng, M. Pantic, G. I. Roisman and T. S. Huang

Bottom-up/top-down image parsing with attribute grammar 59–73

F. Han and S. C. Zhu

Bayesian clustering of fuzzy feature vectors using a quasi-likelihood approach 74–85

P. Marttinen, J. Tang, B. De Baets, P. Dawyndt and J. Corander

Incremental isometric embedding of high-dimensional data using connected neighborhood graphs 86–98

D. Zhao and L. Yang

Registration with uncertainties and statistical modeling of shapes with variable metric kernels 99–113

M. Taron, N. Paragios and M.-P. Jolly

Unsupervised learning of probabilistic grammar-Markov models for object categories 114–128

L. Zhu, Y. Chen and A. L. Yuille

Full-search-equivalent pattern matching with incremental dissimilarity approximations 129–141

F. Tombari, S. Mattoccia and L. di Stefano

Texture analysis and segmentation using modulation features, generative models, and weighted curve evolution 142–157

I. Kokkinos, G. Evangelopoulos and P. Maragos

Human motion tracking by registering an articulated surface to 3d points and normals 158–163

R. Horaud, M. Niskanen, G. Dewaele and E. Boyer

Tracking by affine kernel transformations using color and boundary cues 164–171

I. Leichter, M. Lindenbaum and E. Rivlin

Efficient recognition of highly similar 3d objects in range images 172–179

H. Chen and B. Bhanu

2D Shape matching by contour flexibility 180–186

C. Xu, J. Liu and X. Tang

Vol. 31, No. 2

Articles

Offline loop investigation for handwriting analysis 193–209

T. Steinherz, D. S. Doermann, E. Rivlin and N. Intrator

Robust face recognition via sparse representation 210–227

J. Wright, A. Y. Yang, A. Ganesh, S. S. Sastry and Y. Ma

Natural image statistics and low-complexity feature selection 228–244

M. Vasconcelos and N. Vasconcelos

An analysis of ensemble pruning techniques based on ordered aggregation 245–259

G. Martínez-Muñoz, D. Hernández-Lobato and A. Suárez

Geometric mean for subspace selection 260–274

D. Tao, X. Li, X. Wu and S. J. Maybank

Semisupervised learning of hidden markov models via a homotopy method 275–287

S. Ji, L. T. Watson and L. Carin

Outlier detection with the kernelized spatial depth function 288–305

Y. Chen, X. Dang, H. Peng and H. L. Bart Jr

Time warp edit distance with stiffness adjustment for time series matching 306–318

P.-F. Marteau

Framework for performance evaluation of face, text, and vehicle detection and tracking in video: data, metrics, and protocol 319–336

R. Kasturi, D. B. Goldgof, P. Soundararajan, V. Manohar, J. S. Garofolo, R. Bowers, M. Boonstra, V. N. Korzhova and J. Zhang

Information geometry for landmark shape analysis: unifying shape representation and deformation 337–350

A. M. Peter and A. Rangarajan

Principal angles separate subject illumination spaces in YDB and CMU–PIE 351–363

J. R. Beveridge, B. A. Draper, J.-M. Chang, M. Kirby, H. Kley and C. Peterson

High-precision boundary length estimation by utilizing Gray-level information 357–363

N. Sladoje and J. Lindblad

Statistical instance-based pruning in ensembles of independent classifiers 364–369

D. Hernández-Lobato, G. Martínez-Muñoz and A. Suárez

Camera displacement via constrained minimization of the algebraic error 370–375

G. Chesi

High-accuracy and robust localization of large control markers for geometric camera calibration 376–383

D. Douxchamps and K. Chihara

Vol. 31, No. 3

Articles

Active polarization descattering 385–399

T. Treibitz and Y. Y. Schechner

An adaptable-multilayer fractional fourier transform approach for image registration 400–414

W. Pan, K. Qin and Y. Chen

Efficient polyhedral modeling from silhouettes 414–427

J.-S. Franco and E. Boyer

Fractional stereo matching using expectation-maximization 428–443

W. Xiong, H.-S. Chung and J. Jia

Handwritten numeral databases of Indian scripts and multistage recognition of mixed numerals 444–457

U. Bhattacharya and B. B. Chaudhuri

A perceptually inspired variational framework for color enhancement 458–474

R. P. Amestoy, E. Provenzi, M. Bertalmío and V. Caselles

Probability density estimation using isocontours and isosurfaces: applications to information-theoretic image registration 475–491

A. Rajwade, A. Banerjee and A. Rangarajan

Stereo matching with color-weighted correlation, hierarchical belief propagation, and occlusion handling 492–504

Q. Yang, L. Wang, R. Yang, H. Stewénius and D. Nistér

Tracking multiple occluding people by localizing on multiple scene planes 505–519

S. M. Khan and M. Shah

Tracking people on a torus 520–538

A. M. Elgammal and C.-S. Lee

Unsupervised activity perception in crowded and complicated scenes using hierarchical bayesian models 539–555

X. Wang, X. Ma and W. E. L. Grimson

A new algorithm for 3d reconstruction from support functions 556–562

R. J. Gardner and M. Kiderlen

Hypergraph-based anomaly detection of high-dimensional co-occurrences 563–569

J. Silva and R. Willett

Classification-based probabilistic modeling of texture transition for fast line search tracking and delineation 570–576

A. Shahrokni, T. Drummond, F. Fleuret and P. Fua

Vol. 31, No. 4

Articles

A closed-form expression of the positional uncertainty for 3D point clouds 577–590

K.-H. Bae, D. Belton and D. D. Lichti

Efficient visual search of videos cast as text retrieval 591–606

J. Sivic and A. Zisserman

Head pose estimation in computer vision: a survey 607–626

E. Murphy-Chutorian and M. M. Trivedi

Improving zernike moments comparison for optimal similarity and rotation angle retrieval 627–636

J. Revaud, G. Lavoué and A. Baskurt

New characterizations of simple points in 2D, 3D, and 4D discrete spaces 637–648

M. Couprie and G. Bertrand

Robust wavelet-based super-resolution reconstruction: theory and algorithm 649–660

H. Ji and C. Fermüller

Segmentation according to natural examples: learning static segmentation from motion segmentation 661–676

M. G. Ross and L. P. Kaelbling

Tracking by an Optimal sequence of linear predictors 677–692

K. Zimmermann, J. Matas and T. Svoboda

Modeling multiscale subbands of photographic images with fields of Gaussian scale mixtures 693–706

S. Lyu and E. P. Simoncelli

Multilevel training of binary morphological operators 707–720

N. S. T. Hirata

Supervised and traditional term weighting methods for automatic text categorization 721–735

M. Lan, C. L. Tan, J. Su and Y. Lu

An edit-distance model for the approximate matching of timed strings 736–741

S. Dobrisek, J. Zibert, N. Pavesic and F. Mihelic

On the spatial distribution of fingerprint singularities 742–448

R. Cappelli and D. Maltoni

Bayesian Nonlinear principal component analysis using random fields 749–754

H. Lian

Nonparametric discriminant analysis for face recognition 755–761

Z. Li, D. Lin and X. Tang

Comment: projection methods require black border removal 762

G. Nagy, S. C. Seth and M. Viswanathan

Response to “Projection Methods Require Black Border Removal” 763–764

F. Shafait, D. Keysers and T. M. Breuel

Vol. 31, No. 5

Articles

Approximate matching of digital point sets using a novel angular tree 769–782

P. Bhowmick, R. K. Pradhan and B. B. Bhattacharya

Branch-and-bound methods for euclidean registration problems 783–794

C. Olsson, F. Kahl and M. Oskarsson

Distribution-based dimensionality reduction applied to articulated motion recognition 795–810

S. Nayak, S. Sarkar and B. L. Loeding

Image transformations and blurring 811–823

J. Domke and Y. Aloimonos

Make 3D: learning 3D scene structure from a single still image 824–840

A. Saxena, M. Sun and A. Y. Ng

Low-rank matrix fitting based on subspace perturbation analysis with applications to structure from motion 841–854

H. Jia and A. M. Martínez

A novel connectionist system for unconstrained handwriting recognition 855–868

A. Graves, M. Liwicki, S. Fernandez, R. Bertolami, H. Bunke and J. Schmidhuber

NV-Tree: an efficient disk-based index for approximate search in very large high-dimensional collections 869–883

H. Lejsek, F . H. Ásmundsson, B. Þ. Jónsson and L. Amsaleg

Robust estimation of albedo for illumination-invariant matching and shape recovery 884–899

S. Biswas, G. Aggarwal and R. Chellappa

Transitions of the 3D medial axis under a one-parameter family of deformations 900–918

P. J. Giblin, B. B. Kimia and A. J. Pollitt

Visual tracking by continuous density propagation in sequential bayesian filtering framework 919–930

B. Han, Y. Zhu, D. Comaniciu and L. S. Davis

Asymmetric principal component and discriminant analyses for pattern classification

X. Jiang

Estimating 3D positions and velocities of projectiles from monocular views 938–944

E. Ribnick, S. Atev and N. P. Papanikolopoulos

Skeletal shape abstraction from examples 944–952

M. F. Demirci, A. Shokoufandeh and S. J. Dickinson

Simultaneous localized feature selection and model detection for Gaussian mixtures. 953–960

Y. Li, M. Dong and J. Hua

Vol. 31, No. 6

Articles

Introduction of new associate editors 961–963

R. Zabih, Z. Ghahramani and J. Matas

Consistent depth maps recovery from a video sequence 974–988

G. Zhang, J. Jia, T.-T. Wong and H. Bao

Discriminant saliency, the detection of suspicious coincidences, and applications to visual recognition 989–1005

D. Gao, S. Han and N. Vasconcelos

Exact geodesics and shortest paths on polyhedral surfaces 1006–1016

M. Balasubramanian, J. Polimeni and E. L. Schwartz

Kernel discriminant analysis for positive definite and indefinite kernels 1017–1032

E. Pekalska and B. Haasdonk

Latent palmprint matching 1032–1047

A. K. Jain and J. Feng

Learning graph matching 1048–1058

T. S. Caetano, J. J. McAuley, L. Cheng, Q. V. Le and A. J. Smola

Online signature verification and recognition: an approach based on symbolic representation 1059–1073

D. S. Guru and H. N. Prakash

Semisupervised multitask learning 1074–1086

Q. Liu, X. Liao, H. Li, J. R. Stack and L. Carin

A statistical framework for image category search from a mental picture 1087–1101

M. Ferecatu and D. Geman

Tensor-based AAM with continuous variation estimation: application to variation-robust face recognition 1102–1116

H.-S. Lee and D. Kim

3D model retrieval using probability density-based shape descriptors 1117–1133

C. B. Akgül, B. Sankur, Y. Yemez and F. Schmitt

Staff detection with stable paths 1134–1139

J. dos Santos Cardoso, A. Capela, A. Rebelo, C. Guedes and J. Pinto da Costa

Geometry-based ensembles: toward a structural characterization of the classification boundary 1140–1146

O. Pujol and D. Masip

Very fast best-fit circular and elliptical boundaries by chord data 1147–1152

D. S. Barwick

International Journal of Computer Vision

Vol. 79, No. 1

Articles

Keypoint detection and local feature matching for textured 3d face recognition 1–12

A. S. Mian, M. Bennamoun and R. A. Owens

Color subspaces as photometric invariants 13–30

T. Zickler, S. P. Mallick, D. J. Kriegman and P. N. Belhumeur

From inpainting to active contours 31–43

F. Lauze and M. Nielsen

Local adaptivity to variable smoothness for exemplar-based image regularization and representation 45–69

C. Kervrann and J. Boulanger

Dynamic shape and appearance modeling via moving and deforming layers 71–84

J. D. Jackson, A. J. Yezzi and S. Soatto

Multiframe motion segmentation with missing data using power factorization and GPCA 85–105

R. Vidal, R. Tron and R. Hartley

Vol. 79, No. 2

Articles

Active contours under topology control – genus preserving level sets 107–117

F. Ségonne

Regularized reconstruction of shapes with statistical a priori knowledge 119–135

M. Fuchs and O. Scherzer

Inter-image statistics for 3D environment modeling 137–158

L. Abril Torres-Méndez and G. Dudek

A model-selection framework for multibody structure-and-motion of image sequences 159–177

K. Schindler, D. Suter and H. Wang

A light scattering model for layered dielectrics with rough surface boundaries 179–207

H. Ragheb and E. R. Hancock

Detecting and handling unreliable points for camera parameter estimation 209–223

Y. Wu, Y. Li and Z. Hu

Vol. 79, No. 3

Articles

Evaluation of face datasets as tools for assessing the performance of face recognition methods 225–230

L. Shamir

Shape-based mutual segmentation 231–245

T. Riklin-Raviv, N. A. Sochen and N. Kiryati

Human motion tracking with a kinematic parameterization of extremal contours 247–269

D. Knossow, R. Ronfard and R. Horaud

Practical global optimization for multiview geometry 271–284

F. Kahl, S. Agarwal, M. Krishna Chandraker, D. J. Kriegman and S. Belongie

Simultaneous segmentation and pose estimation of humans using dynamic graph cuts 285–298

P. Kohli, J. Rihan, M. Bray and P. H. S. Torr

Unsupervised learning of human action categories using spatial-temporal words 299–318

J. Carlos Niebles, H. Wang and F.-F. Li

Vol. 80, No. 1

Special Section: Best of CVPR 2006

Editorial 1–2

A. W. Fitzgibbon, C. J. Taylor and Y. LeCun

Articles

Putting objects in perspective 3–15

D. Hoiem, A. A. Efros and M. Hebert

Learning an alphabet of shape and appearance for multi-class object detection 16–44

A. Opelt, A. Pinz and A. Zisserman

Object Class recognition and localization using sparse features with limited receptive fields 45–57

J. Mutch and D. G. Lowe

A viewpoint invariant, sparsely registered, patch based, face verifier 58–71

S. Lucey and T. Chen

Particle video: long-range motion estimation using point trajectories 72–91

P. Sand and S. J. Teller

Performance modeling and algorithm characterization for robust image segmentation 92–103

S. Shah

A unified curvature definition for regular, polygonal, and digital planar curves 104–124

H. Liu, L. J. Latecki and W. Liu

Optimization Algorithms on subspaces: revisiting missing data problem in low-rank matrix 125–142

P. Chen

Perceptual scale-space and its applications 143–165

Y. Wang and S. Chun Zhu

Partial linear gaussian models for tracking in image sequences using sequential Monte Carlo methods 166

E. Arnaud and É. Mémin

Vol. 80, No. 2

Special Section: Celebrating 20 Years of IJCV

Articles

Statistical optimization for geometric fitting: theoretical accuracy bound and high order error analysis 167–188

K. Kanatani

Modeling the world from internet photo collections 189–210

N. Snavely, S. M. Seitz and R. Szeliski

Initialization of model-based vehicle tracking in video sequences of inner-city intersections 211–225

A. Ottlik and H.-H. Nagel

Shape from specular reflection and optical flow 226–241

J. Lellmann, J. Balzer, A. Rieder and J. Beyerer

Motion and appearance nonparametric joint entropy for video segmentation 242–259

S. Boltz, A. Herbulot, E. Debreuve, M. Barlaud and G. Aubert

Pose robust face tracking by combining active appearance models and cylinder head models 260–274

J. Sung, T. Kanade and D. Kim

Guided sampling via weak motion models and outlier sample generation for epipolar geometry estimation 275–288

L. Goshen and I. Shimshoni

Vol. 80, No. 3

Articles

Variational segmentation of image sequences using region-based active contours and deformable shape priors 289–299

K. Fundana, N. C. Overgaard and A. Heyden

Multi-class segmentation with relative location prior 300–316

S. Gould, J. Rodgers, D. Cohen, G. Elidan and D. Koller

Large deformation diffeomorphic metric curve mapping 317–336

J. Glaunes, A. Qiu, M. I. Miller and L. Younes

Searching for complex human activities with no visual examples 337–357

N. Ikizler and D. A. Forsyth

Translated poisson mixture model for stratification learning 358–374

G. Haro, G. Randall and G. Sapiro

Building blocks for computer vision with stochastic partial differential equations 375–405

T. Preusser, H. Scharr, K. Krajsek and R. M. Kirby

Limits of learning-based superresolution algorithms 406–420

Z. Lin, J. He, X. Tang and C.-K. Tang

International Journal of Intelligent Systems

Vol. 24, No. 1

Articles

Decision science: foundations and applications introduction to the Special Issue 1–3

H. T. Nguyen and V. Kreinovich

Towards a general and unified characterization of individual and collective choice functions under fuzzy and nonfuzzy preferences and majority via the ordered weighted average operators 4–26

J. Kacprzyk and S. Zadrozny

Decision making beyond Arrow’s “impossibility theorem, “ with the analysis of effects of collusion and mutual attraction 27–47

H. T. Nguyen, O. Kosheleva and V. Kreinovich

From fuzzy sets to shadowed sets: Interpretation and computing 48–61

W. Pedrycz

Some general comments on fuzzy sets of type-2 62–75

C. L. Walker and E. A. Walker

Belief functions on lattices 76–95

M. Grabisch

Vol. 24, No. 2

Articles

Extensions of fuzzy measures and Sugeno integral for possibilistic truth values 97–117

A. Bronselaer, A. Hallez and G. De Tré

Application of a niched Pareto genetic algorithm for selecting features for nuclear transients classification 118–151

P. Baraldi, N. Pedroni and E. Zio

Fuzzy harmonic mean operators 152–172

Z. Xu

Sharing in teams of heterogeneous, collaborative learning agents 173–200

C. M. Gifford and A. Agah

Group decision making with incomplete fuzzy linguistic preference relations 201–222

S. Alonso, F. J. Cabrerizo, F. Chiclana, F. Herrera and E. Herrera-Viedma

Vol. 24, No. 3

Editorial

Dealing with uncertainty and fuzziness in intelligent systems 223–225

G. Chen, M. Ying and Y. Liu

Articles

Learning weighted linguistic rules to control an autonomous robot 226–251

M. Mucientes, R. Alcalá, J. Alcalá-Fdez and J. Casillas

Fuzzy scheduling strategy for generalized switched server systems and its robustness over system heterogeneity 252–271

X. Wang and D.-Z. Zheng

Kernel approach to possibilistic C-means clustering 272–292

F. Chung-Hoon Rhee, K.-S. Choi and B.-I. Choi

Mapping with words: a new approach to automated digital soil survey 293–311

J. Liu and A.-X. Zhu

Fuzzy rule extraction by bacterial memetic algorithms 312–339

J. Botzheim, C. Cabrita, L. T. Kóczy and A. E. B. Ruano

Information retrieval with FROM: the fuzzy relational ontological model 340–356

R. Pereira, I. Ricarte and F. Gomide

A new cognitive model: Cloud model 357–375

D. Li, C. Liu and W. Gan

Vol. 24, No. 4

Articles

A general unified framework for pairwise comparison matrices in multicriterial methods 377–398

B. Cavallo and L. D’Apuzzo

Intuitionistic fuzzy sets: spherical representation and distances 399–420

Y. Yang and F. Chiclana

A novel global optimization technique for high dimensional functions 421–440

C. Grosan and A. Abraham

A kernel-based core growing clustering method 441–458

T. W. Hsieh, J.-S. Taur, C.-W. Tao and S. Y. Kung

Representation of interrelationships among binary variables under Dempster-Shafer theory of belief functions 459–475

R. P. Srivastava, L. Gao and P. R. Gillett

Vol. 24, No. 5

Articles

Determining semantic relatedness through the measurement of discrimination information using Jensen difference 477–503

D. Cai

Clustering in ordered dissimilarity data 504–528

T. C. Havens, J. C. Bezdek, J. M. Keller and M. Popescu

k-sample median test for vague data 529–539

P. Grzegorzewski

Hybrid crossover operators with multiple descendents for real-coded genetic algorithms: combining neighborhood-based crossover operators 540–567

A. M. Sánchez, M. Lozano, P. Villar and F. Herrera

Vol. 24, No. 6

Introduction

International journal of intelligent systems: Special Issue on “fuzzy bags, cardinality, and quantification” 569–571

M. Delgado, D. Sánchez and M . A. V. Miranda

Research Articles

Fuzzy quantification in two real scenarios: information retrieval and mobile robotics 572–586

F. Díaz-Hermida, A. Bugarín, P. Cariñena, M. Mucientes and D. E. Losada

Scalar and fuzzy cardinalities of crisp and fuzzy multisets 587–623

J. Casasnovas and F. Rosselló

Generalized fuzzy quantifiers and the modeling of fuzzy branching quantification 624–648

I. Glöckner

Crisp bags, one-dimensional fuzzy bags, multidimensional fuzzy bags: comparing successful and unsuccessful user’s Web behavior 649–676

G. V. Meghabghab

The set of fuzzy relative integers and fuzzy bags 677–696

D. Rocacher and P. Bosc

On nonstrict Archimedean triangular norms, hamming distances, and cardinalities of fuzzy sets 697–705

M. Wygralak

An extended characterization of fuzzy bags 706–721

M. Delgado, M. J. Martín-Bautista, D. Sánchez and M. Amparo Vila Miranda

International Journal of Software Engineering and Knowledge Engineering

Vol. 19, No. 1

Articles

Evolving more representative programs with genetic programming 1–22

D. McGaughran and M. Zhang

User interface prototype generation technique supporting usage-centered design 23–46

C.-M. Lee and Y.-W. Kim

Procedures and algorithms for continuous integration in an agile specification environment 47–78

M. L. Nores, J. J. P. Arias, J. G. Duque, Y. Blanco-Fernández, R. P. D. Redondo, A. F. Vilas, A. Gil-Solla and M. R. Cabrer

A novel approach of requirement gathering and analysis for agent oriented software engineering (AOSE) 79–111

P. Ranjan and A. K. Misra

Change management and software reuse supportive ‘genetic information system development and maintenance’ model 113–136

S. Manchanda, S. B. Singh and M. Dave

Vol. 19, No. 2

Articles

Master: an intelligent ontology-based multi-agent system for sightseer 137–157

T. H. W. Lam, J. N. K. Liu and R. S. T. Lee

Design of decoupled clinical decision support for service-oriented architectures 159–183

J. H. Weber-Jahnke

Modeling and analysis of knowledge flows in software processes through the extension of the software process engineering metamodel 185–211

O. M. Rodríguez-Elias, A. I. Martínez-Garcia, A. Vizcaíno, J. Favela and M. Piattini

A proposed architecture for self-adaptive expert systems 213–248

T.-T. Chen and C.-S. Ho

Methodology for data conversion from xml documents to relations using extensible stylesheet language transformation 249–281

J. Fong, H. Shiu and J. Wong

A framework for tool-based software architecture reconstruction 283–305

S. Kang, S. Lee and D. Lee

Vol. 19, No. 3

Articles

Framework for data quality assurance between composite services 307–337

J.-W. Lee and B. Choi

An inference-enabled access control model for RDF ontology 339–360

Y. Jing, D. Jeong and D.-K. Baik

A multiple-layer knowledge management system framework considering user knowledge privileges 361–387

T.-Y. Chen

Maintainability metrics for aspect-oriented software 389–420

M. Thongmak and P. Muenchaisri

Monitoring cumulated anomaly in databases 421–452

J. Yi, G. Lu and K. Lü

Requirement based system test case prioritization of new and regression test cases 453–475

R. Krishnamoorthi and S. A. Mary

Vol. 19, No. 4

Guest Editor’s Introduction 477–479

D. E. Cooke

Articles

A Segment based approach for the reduction of the number of test cases for performance evaluation of components 481–505

J. W. Cangussu, K. Cooper and W. Eric Wong

Trap.Net: a realization of transparent shaping in .Net 507–528

S. M. Sadjadi and F. Trigoso

Design of wrapper for self-management of COTS components 529–551

M. E. Shin and F. Paniagua

An approach to constructing high-available decentralized systems via self-adaptive components 553–571

X. Sun, L. Zhou, L. Zhuang, W. Jiao and H. Mei

Bp neural network-based effective fault localization 573–597

W. Eric Wong and Y. Qi

Automated test code generation from class state models 599–623

D. Xu, W. Xu and W. E. Wong

Journal of Artificial Intelligence Research

Vol. 34

Articles

Interactive policy learning through confidence-based autonomy 1–25

S. Chernova and M. M. Veloso

A Heuristic search approach to planning with continuous resources in stochastic domains 27–59

N. Meuleau, E. Benazera, R. I. Brafman and E. A. Hansen and Mausem

Asynchronous forward bounding for distributed COPs 61–88

A. Gershman, A. Meisels and R. Zivan

Policy iteration for decentralized control of markov decision processes 89–132

D. S. Bernstein, C. Amato, E. A. Hansen and S. Zilberstein

Generic preferences over subsets of structured objects 133–164

M. Binshtok, R. I. Brafman, C. Domshlak and S. E. Shimony

Behavior bounding: an efficient method for high-level behavior comparison 165–208

S. A. Wallace

Mechanisms for making crowds truthful 209–253

R. Jurca and B. Faltings

Unsupervised methods for determining object and relation synonyms on the Web 255–296

A. Yates and O. Etzioni

Monte Carlo sampling methods for approximating interactive POMDPs 297–337

P. Doshi and P. J. Gmytrasiewicz

Identification of pleonastic it using the Web 339–389

Y. Li, P. Musílek, M. Reformat and L. Wyard-Scott

Solving SAT and Bayesian inference with backtracking search 391–442

F. Bacchus, S. Dalmao and T. Pitassi

Wikipedia-based semantic interpretation for natural language processing 443–498

E. Gabrilovich and S. Markovitch

Exploiting single-cycle symmetries in continuous constraint problems 499–520

V. Ruiz de Angulo and C. Torras

An anytime algorithm for optimal coalition structure generation 521–567

T. Rahwan, S. D. Ramchurn, N. R. Jennings and A. Giovannucci

Learning document-level semantic properties from free-text annotations 569–603

S. R. K. Branavan, H. Chen, J. Eisenstein and R. Barzilay

Inferring shallow-transfer machine translation rules from small parallel corpora 605–635

F. Sánchez-Martínez and M. L. Forcada

Sentence compression as tree transduction 637–674

T. Cohn and M. Lapata

Planning over chain causal graphs for variables with domains of size 5 is NP-hard 675–706

O. Giménez and A. Jonsson

Efficient informative sensing using multiple robots 707–755

A. Singh, A. Krause, C. Guestrin and W. J. Kaiser

Conservative inference rule for uncertain reasoning under incompleteness 757–821

M. Zaffalon and E. Miranda

Journal of Autonomous Agents and Multiagent Systems

Vol. 18, No. 1

Articles

Compact preference representation and Boolean games 1–35

E. Bonzon, M.-C. Lagasquie-Schiex, J. Lang and B. Zanuttini

Learning to trust in the competence and commitment of agents 36–82

M. J. Smith and M. desJardins

Learning and planning in environments with delayed feedback 83–105

T. J. Walsh, A. Nouri, L. Li and M. L. Littman

Power in threshold network flow games 106–132

Y. Bachrach and J. S. Rosenschein

Get in touch: cooperative decision making based on robot-to-robot collisions 133–155

T. Schmickl, R. Thenius, C. Möslinger, G. Radspieler, S. Kernbach, M. Szymanski and K. Crailsheim

Dynamic simulation of action at operations level 156–185

F. Guerrin

Constraint rule-based programming of norms for electronic institutions 186–217

A. García-Camino, J. A. Rodríguez-Aguilar, C. Sierra and W. W. Vasconcelos

Vol. 18, No. 2

Special Issue on the Fourth German Conference on Multiagent System Technologies (MATES)

Articles

Introduction to the Special Issue on the Fourth German Conference on Multiagent System Technologies (MATES) 219

K. Fischer, I. J. Timm and E. André

Agent based simulation architecture for evaluating operational policies in transshipping containers 220–238

L. Henesey, P. Davidsson and J. A. Persson

A platform-independent metamodel for multiagent systems 239–266

C. Hahn, C. Madrigal-Mora and K. Fischer

Primary and secondary diagnosis of multi-agent plan execution 267–294

F. de Jonge, N. Roos and C. Witteveen

Evaluating the security of mobile agent platforms 295–311

A. Bürkle, A. Hertel, W. Müller and M. Wieser

Vol. 18, No. 3

Articles

Comparing real-time and incremental heuristic search for real-time situated agents 313–341

S. Koenig and X. Sun

Opportunities for multiagent systems and multiagent reinforcement learning in traffic control 342–375

A. L. C. Bazzan

Graphical models for interactive POMDPs: representations and solutions 376–416

P. Doshi, Y. Zeng and Q. Chen

Intentional learning agent architecture 417–470

B. Subagdja, L. Sonenberg and I. Rahwan

Goals in conflict: semantic foundations of goals in agent programming 471–500

M. B. van Riemsdijk, M. Dastani and J.-J. C. Meyer

Detecting disagreements in large-scale multi-agent teams 501–525

G. A. Kaminka

Evolving service semantics cooperatively: a consumer-driven approach 526–555

M. Sensoy and P. Yolum

Journal of Logic, Language and Information

Vol. 18, No. 1

Logics for resource bounded agents

Editorial 1–2

T. Ågotnes and N. Alechina

Articles

Exploring the future with resource-bounded agents 3–21

M. Fisher and C. Ghidini

Diversity of agents and their interaction 23–53

F. Liu

A logic of strategic ability under bounded memory 55–77

T. Ågotnes and D. Walther

A logic of situated resource-bounded agents 79–95

N. Alechina and B. Logan

Developing bounded reasoning 97–129

M. Walicki, M. Bezem and W. Szajnkenig

Epistemic logic for rule-based agents 131–158

M. Jago

Vol. 18, No. 2

Articles

Polyadic dynamic logics for HPSG parsing 159–198

A. Søgaard and M. Lange

The basic constructive logic for absolute consistency 199–216

J. M. Méndez and G. Robles

Designing visual languages for description logics 217–250

B. R. Gaines

Plans, actions and dialogues using linear logic 251–289

L. Dixon, A. Smaill and T. Tsang

Strong completeness and limited canonicity for PDL 291–292

G. R. R. de Lavalette, B. P. Kooi and R. Verbrugge

Vol. 18, No. 3

Articles

Associative grammar combination operators for tree-based grammars 293–316

Y. Cohen-Sygal and S. Wintner

On definability in dependence logic 317–332

J. Kontinen and J. A. Väänänen

Adaptive Fuzzy logics for contextual hedge interpretation 333–356

S. van der Waart van Gulik

Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency 357–402

G. Robles and J. M. Méndez

A new theory of quantifiers and term connectives 403–431

K. Akiba

Vol. 18, No. 4

HYBRID LOGIC: Dedicated to the Memory of Volker Weber. Guest Editors: Torben Braüner and Thomas Bolander

Articles

Volker Weber 433

T. Schwentick and H. Björklund

Preface 435–436

T. Braüner and T. Bolander

Terminating tableau systems for hybrid logic with difference and converse 437–464

M. Kaminski and G. Smolka

Model checking for hybrid logic 465–491

M. Lange

The complexity of hybrid logics over equivalence relations 493–514

M. Mundhenk and T. Schneider

Hybrid counterfactual logics 515–539

K. Sano

Hybrid logics of separation axioms 541–558

D. Sustretov

Hybrid logic meets if modal logic 559–591

T. Tulenheimo

Branching-time logics repeatedly referring to states 593–624

V. Weber

Journal of Machine Learning Research

Vol. 10

Articles

Exploring strategies for training deep neural networks 1–40

H. Larochelle, Y. Bengio, J. Louradour and P. Lamblin

Markov properties for linear causal models with correlated errors (special topic on causality) 41–70

C. Kang and J. Tian

An analysis of convex relaxations for MAP estimation of discrete MRFs 71–106

M. P. Kumar, V. Kolmogorov and P. H. S. Torr

Refinement of reproducing kernels 107–140

Y. Xu and H. Zhang

Subgroup analysis via recursive partitioning 141–158

X. Su, C.-L. Tsai, H. Wang, D. M. Nickerson and B. Li

Python environment for Bayesian learning: inferring the structure of Bayesian networks from knowledge and data (machine learning open source software paper) 159–162

A. Shah and P. Woolf

On the power of membership queries in agnostic learning 163–182

V. Feldman

Using local dependencies within batches to improve large margin classifiers 183–206

V. Vural, G. Fung, B. Krishnapuram, J. G. Dy and B. Rao

Distance metric learning for large margin nearest neighbor classification 207–244

K. Q. Weinberger and L. K. Saul

Data-driven calibration of penalties for least-squares regression 245–279

S. Arlot and P. Massart

Analysis of perceptron-based active learning 281–299

S. Dasgupta, A. T. Kalai and C. Monteleoni

Improving the reliability of causal discovery from small data sets using argumentation (special topic on causality) 301–340

F. Bromberg and D. Margaritis

Low-rank kernel learning with Bregman matrix divergences 341–376

B. Kulis, M. A. Sustik and I. S. Dhillon

Supervised descriptive rule discovery: a unifying survey of contrast set, emerging pattern and subgroup mining 377–403

P. Kralj Novak, N. Lavrač and G. I. Webb

Particle swarm model selection (special topic on model selection) 405–440,

H. J. Escalante, M. Montes and L. E. Sucar

Generalization bounds for ranking algorithms via algorithmic stability 441–474

S. Agarwal and P. Niyogi

Controlling the false discovery rate of the association/causality structure learned with the PC algorithm (special topic on mining and learning with graphs and relations) 475–514

J. Li and Z. Jane Wang

Identification of recurrent neural networks by Bayesian interrogation techniques 515–554

B. Póczos and A. Lörincz

On the consistency of feature selection using greedy least squares regression 555–568

T. Zhang

Online learning with sample path constraints 569–590

S. Mannor, J. N. Tsitsiklis and J. Y. Yu

NEUROSVM: an architecture to reduce the effect of the choice of kernel on the performance of SVM 591–622

P. Ghanty, S. Paul and N. R. Pal

Scalable collaborative filtering approaches for large recommender systems (special topic on mining and learning with graphs and relations) 623–656

G. Takács, I. Pilászy, B. Németh and D. Tikk

Nearest neighbor clustering: a baseline method for consistent clustering with arbitrary objective functions 657–698

S. Bubeck and U. von Luxburg

Properties of monotonic effects on directed acyclic graphs 699–718

T. J. VanderWeele and J. M. Robins

On efficient large margin semisupervised learning: method and theory 719–742

J. Wang, X. Shen and W. Pan

Nieme: large-scale energy-based models (machine learning open source software paper) 743–746

F. Maes

Similarity-based classification: concepts and algorithms 747–776

Y. Chen, E. K. Garcia, M. R. Gupta, A. Rahimi and L. Cazzanti

Sparse online learning via truncated gradient 777–801

J. Langford, L. Li and T. Zhang

A new approach to collaborative filtering: operator estimation with spectral regularization 803–826

J. Abernethy, F. Bach and T. Evgeniou.

Consistency and localizability 827–856

A. Zakai and Y. Ritov

Stable and efficient Gaussian process calculations 857–882

L. Foster, A. Waagen, N. Aijaz, M. Hurley, A. Luis, J. Rinsky, C. Satyavolu, M. J. Way, P. Gazis and A. Srivastava

Estimation of sparse binary pairwise Markov networks using pseudo-likelihoods 883–906

H. Höfling and R. Tibshirani

Polynomial-delay enumeration of monotonic graph classes 907–929

J. Ramon and S. Nijssen

Java-ML: a machine learning library (machine learning open source software paper) 931–934

T. Abeel, Y. Van de Peer and Y. Saeys

Nonextensive information theoretic kernels on measures 935–975

A. F. T. Martins, N. A. Smith, E. P. Xing, P. M. Q. Aguiar and M. A. T. Figueiredo

On uniform deviations of general empirical risks with unboundedness, dependence, and high dimensionality 977–996

W. Jiang

Fourier theoretic probabilistic inference over permutations 997–1070

J. Huang, C. Guestrin and L. Guibas

An algorithm for reading dependencies from the minimal undirected independence map of a graphoid that satisfies weak transitivity 1071–1094

J. M. Peña, R. Nilsson, J. Björkegren and J. Tegnér

Universal kernel-based learning with applications to regular languages (special topic on mining and learning with graphs and relations) 1095–1129

L. (Aryeh) Kontorovich and B. Nadler

Multi-task reinforcement learning in partially observable stochastic environments 1131–1186

H. Li, X. Liao and L. Carin

The hidden life of latent variables: Bayesian learning with mixed graph models 1187–1238

R. Silva and Z. Ghahramani

Incorporating functional knowledge in neural networks 1239–1262

C. Dugas, Y. Bengio, F. Bélisle, C. Nadeau and R. Garcia

Perturbation corrections in approximate inference: mixture modelling applications 1263–1304

U. Paquet, O. Winther and M. Opper

Robust process discovery with artificial negative events (special topic on mining and learning with graphs and relations) 1305–1340

S. Goedertier, D. Martens, J. Vanthienen and B. Baesens

Journal of Web Semantics

Vol. 7, No. 1

Articles

Quality-driven information filtering using the WIQA policy framework 1–10

C. Bizer and R. Cyganiak

Making Web services tradable: a policy-based approach for specifying preferences on Web service properties 11–20

S. Agarwal, S. Lamparter and R. Studer

Policy-based spectrum access control for dynamic spectrum access network radios 21–27

F. Perich and M. McHenry

Specifying and enforcing high-level semantic obligation policies 28–39

Z. Liu, A. Ranganathan and A. Riabov

A meta-control architecture for orchestrating policy enforcement across heterogeneous information sources 40–56

J. Rao, A. Sardinha and N. M. Sadeh

Vol. 7, No. 2

Articles

Extending SPARQL with regular expression patterns (for querying RDF) 57–73

F. Alkhateeb, J.-F. Baget and J. Euzenat

Bridging the gap between OWL and relational databases 74–89

B. Motik, I. Horrocks and U. Sattler

Inexact matching of ontology graphs using expectation-maximization 90–106

P. Doshi, R. Kolli and C. Thomas

Detecting innovative topics based on user-interest ontology 107–120

M. Nakatsuji, M. Yoshida and T. Ishida

OWLS-MX: a hybrid Semantic Web service matchmaker for OWL-S services 121–133

M. Klusch, B. Fries and K. P. Sycara

Vol. 7, No. 3

Web of Data Special Issue

Articles

Special issue: the Web of data 135

A. Polleres and D. Huynh

Automated ontology instantiation from tabular web sources: the AllRight system 136–153

D. Jannach, K. M. Shchekotykhin and G. Friedrich

DBpedia: a crystallization point for the Web of Data 154–165

C. Bizer, J. Lehmann, G. Kobilarov, S. Auer, C. Becker, R. Cyganiak and S. Hellmann

From keywords to semantic queries – incremental query construction on the semantic web 166–176

G. Zenz, X. Zhou, E. Minack, W. Siberski and W. Nejdl

Semplore: a scalable IR approach to search the Web of data 177–188

H. Wang, Q. Liu, T. Penin, L. Fu, L. Zhang, T. Tran, Y. Yu and Y. Pa

Hermes: data Web search on a pay-as-you-go integration infrastructure 189–203

T. Tran, H. Wang and P. Haase

Querying for provenance, trust, uncertainty and other meta knowledge in RDF 204–219

R. Q. Dividino, S. Sizov, S. Staab and B. Schueler

Simple and efficient minimal RDFS 220–234

S. Muñoz, J. Pérez and C. Gutierrez

Research Papers

Ontology matching with semantic verification 235–251

Y. R. Jean-Mary, E. P. Shironoshita and M. R. Kabuka

Distributed reasoning with ontologies and rules in order-sorted logic programming 252–270

K. Kaneiwa and R. Mizoguchi

Vol. 7, No. 4

Semantic Web Challenge Special Issue

Articles

The semantic Web challenge, 2008 271

P. Mika and J. Hendler

Paggr: linked data widgets and dashboards 272–277

B. Nowack

Exploring the geospatial semantic Web with DBpedia mobile 278–286

C. Becker and C. Bizer

HealthFinland: a national semantic publishing network and portal for health information 287–297

O. Suominen, E. Hyvönen, K. Viljanen and E. Hukka

SemaPlorer – interactive semantic exploration of data and media based on a federated cloud infrastructure 298–304

S. Schenk, C. Saathoff, S. Staab and A. Scherp

Machine Learning

Vol. 74, No. 1

Articles

Semi-supervised graph clustering: a kernel approach 1–22

B. Kulis, S. Basu, I. S. Dhillon and R. J. Mooney

Convergence analysis of kernel Canonical Correlation Analysis: theory and practice 23–38

D. R. Hardoon and J. Shawe-Taylor

Discretization for naive-Bayes learning: managing discretization bias and variance 39–74

Y. Yang and G. I. Webb

Latent grouping models for user preference prediction 75–109

E. Savia, K. Puolamäki and S. Kaski

Vol. 74, No. 2

Articles

Tree-structured model diagnostics for linear regression 111–131

X. Su, C.-L. Tsai and M. C. Wang

Matrix representations, linear transformations, and kernels for disambiguation in natural language 133–158

T. Pahikkala, S. Pyysalo, J. Boberg, J. Järvinen and T. Salakoski

Effective short-term opponent exploitation in simplified poker 159–189

F. Southey, B. Hoehn and R. C. Holte

Incremental data-driven learning of a novelty detection model for one-class classification with application to high-dimensional noisy data 191–234

R. Kassab and F. Alexandre

Vol. 74, No. 3

Articles

Exact bootstrap k-nearest neighbor learners 235–255

B. M. Steele

Parallel ILP for distributed-memory architectures 257–279

N. A. Fonseca, A. Srinivasan, F. M. A. Silva and R. Camacho

Finding anomalous periodic time series 281–313

U. Rebbapragada, P. Protopapas, C. E. Brodley and C. R. Alcock

An algebraic characterization of the optimum of regularized kernel methods 315–345

F. Dinuzzo and G. De Nicolao

Vol. 75, No. 1

Special Issue on Mining and Learning with Graphs

Articles

Guest Editors’ introduction: Special Issue on mining and learning with graphs 1–2

T. Gärtner and G. C. Garriga

Graph kernels based on tree patterns for molecules 3–35

P. Mahé and J.-P. Vert

On the properties of von Neumann kernels for link analysis 37–67

M. Shimbo, T. Ito, D. Mochihashi and Y. Matsumoto

gBoost: a mathematical programming approach to graph classification and regression 69–89

H. Saigo, S. Nowozin, T. Kadowaki, T. Kudo and K. Tsuda

Mining probabilistic automata: a statistical view of sequential pattern mining 91–127

S. Jacquemont, F. Jacquenet and M. Sebban

An efficient algorithm for learning to rank from preference graphs 129–165

T. Pahikkala, E. Tsivtsivadze, A. Airola, J. Järvinen and J. Boberg

Vol. 75, No. 2

Articles

Efficient covariance matrix update for variable metric evolution strategies 167–197

T. Suttorp, N. Hansen and C. Igel

Upper bound for variational free energy of Bayesian networks 199–215

K. Watanabe, M. Shiga and S. Watanabe

Bayesian learning of graphical vector autoregressions with unequal lag-lengths 217–243

P. Marttinen and J. Corander

NP-hardness of Euclidean sum-of-squares clustering 245–248

D. Aloise, A. Deshpande, P. Hansen and P. Popat

Vol. 75, No. 3

Articles

Pool-based active learning in approximate linear regression 249–274

M. Sugiyama and S. Nakajima

The generalization performance of ERM algorithm with strongly mixing observations 275–295

B. Zou, L. Li and Z. Xu

Search-based structured prediction 297–325

H. Daumé III, J. Langford and D. Marcu

Transfer bounds for linear feature learning 327–350

A. Maurer

Studia Logica

Vol. 91, No. 1

Articles

Many concepts and two logics of algorithmic reduction 1–24

G. Japaridze

The logic of the ontological square 25–51

L. Schneider

Weakly higher order cylindric algebras and finite axiomatization of the representables 53–62

I. Németi and A. Simon

Behavioral algebraization of logics 63–111

C. Caleiro, R. Gonçalves and M. A. Martins

Equivalents for a quasivariety to be generated by a single structure 113–123

W. Dziobiak, A. V. Kravchenko and P. J. Wojciechowski

Update to “A Survey of Abstract Algebraic Logic” 125–130

J. M. Font, R. Jansana and D. Pigozzi

Predicate logical extensions of some subintuitionistic logics 131–138

E. Zimmermann

Book Reviews 139–144

R. Cook

Vol. 91, No. 2

Articles

On modal μ-calculus and Gödel-Löb logic 145–169

L. Alberucci and A. Facchini

Canonical extensions and relational representations of lattices with negation 171–199

A. Almeida

Distributive full Lambek calculus has the finite model property 201–216

M. Kozak

Proof systems combining classical and paraconsistent negations 217–238

N. Kamide

Jump liars and Jourdain’s card via the relativized T-scheme 239–271

M. Hsiung

Proof systems for reasoning about computation errors 273–293

A. Avron and B. Konikowska

Vol. 91, No. 3

Articles

Editorial Introduction. Truth values: part I 295–304

Y. Shramko and H. Wansing

Truth values, neither-true-nor-false, and supervaluations 305–334

N. Belnap

How true it is = who says it’s true 335–366

M. Fitting

On vagueness, truth values and fuzzy logics 367–382

P. Hájek

Taking degrees of truth seriously 383–406

J. M. Font

On axiomatizing Shramko–Wansing’s logic 407–428

S. P. Odintsov

The slingshot argument and sentential identity 429–455

Y. Shramko and H. Wansing

Theory and Practice of Logic Programming

Vol. 9, No. 1

Articles

Justifications for logic programs under answer set semantics 1–56

E. Pontelli, T. C. Son and O. El-Khatib

Probabilistic reasoning with answer sets 57–144

C. Baral, M. Gelfond and J. N. Rushton

Vol. 9, No. 2

Articles

A non-termination criterion for binary constraint logic programs 145–164

É. Payet and F. Mesnard

Logical algorithms meets CHR: a meta-complexity result for constraint handling rules with rule priorities 165–212

L. De Koninck

On finitely recursive programs 213–238

S. Baselice, P. A. Bonatti and G. Criscuolo

Lambda–Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008, Hardback, ISBN 9780521898850 239–243

F. van Raamsdonk

Vol. 9, No. 3

Articles

CP-logic: a language of causal probabilistic events and its relation to logic programming 245–308

J. Vennekens, M. Denecker and M. Bruynooghe

Fuzzy linguistic logic programming and its applications 309–341

Van Hung Le, F . Liu and D. K. Tran

Efficient description logic reasoning in prolog: the DLog system 343–414

G. Lukácsy and P. Szeredi

Vol. 9, No. 4

Articles

On the cooperation of the constraint domains, R, and F in CFLP 415–527

S. E. Martín, M. T. Hortalá-González, M. Rodríguez-Artalejo, R. del Vado Vírseda, F. Sáenz-Pérez and A. J. Fernández

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms 529–564

Y.-D. Shen, J.-H. You and L.-Y. Yuan

Vol. 9, No. 5

Articles

Characterising equilibrium logic and nested logic programs: reductions and complexity 565–616

D. Pearce, H. Tompits and S. Woltran

Optimality in goal-dependent analysis of sharing 617–689

G. Amato and F. Scozzari

Vol. 9, No. 6

Articles

The CIFF proof procedure for abductive logic programming with constraints: theory, implementation and experiments 691–750

P. Mancarella, G. Terreni, F. Sadri, F. Toni and U. Endriss

Termination prediction for general logic programs 751–780

Y.-D. Shen, D. De Schreye and D. Voets

Relativized hyperequivalence of logic programs for modular programming 781–819

M. Truszczynski and S. Woltran

User Modeling and User-Adapted Interaction

Vol. 19, Nos. 1–2

Special Issue on Data Mining for Personalization

Articles

Preface to the special issue on data mining for personalization 1–3

B. Mobasher and A. Tuzhilin

Search personalization through query and page topical analysis 5–33

S. Stamou and A. Ntoulas

Cross-representation mediation of user models 35–63

S. Berkovsky, T. Kuflik and F. Ricci

Unsupervised strategies for shilling detection and robust collaborative filtering 65–97

B. Mehta and W. Nejdl

An architecture for making recommendations to courseware authors using association rule mining and collaborative filtering 99–132

E. García, C. Romero, S. Ventura and C. de Castro

Case-studies on exploiting explicit customer requirements in recommender systems 133–166

M. Zanker and M. Jessenitschnig

Vol. 19, No. 3

Articles

Interaction design guidelines on critiquing-based recommender systems 167–206

L. Chen and P. Pu

Managing uncertainty in group recommending processes 207–242

L. M. de Campos, J. M. Fernández-Luna, J. F. Huete and M. A. Rueda-Morales

Addressing the assessment challenge with an online system that tutors as it assesses 243–266

M. Feng, N. T. Heffernan and K. R. Koedinger

Empirically building and evaluating a probabilistic model of user affect 267–303

C. Conati and H. Maclaren

Vol. 19, No. 4

Articles

Can eyes reveal interest? Implicit queries from gaze patterns 307–339

A. Ajanki, D. R. Hardoon, S. Kaski, K. Puolamäki and J. Shawe-Taylor

Log file analysis for disengagement detection in e-Learning environments 341–385

M. Cocea and S. Weibelzahl

Vol. 19, No. 5

Articles

CTRL: a research framework for providing adaptive collaborative learning support 387–431

E. Walker, N. Rummel and K. R. Koedinger

Adaptive systems in the era of the semantic and social web, a survey 433–486

I. Torre