×

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

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

Publications by Year

Citations contained in zbMATH Open

109 Publications have been cited 437 times in 423 Documents Cited by Year
Comparing performance of algorithms for generating concept lattices. Zbl 1024.68020
Kuznetsov, Sergei O.; Obiedkov, Sergei A.
69
2002
Contextualizing concepts using a mathematical generalization of the quantum m formalism. Zbl 1031.68095
Gabora, Liane; Aerts, Diederik
25
2002
Ignoring data may be the only way to learn efficiently. Zbl 0803.68109
Wiehagen, Rolf; Zeugmann, Thomas
23
1994
Handling contingency in temporal constraint networks: From consistency to controllabilities. Zbl 1054.68664
Vidal, Thierry
20
1999
Infinitary self-reference in learning theory. Zbl 0803.68110
Case, John
18
1994
Consistent subsets of inconsistent systems: Structure and behaviour. Zbl 1025.68090
Birnbaum, Elazar; Lozinskii, Eliezer L.
16
2003
Integrating planning and learning: The PRODIGY architecture. Zbl 0939.68830
Veloso, Manuela; Carbonell, Jaime; Pérez, Alicia; Borrajo, Daniel; Fink, Eugene; Blythe, Jim
12
1995
Information and evidence in logic systems. Zbl 0807.68084
Lozinskii, Eliezer L.
11
1994
Fuzzy attribute logic over complete residuated lattices. Zbl 1117.03029
Belohlavek, Radim; Vychodil, Vilem
9
2006
A clausal resolution method for CTL branching-time temporal logic. Zbl 1054.68666
Bolotov, Alexander
9
1999
Characterization of language learning from informant under various monotonicity constraints. Zbl 0803.68108
Lange, Steffen; Zeugmann, Thomas
7
1994
Some approaches to analogical mapping with structure-sensitive distributed representations. Zbl 1083.68581
Rachkovskij, Dmitri A.
7
2004
Teams in cooperating grammar systems. Zbl 0840.68071
Kari, Lila; Mateescu, Alexandru; Pǎun, Gheorghe; Salomaa, Arto
7
1995
Why can concept lattices support knowledge discovery in databases? Zbl 1022.68042
Wille, Rudolf
7
2002
A fast incremental algorithm for building lattices. Zbl 1022.68027
Nourine, Lhouari; Raynaud, Olivier
7
2002
Independency relationships and learning algorithms for singly connected networks. Zbl 1049.68621
De Campos, Luis M.
7
1998
Anytime coalition structure generation: An average case study. Zbl 1033.68840
Larson, Kate S.; Sandholm, Tuomas W.
6
2000
Planning and reacting in uncertain and dynamic environments. Zbl 0939.68834
Wilkins, David E.; Myers, Karen L.; Lowrance, John D.; Wesley, Leonard P.
6
1995
Functional and approximate dependency mining: Database and FCA points of view. Zbl 1024.68027
Lopes, Stéphane; Petit, Jean-Marc; Lakhal, Lotfi
6
2002
Generating frequent itemsets incrementally: Two novel approaches based on Galois lattice theory. Zbl 1022.68043
Valtchev, Petko; Missaoui, Rokia; Godin, Robert; Meridji, Mohamed
6
2002
Generalization versus classification. Zbl 0939.68772
Wiehagen, Rolf; Smith, Carl H.
5
1995
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
5
2009
The role of forgetting in the evolution and learning of language. Zbl 1183.91019
Barrett, Jeffrey; Zollman, Kevin J. S.
5
2009
Ant-Tree: An ant colony optimization approach to the generalized minimum spanning tree problem. Zbl 1036.68084
Shyu, 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.68044
Pernelle, Nathalie; Rousset, Marie-Christine; Soldano, Henry; Ventos, Véronique
5
2002
Model-based learning of interaction strategies in multi-agent systems. Zbl 1053.68591
Carmel, David; Markovitch, Shaul
5
1998
Using communication to reduce locality in distributed multiagent learning. Zbl 1069.68582
Mataric, Maja J.
5
1998
Local multi-valued logics in modular expert systems. Zbl 0815.68108
Agustí, J.; Esteva, F.; Garcia, P.; Godo, L.; Lopez de Mantaras, R.; Sierra, C.
4
1994
From soft constraints to bipolar preferences: modelling framework and solving issues. Zbl 1207.68343
Bistarelli, Stefano; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent
4
2010
Argumentation through a distributed self-stabilizing approach. Zbl 1031.68120
Baroni, Pietro; Giacomin, Massimiliano
4
2002
A framework for building knowledge-bases under uncertainty. Zbl 1069.68607
Santos, Eugene jun.; Santos, Eugene S.
4
1999
Pre-emptive versus non-pre-emptive real time scheduling in intelligent mobile robotics. Zbl 1033.68661
Piaggio, Maurizio; Sgorbissa, Antonio; Zaccaria, Renato
3
2000
On the role of search for learning from examples. Zbl 1050.68123
Kurtz, Stuart A.; Smith, Carl H.; Wiehagen, Rolf
3
2001
A theory of cross-validation error. Zbl 0823.68092
Turney, Peter
3
1994
Generalized disjunction-free representation of frequent patterns with negation. Zbl 1102.68116
Krsyszkiewicz, Marzena
3
2005
Analogical projection in pattern perception. Zbl 1105.68413
Dastani, Mehdi; Indurkhya, Bipin; Scha, Remko
3
2003
Individual learning of coordination knowledge. Zbl 1053.68796
Sen, Sandip; Sekaran, Mahendra
3
1998
An inductive inference approach to classification. Zbl 0803.68115
Freivalds, Rusins; Hoffmann, Achim G.
2
1994
A metalogic programming approach: Language, semantics and applications. Zbl 0820.68030
Costantini, Stefania; Lanzarone, Gaetano Aurelio
2
1994
Relating only knowing to minimal belief and negation as failure. Zbl 0823.68098
Chen, Jianhua
2
1994
Is there an alternative to parsimonious semantics? Zbl 0837.68064
Lozinskij, Eliezer L.
2
1995
Learning nested concept classes with limited storage. Zbl 0846.68088
Heath, David; Kasif, Simon; Kosaraju, Rao; Salzberg, Steven; Sullivan, Gregory
2
1996
Enhancing the plausibility of law equation discovery through cross check among multiple scale-type-based models. Zbl 1105.68399
Washio, Takashi; Motoda, Hiroshi; Niwa, Yuji
2
2005
An efficient LP-based admissible heuristic for cost-based abduction. Zbl 1101.68877
Abdelbar, Ashraf M.; Hefny, Mohamed
2
2005
Modal similarity. Zbl 1183.68454
Vigo, Ronaldo
2
2009
Structuring global responses of local filters using lateral connections. Zbl 1105.68368
Corchado, Emilio; Han, Ying; Fyfe, Colin
2
2003
Fine-grained conflict resolution in constraint satisfaction problems. Zbl 1055.68567
Hower, Walter; Jacobi, Stephan
2
1998
CSPs with counters: A likelihood-based heuristic. Zbl 1069.68602
Solotorevsky, Gadi; Shimony, Solomon Eyal; Meisels, Amnon
2
1998
How minds can be computational systems. Zbl 1049.68611
Rapaport, William J.
2
1998
Knowledge-based temporal interpolation. Zbl 1054.68670
Shahar, Yuval
2
1999
Learning nested agent models in an information economy. Zbl 1053.68658
Vidal, Jose M.; Durfee, Edmund H.
2
1998
A refutation of Penrose’s Gödelian case against artificial intelligence. Zbl 1008.68093
Bringsjord, Selmer; Xiao, Hong
2
2000
Peeking behind the screen: The unsuspected power of the standard Turing Test. Zbl 1013.68162
French, Robert M.
2
2000
MEXICA: A computer model of a cognitive account of creative writing. Zbl 1009.68646
Pérez y Pérez, Rafael; Sharples, Mike
2
2001
Naive Bayes for optimal ranking. Zbl 1147.68665
Zhang, Harry; Su, Jiang
2
2008
The computational limits to the cognitive power of the neuroidal tabula rasa. Zbl 1084.68112
Wiedermann, Jiří
1
2003
Recognition of handwritten Hindu numerals using structural descriptors. Zbl 1063.68636
Elnagar, Ashraf; Harous, Saad
1
2003
Design and comparison of lattices of topological relations for spatial representation and reasoning. Zbl 1066.68126
Le Ber, Florence; Napoli, Amedeo
1
2003
Distribution-balanced stratified cross-validation for accuracy estimation. Zbl 1033.68943
Zeng, Xinchuan; Martinez, Tony R.
1
2000
Robustness of dencentralized knowledge systems: A grammar-theoretic view. Zbl 1018.68081
Kelemen, Jozef; Păun, Gheorghe
1
2000
A study of a dynamic progressive reasoning system. Zbl 1019.68084
Mouaddib, Abdel-Illah
1
2000
Dynamic adaptive autonomy in multi-agent systems. Zbl 1018.68061
Barber, K. Suzanne; Goel, Anuj; Martin, Cheryl E.
1
2000
The effects of uncertainty on plan success in a simulated maintenance robot domain. Zbl 1033.68660
Gunderson, James P.; Martin, W. N.
1
2000
Cross-paradigm analysis of autonomous agent architecture. Zbl 1033.68592
Bryson, Joanna
1
2000
Formal software development in the verification support environment (VSE). Zbl 1010.68026
Hutter, 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.68182
Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J.
1
2000
A case study in the mechanical verification of fault tolerance. Zbl 1010.68170
Mantel, Heiko; Gärtner, Felix C.
1
2000
What’s in a symbol: Ontology, representation and language. Zbl 1008.68640
Nirenburg, Sergei; Wilks, Yorick
1
2001
The TRAINS project: A case study in building a conversational planning agent. Zbl 0939.68857
Allen, 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.68842
Chan, Christine W.
1
1995
Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction. Zbl 0802.68141
Santos, Eugene jun.
1
1993
Spatial/kinematic domain and lattice computers. Zbl 0803.68099
Case, John; Rajan, Dayanand S.; Shende, Anil M.
1
1994
The power of probabilism of Popperian FINite learning. Zbl 0803.68103
Daley, Robert; Kalyanasundaram, Bala; Velauthapillai, Mahe
1
1994
Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations). Zbl 0807.68090
Zadrozny, Wlodek
1
1994
A deductive clustering approach. Zbl 0807.68088
Sridhar, V.; Murty, M. Narasimha
1
1994
Theoretical analyses of cross-validation error and voting in instance-based learning. Zbl 0938.68789
Turney, Peter
1
1994
An interval-based temporal relational calculus for events with gaps. Zbl 0793.68149
Morris, Robert A.; Al-Khatib, Lina
1
1991
The gap between abstract and concrete results in machine learning. Zbl 0749.68075
Turney, Peter
1
1991
Acquiring object-knowledge. Zbl 0752.68065
De Raedt, Luc; Feyaerts, Johan; Bruynooghe, Maurice
1
1992
On generalization/specialization for conceptual graphs. Zbl 0844.68094
Mugnier, M. L.
1
1995
Reinforcement learning via approximation of the Q-function. Zbl 1213.68498
Langlois, Marina; Sloan, Robert H.
1
2010
Modelling and learning user preferences over sets. Zbl 1209.68432
Wagstaff, Kiri L.; desJardins, Marie; Eaton, Eric
1
2010
Warning: statistical benchmarking is addictive. Kicking the habit in machine learning. Zbl 1192.68514
Drummond, Chris; Japkowicz, Nathalie
1
2010
An algorithm for discovering the frequent closed itemsets in a large database. Zbl 1111.68031
Singh, Ningthoujam Gourakishwar; Singh, Sanasam Ranbir; Mahanta, Anjana K.; Prasad, Bhanu
1
2006
Frequent mining of subgraph structures. Zbl 1111.68100
Guo, Ping; Wang, Xin-Ru; Kang, Yan-Rong
1
2006
A logic of categorization. Zbl 1111.68127
Wang, Pei; Hofstadter, Douglas
1
2006
Hierarchical modelling in searching for complex patterns: constrained sums of information systems. Zbl 1104.68109
Skowron, Andrzej; Stepaniuk, Jarosław
1
2005
Measuring expected effects of interventions based on decision rules. Zbl 1104.68103
Greco, Salvatore; Matarazzo, Benedetto; Pappalardo, Nello; Slowinski, Roman
1
2005
On the complexity of case-based planning. Zbl 1101.68819
Liberatore, P.
1
2005
Extending resolution to resolution logics. Zbl 0723.03004
Stachniak, Z.
1
1991
Why do we talk to ourselves? Zbl 1031.68094
Fields, Chris
1
2002
Compressed pseudo-lattices. Zbl 1036.68030
Van Der Merwe, F. J. (Dean); Kourie, D. G.
1
2002
Concept lattice based composite classifiers for high predictability. Zbl 1024.68028
Xie, Zhipeng; Hsu, Wynne; Liu, Zongtian; Lee, Mong Li
1
2002
Constraint updating. Zbl 1069.68597
Hower, Walter; Jacobi, Stephan
1
1998
Learning solution preferences in constraint problems. Zbl 1055.68571
Rossi, Francesca; Sperduti, Alessandro
1
1998
A practical measure of the information in a logical theory. Zbl 1054.68640
Aisbett, Janet; Gibbon, Greg
1
1999
Two-agent IDA. Zbl 1055.68533
Prieditis, Armand E.; Fletcher, Evan
1
1998
Changing times: A causal theory of probabilistic temporal reasoning. Zbl 1053.68711
Tawfik, Ahmed Y.
1
1999
Prolegomena to any future artificial moral agent. Zbl 1008.68092
Allen, Colin; Varner, Gary; Zinser, Jason
1
2000
Contextual reasoning distilled. Zbl 1013.68219
Benerecetti, M.; Bouquet, P.; Ghidini, C.
1
2000
From soft constraints to bipolar preferences: modelling framework and solving issues. Zbl 1207.68343
Bistarelli, Stefano; Pini, Maria Silvia; Rossi, Francesca; Venable, K. Brent
4
2010
Reinforcement learning via approximation of the Q-function. Zbl 1213.68498
Langlois, Marina; Sloan, Robert H.
1
2010
Modelling and learning user preferences over sets. Zbl 1209.68432
Wagstaff, Kiri L.; desJardins, Marie; Eaton, Eric
1
2010
Warning: statistical benchmarking is addictive. Kicking the habit in machine learning. Zbl 1192.68514
Drummond, Chris; Japkowicz, Nathalie
1
2010
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
5
2009
The role of forgetting in the evolution and learning of language. Zbl 1183.91019
Barrett, Jeffrey; Zollman, Kevin J. S.
5
2009
Modal similarity. Zbl 1183.68454
Vigo, Ronaldo
2
2009
Naive Bayes for optimal ranking. Zbl 1147.68665
Zhang, Harry; Su, Jiang
2
2008
Fuzzy attribute logic over complete residuated lattices. Zbl 1117.03029
Belohlavek, Radim; Vychodil, Vilem
9
2006
An algorithm for discovering the frequent closed itemsets in a large database. Zbl 1111.68031
Singh, Ningthoujam Gourakishwar; Singh, Sanasam Ranbir; Mahanta, Anjana K.; Prasad, Bhanu
1
2006
Frequent mining of subgraph structures. Zbl 1111.68100
Guo, Ping; Wang, Xin-Ru; Kang, Yan-Rong
1
2006
A logic of categorization. Zbl 1111.68127
Wang, Pei; Hofstadter, Douglas
1
2006
Generalized disjunction-free representation of frequent patterns with negation. Zbl 1102.68116
Krsyszkiewicz, Marzena
3
2005
Enhancing the plausibility of law equation discovery through cross check among multiple scale-type-based models. Zbl 1105.68399
Washio, Takashi; Motoda, Hiroshi; Niwa, Yuji
2
2005
An efficient LP-based admissible heuristic for cost-based abduction. Zbl 1101.68877
Abdelbar, Ashraf M.; Hefny, Mohamed
2
2005
Hierarchical modelling in searching for complex patterns: constrained sums of information systems. Zbl 1104.68109
Skowron, Andrzej; Stepaniuk, Jarosław
1
2005
Measuring expected effects of interventions based on decision rules. Zbl 1104.68103
Greco, Salvatore; Matarazzo, Benedetto; Pappalardo, Nello; Slowinski, Roman
1
2005
On the complexity of case-based planning. Zbl 1101.68819
Liberatore, P.
1
2005
Some approaches to analogical mapping with structure-sensitive distributed representations. Zbl 1083.68581
Rachkovskij, Dmitri A.
7
2004
Consistent subsets of inconsistent systems: Structure and behaviour. Zbl 1025.68090
Birnbaum, Elazar; Lozinskii, Eliezer L.
16
2003
Ant-Tree: An ant colony optimization approach to the generalized minimum spanning tree problem. Zbl 1036.68084
Shyu, S. J.; Yin, P. Y.; Lin, B. M. T.; Haouari, M.
5
2003
Analogical projection in pattern perception. Zbl 1105.68413
Dastani, Mehdi; Indurkhya, Bipin; Scha, Remko
3
2003
Structuring global responses of local filters using lateral connections. Zbl 1105.68368
Corchado, Emilio; Han, Ying; Fyfe, Colin
2
2003
The computational limits to the cognitive power of the neuroidal tabula rasa. Zbl 1084.68112
Wiedermann, Jiří
1
2003
Recognition of handwritten Hindu numerals using structural descriptors. Zbl 1063.68636
Elnagar, Ashraf; Harous, Saad
1
2003
Design and comparison of lattices of topological relations for spatial representation and reasoning. Zbl 1066.68126
Le Ber, Florence; Napoli, Amedeo
1
2003
Comparing performance of algorithms for generating concept lattices. Zbl 1024.68020
Kuznetsov, Sergei O.; Obiedkov, Sergei A.
69
2002
Contextualizing concepts using a mathematical generalization of the quantum m formalism. Zbl 1031.68095
Gabora, Liane; Aerts, Diederik
25
2002
Why can concept lattices support knowledge discovery in databases? Zbl 1022.68042
Wille, Rudolf
7
2002
A fast incremental algorithm for building lattices. Zbl 1022.68027
Nourine, Lhouari; Raynaud, Olivier
7
2002
Functional and approximate dependency mining: Database and FCA points of view. Zbl 1024.68027
Lopes, Stéphane; Petit, Jean-Marc; Lakhal, Lotfi
6
2002
Generating frequent itemsets incrementally: Two novel approaches based on Galois lattice theory. Zbl 1022.68043
Valtchev, Petko; Missaoui, Rokia; Godin, Robert; Meridji, Mohamed
6
2002
ZooM: A nested Galois lattices-based system for conceptual clustering. Zbl 1022.68044
Pernelle, Nathalie; Rousset, Marie-Christine; Soldano, Henry; Ventos, Véronique
5
2002
Argumentation through a distributed self-stabilizing approach. Zbl 1031.68120
Baroni, Pietro; Giacomin, Massimiliano
4
2002
Why do we talk to ourselves? Zbl 1031.68094
Fields, Chris
1
2002
Compressed pseudo-lattices. Zbl 1036.68030
Van Der Merwe, F. J. (Dean); Kourie, D. G.
1
2002
Concept lattice based composite classifiers for high predictability. Zbl 1024.68028
Xie, Zhipeng; Hsu, Wynne; Liu, Zongtian; Lee, Mong Li
1
2002
Forms of meaning, meaning of forms. Zbl 1006.68685
Gaume, Bruno; Duvignau, Karine; Gasquet, Olivier; Gineste, Marie-Dominique
1
2002
On the role of search for learning from examples. Zbl 1050.68123
Kurtz, Stuart A.; Smith, Carl H.; Wiehagen, Rolf
3
2001
MEXICA: A computer model of a cognitive account of creative writing. Zbl 1009.68646
Pérez y Pérez, Rafael; Sharples, Mike
2
2001
What’s in a symbol: Ontology, representation and language. Zbl 1008.68640
Nirenburg, Sergei; Wilks, Yorick
1
2001
User studies of knowledge acquisition tools: Methodology and lessons learned. Zbl 1010.68667
Tallis, Marcelo; Kim, Jihie; Gil, Yolanda
1
2001
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
1
2001
On an open problem in classification of languages. Zbl 1052.68075
Jain, Sanjay
1
2001
Mixing expressiveness and efficiency in a manufacturing planner. Zbl 1009.68647
Castillo, Luis; Fdez-Olivares, Juan; González, Antonio
1
2001
Error dynamics: The dynamic emergence of error avoidance and error vicariants. Zbl 1010.68665
Bickhard, Mark H.
1
2001
Cognitive task analysis: A proposal to model reactive behaviours. Zbl 1010.68664
Laureano-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.68065
Elnagar, Ashraf; Alhajj, Reda; Harous, Saad
1
2001
Anytime coalition structure generation: An average case study. Zbl 1033.68840
Larson, Kate S.; Sandholm, Tuomas W.
6
2000
Pre-emptive versus non-pre-emptive real time scheduling in intelligent mobile robotics. Zbl 1033.68661
Piaggio, Maurizio; Sgorbissa, Antonio; Zaccaria, Renato
3
2000
A refutation of Penrose’s Gödelian case against artificial intelligence. Zbl 1008.68093
Bringsjord, Selmer; Xiao, Hong
2
2000
Peeking behind the screen: The unsuspected power of the standard Turing Test. Zbl 1013.68162
French, Robert M.
2
2000
Distribution-balanced stratified cross-validation for accuracy estimation. Zbl 1033.68943
Zeng, Xinchuan; Martinez, Tony R.
1
2000
Robustness of dencentralized knowledge systems: A grammar-theoretic view. Zbl 1018.68081
Kelemen, Jozef; Păun, Gheorghe
1
2000
A study of a dynamic progressive reasoning system. Zbl 1019.68084
Mouaddib, Abdel-Illah
1
2000
Dynamic adaptive autonomy in multi-agent systems. Zbl 1018.68061
Barber, K. Suzanne; Goel, Anuj; Martin, Cheryl E.
1
2000
The effects of uncertainty on plan success in a simulated maintenance robot domain. Zbl 1033.68660
Gunderson, James P.; Martin, W. N.
1
2000
Cross-paradigm analysis of autonomous agent architecture. Zbl 1033.68592
Bryson, Joanna
1
2000
Formal software development in the verification support environment (VSE). Zbl 1010.68026
Hutter, 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.68182
Knauf, Rainer; Philippow, Ilka; Gonzalez, Avelino J.
1
2000
A case study in the mechanical verification of fault tolerance. Zbl 1010.68170
Mantel, Heiko; Gärtner, Felix C.
1
2000
Prolegomena to any future artificial moral agent. Zbl 1008.68092
Allen, Colin; Varner, Gary; Zinser, Jason
1
2000
Contextual reasoning distilled. Zbl 1013.68219
Benerecetti, M.; Bouquet, P.; Ghidini, C.
1
2000
Producing mind. Zbl 1008.68094
Torrance, Steve
1
2000
Handling contingency in temporal constraint networks: From consistency to controllabilities. Zbl 1054.68664
Vidal, Thierry
20
1999
A clausal resolution method for CTL branching-time temporal logic. Zbl 1054.68666
Bolotov, Alexander
9
1999
A framework for building knowledge-bases under uncertainty. Zbl 1069.68607
Santos, Eugene jun.; Santos, Eugene S.
4
1999
Knowledge-based temporal interpolation. Zbl 1054.68670
Shahar, Yuval
2
1999
A practical measure of the information in a logical theory. Zbl 1054.68640
Aisbett, Janet; Gibbon, Greg
1
1999
Changing times: A causal theory of probabilistic temporal reasoning. Zbl 1053.68711
Tawfik, Ahmed Y.
1
1999
Independency relationships and learning algorithms for singly connected networks. Zbl 1049.68621
De Campos, Luis M.
7
1998
Model-based learning of interaction strategies in multi-agent systems. Zbl 1053.68591
Carmel, David; Markovitch, Shaul
5
1998
Using communication to reduce locality in distributed multiagent learning. Zbl 1069.68582
Mataric, Maja J.
5
1998
Individual learning of coordination knowledge. Zbl 1053.68796
Sen, Sandip; Sekaran, Mahendra
3
1998
Fine-grained conflict resolution in constraint satisfaction problems. Zbl 1055.68567
Hower, Walter; Jacobi, Stephan
2
1998
CSPs with counters: A likelihood-based heuristic. Zbl 1069.68602
Solotorevsky, Gadi; Shimony, Solomon Eyal; Meisels, Amnon
2
1998
How minds can be computational systems. Zbl 1049.68611
Rapaport, William J.
2
1998
Learning nested agent models in an information economy. Zbl 1053.68658
Vidal, Jose M.; Durfee, Edmund H.
2
1998
Constraint updating. Zbl 1069.68597
Hower, Walter; Jacobi, Stephan
1
1998
Learning solution preferences in constraint problems. Zbl 1055.68571
Rossi, Francesca; Sperduti, Alessandro
1
1998
Two-agent IDA. Zbl 1055.68533
Prieditis, Armand E.; Fletcher, Evan
1
1998
Learning nested concept classes with limited storage. Zbl 0846.68088
Heath, David; Kasif, Simon; Kosaraju, Rao; Salzberg, Steven; Sullivan, Gregory
2
1996
Integrating planning and learning: The PRODIGY architecture. Zbl 0939.68830
Veloso, Manuela; Carbonell, Jaime; Pérez, Alicia; Borrajo, Daniel; Fink, Eugene; Blythe, Jim
12
1995
Teams in cooperating grammar systems. Zbl 0840.68071
Kari, Lila; Mateescu, Alexandru; Pǎun, Gheorghe; Salomaa, Arto
7
1995
Planning and reacting in uncertain and dynamic environments. Zbl 0939.68834
Wilkins, David E.; Myers, Karen L.; Lowrance, John D.; Wesley, Leonard P.
6
1995
Generalization versus classification. Zbl 0939.68772
Wiehagen, Rolf; Smith, Carl H.
5
1995
Is there an alternative to parsimonious semantics? Zbl 0837.68064
Lozinskij, Eliezer L.
2
1995
The TRAINS project: A case study in building a conversational planning agent. Zbl 0939.68857
Allen, 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.68842
Chan, Christine W.
1
1995
On generalization/specialization for conceptual graphs. Zbl 0844.68094
Mugnier, M. L.
1
1995
Ignoring data may be the only way to learn efficiently. Zbl 0803.68109
Wiehagen, Rolf; Zeugmann, Thomas
23
1994
Infinitary self-reference in learning theory. Zbl 0803.68110
Case, John
18
1994
Information and evidence in logic systems. Zbl 0807.68084
Lozinskii, Eliezer L.
11
1994
Characterization of language learning from informant under various monotonicity constraints. Zbl 0803.68108
Lange, Steffen; Zeugmann, Thomas
7
1994
Local multi-valued logics in modular expert systems. Zbl 0815.68108
Agustí, J.; Esteva, F.; Garcia, P.; Godo, L.; Lopez de Mantaras, R.; Sierra, C.
4
1994
A theory of cross-validation error. Zbl 0823.68092
Turney, Peter
3
1994
An inductive inference approach to classification. Zbl 0803.68115
Freivalds, Rusins; Hoffmann, Achim G.
2
1994
A metalogic programming approach: Language, semantics and applications. Zbl 0820.68030
Costantini, Stefania; Lanzarone, Gaetano Aurelio
2
1994
Relating only knowing to minimal belief and negation as failure. Zbl 0823.68098
Chen, Jianhua
2
1994
Spatial/kinematic domain and lattice computers. Zbl 0803.68099
Case, John; Rajan, Dayanand S.; Shende, Anil M.
1
1994
...and 9 more Documents
all top 5

Cited by 726 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.
8 Kötzing, Timo
8 Napoli, Amedeo
7 Kinber, Efim B.
7 Kuznetsov, Sergei O.
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 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 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.
2 Kratsch, Dieter
2 Kraus, Sarit
...and 626 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
21 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

Citations by Year