JETAI. Journal of Experimental & Theoretical Artificial Intelligence Short Title: J. Exp. Theor. Artif. Intell. Publisher: Taylor & Francis, London ISSN: 0952-813X; 1362-3079/e Online: http://www.tandfonline.com/loi/teta20 Comments: No longer indexed Documents Indexed: 238 Publications (1991–2010) References Indexed: 210 Publications with 6,227 References. all top 5 Latest Issues 22, No. 4 (2010) 22, No. 3 (2010) 22, No. 2 (2010) 22, No. 1 (2010) 21, No. 4 (2009) 21, No. 3 (2009) 21, No. 2 (2009) 21, No. 1 (2009) 20, No. 4 (2008) 20, No. 2 (2008) 20, No. 1 (2008) 19, No. 4 (2007) 19, No. 3 (2007) 19, No. 1 (2007) 18, No. 4 (2006) 18, No. 3 (2006) 18, No. 2 (2006) 17, No. 3 (2005) 17, No. 1-2 (2005) 16, No. 4 (2004) 16, No. 3 (2004) 16, No. 2 (2004) 16, No. 1 (2004) 15, No. 4 (2003) 15, No. 3 (2003) 15, No. 1 (2003) 14, No. 4 (2002) 14, No. 2-3 (2002) 14, No. 1 (2002) 13, No. 4 (2001) 13, No. 3 (2001) 13, No. 2 (2001) 13, No. 1 (2001) 12, No. 4 (2000) 12, No. 3 (2000) 12, No. 2 (2000) 12, No. 1 (2000) 11, No. 4 (1999) 11, No. 2 (1999) 11, No. 1 (1999) 10, No. 4 (1998) 10, No. 3 (1998) 10, No. 1 (1998) 9, No. 4 (1997) 8, No. 2 (1996) 8, No. 1 (1996) 7, No. 4 (1995) 7, No. 3 (1995) 7, No. 2 (1995) 7, No. 1 (1995) 6, No. 4 (1994) 6, No. 3 (1994) 6, No. 2 (1994) 6, No. 1 (1994) 5, No. 4 (1993) 4, No. 3 (1992) 4, No. 1 (1992) 3, No. 4 (1991) 3, No. 3 (1991) 3, No. 2 (1991) 3, No. 1 (1991) all top 5 Authors 7 Lozinskii, Eliezer L. 4 Chen, Jianhua 4 Turney, Peter D. 3 Fields, Christopher A. 3 Kelemen, Jozef 3 Rossi, Francesca 3 Santos, Eugene jun. 3 Smith, Carl H. 3 Wiehagen, Rolf 2 Alhajj, Reda 2 Antoniou, Grigoris 2 Bistarelli, Stefano 2 Case, John 2 Cicirelli, Grazia 2 Corchado, Emilio S. 2 D’Orazio, Tiziana 2 Elnagar, Ashraf 2 Fink, Eugene 2 Freivalds, Rūsiņš Mārtiņš 2 French, Robert M. 2 Gil, Yolanda 2 Gonzalez, Avelino J. 2 Hansen, James V. 2 Harous, Saad 2 Harré, Rom 2 Hower, Walter 2 Jacobi, Stephan 2 Kim, Jihie 2 Kuznetsov, Sergei O. 2 Lange, Steffen 2 Laureano-Cruces, Ana Lilia 2 Lee, Jimmy Ho-man 2 Mouaddib, Abdel-Illah 2 Nunes de Castro, Leandro 2 Păun, Gheorghe 2 Pini, Maria Silvia 2 Sen, Sandip 2 Stachniak, Zbigniew 2 Sullins, John R. 2 Venable, Kristen Brent 2 Vidal, José M. 2 Vlahavas, Ioannis P. 2 Wang, Pei 2 Zeugmann, Thomas 1 Aamodt, Agnar 1 Abdelbar, Ashraf M. 1 Aerts, Diederik Emiel 1 Agustí, Jaume 1 Aiken, Jim 1 Aisbett, Janet E. 1 Al-Khatib, Lina 1 Allen, Colin 1 Allen, James F. 1 Alonso, Eduardo 1 Arnborg, Stefan 1 Aydede, Murat 1 Baier, Jorge A. 1 Banerjee, Bikramjit 1 Barber, K. Suzanne 1 Barceló-Aspeitia, Axel Arturo 1 Baroni, Pietro 1 Barr, Valerie 1 Barrett, Jeffrey A. 1 Bělohlávek, Radim 1 Belov, Anton 1 Benerecetti, Massimo 1 Berger, Michael 1 Bickhard, Mark H. 1 Birnbaum, Elazar 1 Blythe, Jim 1 Bo, Ketil 1 Bolotov, Alexander 1 Bonner, Richard F. 1 Borrajo, Daniel 1 Bouquet, Paolo 1 Bringsjord, Selmer 1 Bruynooghe, Maurice 1 Bryson, Joanna J. 1 Bylander, Tom 1 Carbonell, Jaime G. 1 Carmel, David 1 Castelfranchi, Cristiano 1 Castillo, Luis 1 Chan, Christine W. 1 Chan, Ringo 1 Chen, Yao-Tsung 1 Chervinskaya, K. R. 1 Chien, Steve A. 1 Chiu, Chong-Kan 1 Cichosz, Pawel 1 Codognet, Philippe 1 Conforth, M. 1 Corchado, Juan Manuel 1 Costantini, Stefania 1 Damper, Robert I. 1 Dastani, Mehdi M. 1 De Arriaga-Gómez, Fernando 1 de Campos, Luis Miguel 1 de Lope, Javier 1 De Raedt, Luc ...and 308 more Authors all top 5 Fields 236 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 109 Publications have been cited 439 times in 425 Documents Cited by ▼ Year ▼ Comparing performance of algorithms for generating concept lattices. Zbl 1024.68020Kuznetsov, Sergei O.; Obiedkov, Sergei A. 70 2002 Contextualizing concepts using a mathematical generalization of the quantum m formalism. Zbl 1031.68095Gabora, Liane; Aerts, Diederik 25 2002 Ignoring data may be the only way to learn efficiently. Zbl 0803.68109Wiehagen, Rolf; Zeugmann, Thomas 23 1994 Handling contingency in temporal constraint networks: From consistency to controllabilities. Zbl 1054.68664Vidal, Thierry 21 1999 Infinitary self-reference in learning theory. Zbl 0803.68110Case, John 18 1994 Consistent subsets of inconsistent systems: Structure and behaviour. Zbl 1025.68090Birnbaum, Elazar; Lozinskii, Eliezer L. 16 2003 Integrating planning and learning: The PRODIGY architecture. Zbl 0939.68830Veloso, Manuela; Carbonell, Jaime; Pérez, Alicia; Borrajo, Daniel; Fink, Eugene; Blythe, Jim 12 1995 Information and evidence in logic systems. Zbl 0807.68084Lozinskii, Eliezer L. 11 1994 Fuzzy attribute logic over complete residuated lattices. Zbl 1117.03029Belohlavek, Radim; Vychodil, Vilem 9 2006 A clausal resolution method for CTL branching-time temporal logic. Zbl 1054.68666Bolotov, Alexander 9 1999 Why can concept lattices support knowledge discovery in databases? Zbl 1022.68042Wille, Rudolf 7 2002 A fast incremental algorithm for building lattices. Zbl 1022.68027Nourine, Lhouari; Raynaud, Olivier 7 2002 Teams in cooperating grammar systems. Zbl 0840.68071Kari, Lila; Mateescu, Alexandru; Pǎun, Gheorghe; Salomaa, Arto 7 1995 Characterization of language learning from informant under various monotonicity constraints. Zbl 0803.68108Lange, Steffen; Zeugmann, Thomas 7 1994 Some approaches to analogical mapping with structure-sensitive distributed representations. Zbl 1083.68581Rachkovskij, Dmitri A. 7 2004 Independency relationships and learning algorithms for singly connected networks. Zbl 1049.68621De Campos, Luis M. 7 1998 Functional and approximate dependency mining: Database and FCA points of view. Zbl 1024.68027Lopes, Stéphane; Petit, Jean-Marc; Lakhal, Lotfi 6 2002 Generating frequent itemsets incrementally: Two novel approaches based on Galois lattice theory. Zbl 1022.68043Valtchev, Petko; Missaoui, Rokia; Godin, Robert; Meridji, Mohamed 6 2002 Anytime coalition structure generation: An average case study. Zbl 1033.68840Larson, Kate S.; Sandholm, Tuomas W. 6 2000 Planning and reacting in uncertain and dynamic environments. Zbl 0939.68834Wilkins, David E.; Myers, Karen L.; Lowrance, John D.; Wesley, Leonard P. 6 1995 Ant-Tree: An ant colony optimization approach to the generalized minimum spanning tree problem. Zbl 1036.68084Shyu, S. J.; Yin, P. Y.; Lin, B. M. T.; Haouari, M. 5 2003 ZooM: A nested Galois lattices-based system for conceptual clustering. Zbl 1022.68044Pernelle, Nathalie; Rousset, Marie-Christine; Soldano, Henry; Ventos, Véronique 5 2002 An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico 5 2009 The role of forgetting in the evolution and learning of language. Zbl 1183.91019Barrett, Jeffrey; Zollman, Kevin J. S. 5 2009 Model-based learning of interaction strategies in multi-agent systems. Zbl 1053.68591Carmel, David; Markovitch, Shaul 5 1998 Using communication to reduce locality in distributed multiagent learning. Zbl 1069.68582Mataric, Maja J. 5 1998 Generalization versus classification. Zbl 0939.68772Wiehagen, Rolf; Smith, Carl H. 5 1995 From soft constraints to bipolar preferences: modelling framework and solving issues. Zbl 1207.68343Bistarelli, Stefano; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent 4 2010 Argumentation through a distributed self-stabilizing approach. Zbl 1031.68120Baroni, Pietro; Giacomin, Massimiliano 4 2002 Local multi-valued logics in modular expert systems. Zbl 0815.68108Agustí, J.; Esteva, F.; Garcia, P.; Godo, L.; Lopez de Mantaras, R.; Sierra, C. 4 1994 A framework for building knowledge-bases under uncertainty. Zbl 1069.68607Santos, Eugene jun.; Santos, Eugene S. 4 1999 A theory of cross-validation error. Zbl 0823.68092Turney, Peter 3 1994 Pre-emptive versus non-pre-emptive real time scheduling in intelligent mobile robotics. Zbl 1033.68661Piaggio, Maurizio; Sgorbissa, Antonio; Zaccaria, Renato 3 2000 On the role of search for learning from examples. Zbl 1050.68123Kurtz, Stuart A.; Smith, Carl H.; Wiehagen, Rolf 3 2001 Generalized disjunction-free representation of frequent patterns with negation. Zbl 1102.68116Krsyszkiewicz, Marzena 3 2005 Analogical projection in pattern perception. Zbl 1105.68413Dastani, Mehdi; Indurkhya, Bipin; Scha, Remko 3 2003 Individual learning of coordination knowledge. Zbl 1053.68796Sen, Sandip; Sekaran, Mahendra 3 1998 Naive Bayes for optimal ranking. Zbl 1147.68665Zhang, Harry; Su, Jiang 2 2008 An efficient LP-based admissible heuristic for cost-based abduction. Zbl 1101.68877Abdelbar, Ashraf M.; Hefny, Mohamed 2 2005 Is there an alternative to parsimonious semantics? Zbl 0837.68064Lozinskij, Eliezer L. 2 1995 Learning nested concept classes with limited storage. Zbl 0846.68088Heath, David; Kasif, Simon; Kosaraju, Rao; Salzberg, Steven; Sullivan, Gregory 2 1996 An inductive inference approach to classification. Zbl 0803.68115Freivalds, Rusins; Hoffmann, Achim G. 2 1994 A metalogic programming approach: Language, semantics and applications. Zbl 0820.68030Costantini, Stefania; Lanzarone, Gaetano Aurelio 2 1994 Relating only knowing to minimal belief and negation as failure. Zbl 0823.68098Chen, Jianhua 2 1994 A refutation of Penrose’s Gödelian case against artificial intelligence. Zbl 1008.68093Bringsjord, Selmer; Xiao, Hong 2 2000 Peeking behind the screen: The unsuspected power of the standard Turing Test. Zbl 1013.68162French, Robert M. 2 2000 MEXICA: A computer model of a cognitive account of creative writing. Zbl 1009.68646Pérez y Pérez, Rafael; Sharples, Mike 2 2001 Modal similarity. Zbl 1183.68454Vigo, Ronaldo 2 2009 Enhancing the plausibility of law equation discovery through cross check among multiple scale-type-based models. Zbl 1105.68399Washio, Takashi; Motoda, Hiroshi; Niwa, Yuji 2 2005 Structuring global responses of local filters using lateral connections. Zbl 1105.68368Corchado, Emilio; Han, Ying; Fyfe, Colin 2 2003 Fine-grained conflict resolution in constraint satisfaction problems. Zbl 1055.68567Hower, Walter; Jacobi, Stephan 2 1998 CSPs with counters: A likelihood-based heuristic. Zbl 1069.68602Solotorevsky, Gadi; Shimony, Solomon Eyal; Meisels, Amnon 2 1998 How minds can be computational systems. Zbl 1049.68611Rapaport, William J. 2 1998 Knowledge-based temporal interpolation. Zbl 1054.68670Shahar, Yuval 2 1999 Learning nested agent models in an information economy. Zbl 1053.68658Vidal, Jose M.; Durfee, Edmund H. 2 1998 Extending resolution to resolution logics. Zbl 0723.03004Stachniak, Z. 1 1991 On the complexity of case-based planning. Zbl 1101.68819Liberatore, P. 1 2005 Why do we talk to ourselves? Zbl 1031.68094Fields, Chris 1 2002 Compressed pseudo-lattices. Zbl 1036.68030Van Der Merwe, F. J. (Dean); Kourie, D. G. 1 2002 Concept lattice based composite classifiers for high predictability. Zbl 1024.68028Xie, Zhipeng; Hsu, Wynne; Liu, Zongtian; Lee, Mong Li 1 2002 An interval-based temporal relational calculus for events with gaps. Zbl 0793.68149Morris, Robert A.; Al-Khatib, Lina 1 1991 The gap between abstract and concrete results in machine learning. Zbl 0749.68075Turney, Peter 1 1991 Acquiring object-knowledge. Zbl 0752.68065De Raedt, Luc; Feyaerts, Johan; Bruynooghe, Maurice 1 1992 Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction. Zbl 0802.68141Santos, Eugene jun. 1 1993 Spatial/kinematic domain and lattice computers. Zbl 0803.68099Case, John; Rajan, Dayanand S.; Shende, Anil M. 1 1994 The power of probabilism of Popperian FINite learning. Zbl 0803.68103Daley, Robert; Kalyanasundaram, Bala; Velauthapillai, Mahe 1 1994 Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations). Zbl 0807.68090Zadrozny, Wlodek 1 1994 A deductive clustering approach. Zbl 0807.68088Sridhar, V.; Murty, M. Narasimha 1 1994 Theoretical analyses of cross-validation error and voting in instance-based learning. Zbl 0938.68789Turney, Peter 1 1994 Distribution-balanced stratified cross-validation for accuracy estimation. Zbl 1033.68943Zeng, Xinchuan; Martinez, Tony R. 1 2000 Robustness of dencentralized knowledge systems: A grammar-theoretic view. Zbl 1018.68081Kelemen, Jozef; Păun, Gheorghe 1 2000 A study of a dynamic progressive reasoning system. Zbl 1019.68084Mouaddib, Abdel-Illah 1 2000 Dynamic adaptive autonomy in multi-agent systems. Zbl 1018.68061Barber, K. Suzanne; Goel, Anuj; Martin, Cheryl E. 1 2000 The effects of uncertainty on plan success in a simulated maintenance robot domain. Zbl 1033.68660Gunderson, James P.; Martin, W. N. 1 2000 Cross-paradigm analysis of autonomous agent architecture. Zbl 1033.68592Bryson, Joanna 1 2000 Formal software development in the verification support environment (VSE). Zbl 1010.68026Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland 1 2000 Towards validation and refinement of rule-based systems. Zbl 1010.68182Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J. 1 2000 A case study in the mechanical verification of fault tolerance. Zbl 1010.68170Mantel, Heiko; Gärtner, Felix C. 1 2000 What’s in a symbol: Ontology, representation and language. Zbl 1008.68640Nirenburg, Sergei; Wilks, Yorick 1 2001 Prolegomena to any future artificial moral agent. Zbl 1008.68092Allen, Colin; Varner, Gary; Zinser, Jason 1 2000 Contextual reasoning distilled. Zbl 1013.68219Benerecetti, M.; Bouquet, P.; Ghidini, C. 1 2000 Producing mind. Zbl 1008.68094Torrance, Steve 1 2000 User studies of knowledge acquisition tools: Methodology and lessons learned. Zbl 1010.68667Tallis, Marcelo; Kim, Jihie; Gil, Yolanda 1 2001 Forms of meaning, meaning of forms. Zbl 1006.68685Gaume, Bruno; Duvignau, Karine; Gasquet, Olivier; Gineste, Marie-Dominique 1 2002 Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 1 2001 On an open problem in classification of languages. Zbl 1052.68075Jain, Sanjay 1 2001 Mixing expressiveness and efficiency in a manufacturing planner. Zbl 1009.68647Castillo, Luis; Fdez-Olivares, Juan; González, Antonio 1 2001 Error dynamics: The dynamic emergence of error avoidance and error vicariants. Zbl 1010.68665Bickhard, Mark H. 1 2001 Cognitive task analysis: A proposal to model reactive behaviours. Zbl 1010.68664Laureano-Cruces, Ana Lilia; De Arriaga-Gómez, Fernando; García-Alegre Sánchez, María 1 2001 Term rewriting and its application to recognizing handwritten Hindu numerals. Zbl 1008.68065Elnagar, Ashraf; Alhajj, Reda; Harous, Saad 1 2001 Reinforcement learning via approximation of the Q-function. Zbl 1213.68498Langlois, Marina; Sloan, Robert H. 1 2010 Modelling and learning user preferences over sets. Zbl 1209.68432Wagstaff, Kiri L.; desJardins, Marie; Eaton, Eric 1 2010 Warning: statistical benchmarking is addictive. Kicking the habit in machine learning. Zbl 1192.68514Drummond, Chris; Japkowicz, Nathalie 1 2010 An algorithm for discovering the frequent closed itemsets in a large database. Zbl 1111.68031Singh, Ningthoujam Gourakishwar; Singh, Sanasam Ranbir; Mahanta, Anjana K.; Prasad, Bhanu 1 2006 Frequent mining of subgraph structures. Zbl 1111.68100Guo, Ping; Wang, Xin-Ru; Kang, Yan-Rong 1 2006 A logic of categorization. Zbl 1111.68127Wang, Pei; Hofstadter, Douglas 1 2006 Hierarchical modelling in searching for complex patterns: constrained sums of information systems. Zbl 1104.68109Skowron, Andrzej; Stepaniuk, Jarosław 1 2005 Measuring expected effects of interventions based on decision rules. Zbl 1104.68103Greco, Salvatore; Matarazzo, Benedetto; Pappalardo, Nello; Slowinski, Roman 1 2005 Constraint updating. Zbl 1069.68597Hower, Walter; Jacobi, Stephan 1 1998 Learning solution preferences in constraint problems. Zbl 1055.68571Rossi, Francesca; Sperduti, Alessandro 1 1998 From soft constraints to bipolar preferences: modelling framework and solving issues. Zbl 1207.68343Bistarelli, Stefano; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent 4 2010 Reinforcement learning via approximation of the Q-function. Zbl 1213.68498Langlois, Marina; Sloan, Robert H. 1 2010 Modelling and learning user preferences over sets. Zbl 1209.68432Wagstaff, Kiri L.; desJardins, Marie; Eaton, Eric 1 2010 Warning: statistical benchmarking is addictive. Kicking the habit in machine learning. Zbl 1192.68514Drummond, Chris; Japkowicz, Nathalie 1 2010 An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico 5 2009 The role of forgetting in the evolution and learning of language. Zbl 1183.91019Barrett, Jeffrey; Zollman, Kevin J. S. 5 2009 Modal similarity. Zbl 1183.68454Vigo, Ronaldo 2 2009 Naive Bayes for optimal ranking. Zbl 1147.68665Zhang, Harry; Su, Jiang 2 2008 Fuzzy attribute logic over complete residuated lattices. Zbl 1117.03029Belohlavek, Radim; Vychodil, Vilem 9 2006 An algorithm for discovering the frequent closed itemsets in a large database. Zbl 1111.68031Singh, Ningthoujam Gourakishwar; Singh, Sanasam Ranbir; Mahanta, Anjana K.; Prasad, Bhanu 1 2006 Frequent mining of subgraph structures. Zbl 1111.68100Guo, Ping; Wang, Xin-Ru; Kang, Yan-Rong 1 2006 A logic of categorization. Zbl 1111.68127Wang, Pei; Hofstadter, Douglas 1 2006 Generalized disjunction-free representation of frequent patterns with negation. Zbl 1102.68116Krsyszkiewicz, Marzena 3 2005 An efficient LP-based admissible heuristic for cost-based abduction. Zbl 1101.68877Abdelbar, Ashraf M.; Hefny, Mohamed 2 2005 Enhancing the plausibility of law equation discovery through cross check among multiple scale-type-based models. Zbl 1105.68399Washio, Takashi; Motoda, Hiroshi; Niwa, Yuji 2 2005 On the complexity of case-based planning. Zbl 1101.68819Liberatore, P. 1 2005 Hierarchical modelling in searching for complex patterns: constrained sums of information systems. Zbl 1104.68109Skowron, Andrzej; Stepaniuk, Jarosław 1 2005 Measuring expected effects of interventions based on decision rules. Zbl 1104.68103Greco, Salvatore; Matarazzo, Benedetto; Pappalardo, Nello; Slowinski, Roman 1 2005 Some approaches to analogical mapping with structure-sensitive distributed representations. Zbl 1083.68581Rachkovskij, Dmitri A. 7 2004 Consistent subsets of inconsistent systems: Structure and behaviour. Zbl 1025.68090Birnbaum, Elazar; Lozinskii, Eliezer L. 16 2003 Ant-Tree: An ant colony optimization approach to the generalized minimum spanning tree problem. Zbl 1036.68084Shyu, S. J.; Yin, P. Y.; Lin, B. M. T.; Haouari, M. 5 2003 Analogical projection in pattern perception. Zbl 1105.68413Dastani, Mehdi; Indurkhya, Bipin; Scha, Remko 3 2003 Structuring global responses of local filters using lateral connections. Zbl 1105.68368Corchado, Emilio; Han, Ying; Fyfe, Colin 2 2003 The computational limits to the cognitive power of the neuroidal tabula rasa. Zbl 1084.68112Wiedermann, Jiří 1 2003 Recognition of handwritten Hindu numerals using structural descriptors. Zbl 1063.68636Elnagar, Ashraf; Harous, Saad 1 2003 Design and comparison of lattices of topological relations for spatial representation and reasoning. Zbl 1066.68126Le Ber, Florence; Napoli, Amedeo 1 2003 Comparing performance of algorithms for generating concept lattices. Zbl 1024.68020Kuznetsov, Sergei O.; Obiedkov, Sergei A. 70 2002 Contextualizing concepts using a mathematical generalization of the quantum m formalism. Zbl 1031.68095Gabora, Liane; Aerts, Diederik 25 2002 Why can concept lattices support knowledge discovery in databases? Zbl 1022.68042Wille, Rudolf 7 2002 A fast incremental algorithm for building lattices. Zbl 1022.68027Nourine, Lhouari; Raynaud, Olivier 7 2002 Functional and approximate dependency mining: Database and FCA points of view. Zbl 1024.68027Lopes, Stéphane; Petit, Jean-Marc; Lakhal, Lotfi 6 2002 Generating frequent itemsets incrementally: Two novel approaches based on Galois lattice theory. Zbl 1022.68043Valtchev, Petko; Missaoui, Rokia; Godin, Robert; Meridji, Mohamed 6 2002 ZooM: A nested Galois lattices-based system for conceptual clustering. Zbl 1022.68044Pernelle, Nathalie; Rousset, Marie-Christine; Soldano, Henry; Ventos, Véronique 5 2002 Argumentation through a distributed self-stabilizing approach. Zbl 1031.68120Baroni, Pietro; Giacomin, Massimiliano 4 2002 Why do we talk to ourselves? Zbl 1031.68094Fields, Chris 1 2002 Compressed pseudo-lattices. Zbl 1036.68030Van Der Merwe, F. J. (Dean); Kourie, D. G. 1 2002 Concept lattice based composite classifiers for high predictability. Zbl 1024.68028Xie, Zhipeng; Hsu, Wynne; Liu, Zongtian; Lee, Mong Li 1 2002 Forms of meaning, meaning of forms. Zbl 1006.68685Gaume, Bruno; Duvignau, Karine; Gasquet, Olivier; Gineste, Marie-Dominique 1 2002 On the role of search for learning from examples. Zbl 1050.68123Kurtz, Stuart A.; Smith, Carl H.; Wiehagen, Rolf 3 2001 MEXICA: A computer model of a cognitive account of creative writing. Zbl 1009.68646Pérez y Pérez, Rafael; Sharples, Mike 2 2001 What’s in a symbol: Ontology, representation and language. Zbl 1008.68640Nirenburg, Sergei; Wilks, Yorick 1 2001 User studies of knowledge acquisition tools: Methodology and lessons learned. Zbl 1010.68667Tallis, Marcelo; Kim, Jihie; Gil, Yolanda 1 2001 Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 1 2001 On an open problem in classification of languages. Zbl 1052.68075Jain, Sanjay 1 2001 Mixing expressiveness and efficiency in a manufacturing planner. Zbl 1009.68647Castillo, Luis; Fdez-Olivares, Juan; González, Antonio 1 2001 Error dynamics: The dynamic emergence of error avoidance and error vicariants. Zbl 1010.68665Bickhard, Mark H. 1 2001 Cognitive task analysis: A proposal to model reactive behaviours. Zbl 1010.68664Laureano-Cruces, Ana Lilia; De Arriaga-Gómez, Fernando; García-Alegre Sánchez, María 1 2001 Term rewriting and its application to recognizing handwritten Hindu numerals. Zbl 1008.68065Elnagar, Ashraf; Alhajj, Reda; Harous, Saad 1 2001 Anytime coalition structure generation: An average case study. Zbl 1033.68840Larson, Kate S.; Sandholm, Tuomas W. 6 2000 Pre-emptive versus non-pre-emptive real time scheduling in intelligent mobile robotics. Zbl 1033.68661Piaggio, Maurizio; Sgorbissa, Antonio; Zaccaria, Renato 3 2000 A refutation of Penrose’s Gödelian case against artificial intelligence. Zbl 1008.68093Bringsjord, Selmer; Xiao, Hong 2 2000 Peeking behind the screen: The unsuspected power of the standard Turing Test. Zbl 1013.68162French, Robert M. 2 2000 Distribution-balanced stratified cross-validation for accuracy estimation. Zbl 1033.68943Zeng, Xinchuan; Martinez, Tony R. 1 2000 Robustness of dencentralized knowledge systems: A grammar-theoretic view. Zbl 1018.68081Kelemen, Jozef; Păun, Gheorghe 1 2000 A study of a dynamic progressive reasoning system. Zbl 1019.68084Mouaddib, Abdel-Illah 1 2000 Dynamic adaptive autonomy in multi-agent systems. Zbl 1018.68061Barber, K. Suzanne; Goel, Anuj; Martin, Cheryl E. 1 2000 The effects of uncertainty on plan success in a simulated maintenance robot domain. Zbl 1033.68660Gunderson, James P.; Martin, W. N. 1 2000 Cross-paradigm analysis of autonomous agent architecture. Zbl 1033.68592Bryson, Joanna 1 2000 Formal software development in the verification support environment (VSE). Zbl 1010.68026Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland 1 2000 Towards validation and refinement of rule-based systems. Zbl 1010.68182Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J. 1 2000 A case study in the mechanical verification of fault tolerance. Zbl 1010.68170Mantel, Heiko; Gärtner, Felix C. 1 2000 Prolegomena to any future artificial moral agent. Zbl 1008.68092Allen, Colin; Varner, Gary; Zinser, Jason 1 2000 Contextual reasoning distilled. Zbl 1013.68219Benerecetti, M.; Bouquet, P.; Ghidini, C. 1 2000 Producing mind. Zbl 1008.68094Torrance, Steve 1 2000 Handling contingency in temporal constraint networks: From consistency to controllabilities. Zbl 1054.68664Vidal, Thierry 21 1999 A clausal resolution method for CTL branching-time temporal logic. Zbl 1054.68666Bolotov, Alexander 9 1999 A framework for building knowledge-bases under uncertainty. Zbl 1069.68607Santos, Eugene jun.; Santos, Eugene S. 4 1999 Knowledge-based temporal interpolation. Zbl 1054.68670Shahar, Yuval 2 1999 A practical measure of the information in a logical theory. Zbl 1054.68640Aisbett, Janet; Gibbon, Greg 1 1999 Changing times: A causal theory of probabilistic temporal reasoning. Zbl 1053.68711Tawfik, Ahmed Y. 1 1999 Independency relationships and learning algorithms for singly connected networks. Zbl 1049.68621De Campos, Luis M. 7 1998 Model-based learning of interaction strategies in multi-agent systems. Zbl 1053.68591Carmel, David; Markovitch, Shaul 5 1998 Using communication to reduce locality in distributed multiagent learning. Zbl 1069.68582Mataric, Maja J. 5 1998 Individual learning of coordination knowledge. Zbl 1053.68796Sen, Sandip; Sekaran, Mahendra 3 1998 Fine-grained conflict resolution in constraint satisfaction problems. Zbl 1055.68567Hower, Walter; Jacobi, Stephan 2 1998 CSPs with counters: A likelihood-based heuristic. Zbl 1069.68602Solotorevsky, Gadi; Shimony, Solomon Eyal; Meisels, Amnon 2 1998 How minds can be computational systems. Zbl 1049.68611Rapaport, William J. 2 1998 Learning nested agent models in an information economy. Zbl 1053.68658Vidal, Jose M.; Durfee, Edmund H. 2 1998 Constraint updating. Zbl 1069.68597Hower, Walter; Jacobi, Stephan 1 1998 Learning solution preferences in constraint problems. Zbl 1055.68571Rossi, Francesca; Sperduti, Alessandro 1 1998 Two-agent IDA. Zbl 1055.68533Prieditis, Armand E.; Fletcher, Evan 1 1998 Learning nested concept classes with limited storage. Zbl 0846.68088Heath, David; Kasif, Simon; Kosaraju, Rao; Salzberg, Steven; Sullivan, Gregory 2 1996 Integrating planning and learning: The PRODIGY architecture. Zbl 0939.68830Veloso, Manuela; Carbonell, Jaime; Pérez, Alicia; Borrajo, Daniel; Fink, Eugene; Blythe, Jim 12 1995 Teams in cooperating grammar systems. Zbl 0840.68071Kari, Lila; Mateescu, Alexandru; Pǎun, Gheorghe; Salomaa, Arto 7 1995 Planning and reacting in uncertain and dynamic environments. Zbl 0939.68834Wilkins, David E.; Myers, Karen L.; Lowrance, John D.; Wesley, Leonard P. 6 1995 Generalization versus classification. Zbl 0939.68772Wiehagen, Rolf; Smith, Carl H. 5 1995 Is there an alternative to parsimonious semantics? Zbl 0837.68064Lozinskij, Eliezer L. 2 1995 The TRAINS project: A case study in building a conversational planning agent. Zbl 0939.68857Allen, James F.; Schubert, Lenhart K.; Ferguson, George; Heeman, Peter; Hwang, Chung Hee; Kato, Tsuneaki; Light, Marc; Martin, Nathaniel; Miller, Bradford; Poesio, Massimo; Traum, David R. 1 1995 The development and application of a knowledge modelling technique. Zbl 0939.68842Chan, Christine W. 1 1995 On generalization/specialization for conceptual graphs. Zbl 0844.68094Mugnier, M. L. 1 1995 Ignoring data may be the only way to learn efficiently. Zbl 0803.68109Wiehagen, Rolf; Zeugmann, Thomas 23 1994 Infinitary self-reference in learning theory. Zbl 0803.68110Case, John 18 1994 Information and evidence in logic systems. Zbl 0807.68084Lozinskii, Eliezer L. 11 1994 Characterization of language learning from informant under various monotonicity constraints. Zbl 0803.68108Lange, Steffen; Zeugmann, Thomas 7 1994 Local multi-valued logics in modular expert systems. Zbl 0815.68108Agustí, J.; Esteva, F.; Garcia, P.; Godo, L.; Lopez de Mantaras, R.; Sierra, C. 4 1994 A theory of cross-validation error. Zbl 0823.68092Turney, Peter 3 1994 An inductive inference approach to classification. Zbl 0803.68115Freivalds, Rusins; Hoffmann, Achim G. 2 1994 A metalogic programming approach: Language, semantics and applications. Zbl 0820.68030Costantini, Stefania; Lanzarone, Gaetano Aurelio 2 1994 Relating only knowing to minimal belief and negation as failure. Zbl 0823.68098Chen, Jianhua 2 1994 Spatial/kinematic domain and lattice computers. Zbl 0803.68099Case, John; Rajan, Dayanand S.; Shende, Anil M. 1 1994 ...and 9 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 729 Authors 19 Case, John 16 Jain, Sanjay 12 Vychodil, Vilém 12 Zeugmann, Thomas 10 Aerts, Diederik Emiel 10 Bělohlávek, Radim 9 Marques-Silva, João P. 9 Napoli, Amedeo 8 Kötzing, Timo 8 Kuznetsov, Sergei O. 7 Kinber, Efim B. 6 Konecny, Jan 6 Lange, Steffen 6 Lozinskii, Eliezer L. 5 de Campos, Luis Miguel 5 Obiedkov, Sergei A. 4 Bolotov, Alexander 4 Cimatti, Alessandro 4 Dixon, Clare 4 Ignatyev, Alexey A. 4 Kaytoue, Mehdi 4 Liffiton, Mark H. 4 Mencía, Carlos 4 Micheli, Andrea 4 Moelius, Samuel E. III 4 Outrata, Jan 4 Roveri, Marco 4 Santos, Eugene jun. 4 Sassoli de Bianchi, Massimiliano 4 Stephan, Frank 4 Valtchev, Petko 4 Wiehagen, Rolf 4 Zhi, Huilai 3 Aswani Kumar, Cherukuri 3 Baixeries, Jaume 3 Bringsjord, Selmer 3 Bruza, Peter D. 3 Bykova, Valentina Vladimirovna 3 Csuhaj-Varjú, Erzsébet 3 De Baets, Bernard 3 Fernández-Luna, Juan Manuel 3 Formisano, Andrea 3 Gabora, Liane 3 Hower, Walter 3 Huchard, Marianne 3 Hunter, Anthony 3 Janota, Mikoláš 3 Krajca, Petr 3 Li, Jinhai 3 Missaoui, Rokia 3 Mitrana, Victor 3 Mongush, Choduraa M. 3 Orlandini, Andrea 3 Prade, Henri M. 3 Qi, Jianjun 3 Reidenbach, Daniel 3 Sakallah, Karem A. 3 Singh, Prem Kumar 3 Wooldridge, Michael J. 2 Aler, Ricardo 2 Alexe, Gabriela 2 Alexe, Sorin 2 Arif, M. Fareed 2 Armengol, Eva 2 Basukoski, Artie 2 beim Graben, Peter 2 Blutner, Reinhard 2 Bohn, Adam 2 Borrajo, Daniel 2 Brewka, Gerhard 2 Busemeyer, Jerome R. 2 Chen, Jianhua 2 Chen, Jinkun 2 Cialdea Mayer, Marta 2 Codocedo, Víctor 2 Corchado, Emilio S. 2 Cordero, Pablo 2 Costantini, Stefania 2 Elkind, Edith 2 Faenza, Yuri 2 Fernau, Henning 2 Fiorini, Samuel 2 Fisikopoulos, Vissarion 2 Gaspers, Serge 2 Gély, Alain 2 Gerevini, Alfonso Emilio 2 Giacomin, Massimiliano 2 Gigante, Nicola 2 Guo, Lankun 2 Huete, Juan F. 2 Hunsberger, Luke 2 Hustadt, Ullrich 2 Huttegger, Simon M. 2 Ignatov, Dmitry I. 2 Jacobi, Stephan 2 Jennings, Nicholas R. 2 Kaplansky, Eliezer 2 Kitto, Kirsty 2 Kogan, Alexander 2 Kourie, Derrick G. ...and 629 more Authors all top 5 Cited in 98 Journals 37 Theoretical Computer Science 33 Artificial Intelligence 33 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 23 Annals of Mathematics and Artificial Intelligence 22 International Journal of Approximate Reasoning 18 Information Sciences 13 Discrete Applied Mathematics 13 Journal of Computer and System Sciences 13 Journal of Mathematical Psychology 8 Information and Computation 7 Machine Learning 7 Cybernetics and Systems Analysis 7 Constraints 6 Fuzzy Sets and Systems 5 International Journal of General Systems 5 Synthese 5 International Journal of Foundations of Computer Science 4 Acta Informatica 4 Journal of Intelligent & Robotic Systems 3 Computers & Operations Research 3 Journal of Automated Reasoning 3 Real-Time Systems 3 European Journal of Operational Research 3 International Journal of Computer Mathematics 3 Pattern Recognition 3 Theory of Computing Systems 3 Soft Computing 3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 3 Computational Intelligence 3 Journal of Applied Logic 3 Journal of Siberian Federal University. Mathematics & Physics 2 International Journal of Theoretical Physics 2 Information Processing Letters 2 Applied Mathematics and Computation 2 The Journal of Symbolic Logic 2 Algorithmica 2 Neural Networks 2 Annals of Operations Research 2 Artificial Intelligence Review 2 Journal of Logic, Language and Information 2 Journal of Applied Non-Classical Logics 2 The Journal of Artificial Intelligence Research (JAIR) 2 Computational & Mathematical Organization Theory 2 Mathematical Problems in Engineering 2 Fundamenta Informaticae 2 Theory and Practice of Logic Programming 2 International Journal of Semantic Computing 2 Frontiers of Computer Science 1 ACM Computing Surveys 1 Biological Cybernetics 1 International Journal of Systems Science 1 Mathematical Biosciences 1 Mathematical Methods in the Applied Sciences 1 Psychometrika 1 The Annals of Statistics 1 Kybernetes 1 Mathematics and Computers in Simulation 1 Mathematical Systems Theory 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 Studia Logica 1 Theory and Decision 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Order 1 New Generation Computing 1 International Journal of Intelligent Systems 1 Neural Computation 1 MSCS. Mathematical Structures in Computer Science 1 Applied Intelligence 1 Games and Economic Behavior 1 Distributed Computing 1 Computational Economics 1 Journal of Computer and Systems Sciences International 1 Complexity 1 Journal of Heuristics 1 PAA. Pattern Analysis and Applications 1 Chaos 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Data Mining and Knowledge Discovery 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Erkenntnis 1 International Journal of Applied Mathematics and Computer Science 1 Foundations of Science 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Natural Computing 1 Journal of Applied Mathematics and Computing 1 ACM Transactions on Computational Logic 1 Computational Linguistics 1 Logica Universalis 1 Statistical Analysis and Data Mining 1 The Annals of Applied Statistics 1 International Journal of Information Technology & Decision Making 1 The Review of Symbolic Logic 1 Mathematical Programming Computation 1 Flexible Services and Manufacturing Journal 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 22 Fields 353 Computer science (68-XX) 45 Mathematical logic and foundations (03-XX) 38 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 34 Order, lattices, ordered algebraic structures (06-XX) 26 Operations research, mathematical programming (90-XX) 19 Statistics (62-XX) 19 Quantum theory (81-XX) 14 Systems theory; control (93-XX) 9 Combinatorics (05-XX) 8 Biology and other natural sciences (92-XX) 6 General and overarching topics; collections (00-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Information and communication theory, circuits (94-XX) 2 Convex and discrete geometry (52-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral equations (45-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year