×

zbMATH — the first resource for mathematics

New Generation Computing

Computing Paradigms and Computational Intelligence

Short Title: New Generation Comput.
Publisher: Springer Japan, Tokyo; Ohmsha, Tokyo
ISSN: 0288-3635; 1882-7055/e
Online: https://link.springer.com/journal/volumesAndIssues/354
https://www.ohmsha.co.jp/english/ngc/
Comments: No longer indexed
Documents Indexed: 327 Publications (1983–2017)
References Indexed: 312 Publications with 7,214 References.
all top 5

Authors

5 Kaneiwa, Ken
4 Furukawa, Kōichi
4 Mizoguchi, Riichiro
4 Shapiro, Ehud Y.
3 Hagiya, Masami
3 Ho, TuBao
3 Hori, Koichi
3 Lamma, Evelina
3 Matsumoto, Yuji
3 Ohsawa, Yukio
3 Ohuchi, Azuma
3 Ross, Brian J.
3 Takeichi, Masato
3 Wu, Xindong
3 Yamada, Seiji
2 Albert, Elvira
2 Arikawa, Setsuo
2 Arzberger, Peter W.
2 Codish, Michael
2 Eo, Hyunjun
2 Freund, Rudolf
2 Futamura, Yoshihiko
2 Glück, Robert
2 Hermenegildo, Manuel V.
2 Hogger, Christopher John
2 Ishida, Toru
2 Isokawa, Teijiro
2 Isozaki, Takashi
2 Iwama, Kazuo
2 Kabashima, Yoshiyuki
2 Kamiura, Naotake
2 Kawamura, Hidenori
2 Kazienko, Przemysław
2 Konagaya, Akihiko
2 Kowada, Shin’ya
2 Kowalski, Robert A.
2 Kurumatani, Koichi
2 Kusalik, Anthony J.
2 Lakhotia, Arun
2 Li, Wilfred W.
2 Lloyd, John Wylie
2 Matsui, Nobuyuki
2 Mello, Paola
2 Miyano, Satoru
2 Mizoguchi, Fumio
2 Muggleton, Stephen H.
2 Murata, Tsuyoshi
2 Nishida, Toyoaki
2 Nishino, Tetsuro
2 Noshita, Kohei
2 Numao, Masayuki
2 Păun, Andrei
2 Păun, Gheorghe
2 Peper, Ferdinand
2 Pérez-Jiménez, Mario J.
2 Puente, Víctor Lavín
2 Rossi, Gianfranco
2 Sato, Taisuke
2 Shinohara, Ayumi
2 Shinohara, Takeshi
2 Sterling, Leon S.
2 Taha, Walid
2 Takama, Yasufumi
2 Takeda, Hideaki
2 Torra, Vicenç
2 Ueno, Maomi
2 Valiron, Benoît
2 Voda, Paul J.
2 Yamashita, Shigeru
2 Yi, Kwangkeun
2 Yokomori, Takashi
2 Yonezawa, Akinori
1 Abe, Akinori
1 Abe, Hidenao
1 Abe, Naoki
1 Abramsky, Samson
1 Abramson, David
1 Adamatzky, Andrew I.
1 Aihara, Kazuyuki
1 Aiso, Hideo
1 Alemandros-Jiménez, Jesús M.
1 Alhazov, Artiom
1 Ali, Khayri A. M.
1 Amamiya, Makoto
1 Amari, Shun-ichi
1 Ang, Larry
1 Aono, Masashi
1 Arduin, Pierre-Jean
1 Arita, Masanori
1 Asada, Minoru
1 Asai, Kenichi
1 Asakawa, Satoshi
1 Augusto, Juan Carlos
1 Auwatanamongkol, Surapong
1 Av-Ron, Evyatar
1 Aylett, Ruth
1 Bała, Piotr
1 Balcázar, José Luis
1 Baldridge, Kim K.
1 Barklund, Jonas
...and 570 more Authors

Publications by Year

Citations contained in zbMATH Open

153 Publications have been cited 791 times in 744 Documents Cited by Year
A logic-based calculus of events. Zbl 1356.68221
Kowalski, Robert; Sergot, Marek
88
1986
Teachability in computational learning. Zbl 0712.68084
Shinohara, Ayumi; Miyano, Satoru
72
1991
The power of communication: P systems with symport/antiport. Zbl 1024.68037
Păun, Andrei; Păun, Gheorghe
68
2002
Polynomial-time inference of arbitrary pattern languages. Zbl 0712.68082
Lange, Steffen; Wiehagen, Rolf
41
1991
Monotonic and non-monotonic inductive inference. Zbl 0712.68081
Jantke, Klaus P.
27
1991
Inductive logic programming. Zbl 0712.68022
Muggleton, Stephen
24
1991
MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063
Fariñas del Cerro, L.
21
1986
The Alexander Method - a technique for the processing of recursive axioms in deductive databases. Zbl 0615.68062
Rohmer, J.; Lescoeur, R.; Kerisit, J. M.
18
1986
Inductive inference of monotonic formal systems from positive data. Zbl 0712.68062
Shinohara, Takeshi
17
1991
DNA sequence design using templates. Zbl 1021.68038
Arita, Masanori; Kobayashi, Satoshi
15
2002
A deductive solution for plan generation. Zbl 0624.68079
Bibel, Wolfgag
15
1986
Formal theories of knowledge in AI and robotics. Zbl 0596.68061
Rosenschein, Stanley J.
14
1985
Compiling a default reasoning system into Prolog. Zbl 0713.68017
Poole, David
13
1991
Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025
Poole, David
13
1993
Declarative error diagnosis. Zbl 0624.68018
Lloyd, J. W.
13
1987
A new deductive approach to planning. Zbl 0711.68026
Hölldobler, Steffen; Schneeberger, Josef
11
1990
A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024
Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern
10
1992
Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516
Sahlin, Dan
10
1993
A machine discovery from amino acid sequences by decision trees over regular patterns. Zbl 0780.68099
Arikawa, Setsuo; Miyano, Satoru; Shinohara, Ayumi; Kuhara, Satoru; Mukouchi, Yasuhito; Shinohara, Takeshi
9
1993
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
9
2002
Chance discoveries for making decisions in complex real world. Zbl 1037.68931
Ohsawa, Yukio
9
2002
Updating knowledge bases. Zbl 0705.68096
Guessoum, A.; Lloyd, J. W.
7
1990
AND parallelism and nondeterminism in logic programs. Zbl 0595.68025
Conery, John S.; Kibler, Dennis F.
7
1985
Solving the subset-problem by P systems with active membrans. Zbl 1092.68043
Pérez Jiménez, Mario J.; Riscos Núñez, Agustín
7
2005
The designs of S-boxes by simulated annealing. Zbl 1103.68047
Clark, John A.; Jacob, Jeremy L.; Stepney, Susan
7
2005
Composing recursive logic programs with clausal join. Zbl 0655.68119
Lakhotia, A.; Sterling, L.
7
1988
Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245
Li, Chunshien; Chiang, Tai-Wei
7
2011
Mathematical theory of neural learning. Zbl 0712.68079
Amari, Shun-ichi
6
1991
The occur-check problem in Prolog. Zbl 0595.68007
Plaisted, David A.
5
1984
Cloud computing: a perspective study. Zbl 1192.68085
Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng
5
2010
The general problem solving algorithm and its implementation. Zbl 0646.68108
Rayward-Smith, V. J.; McKeown, G. P.; Burton, F. W.
5
1988
Linearity and plan generation. Zbl 0654.68100
Fronhöfer, Bertram
5
1987
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
4
1992
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
4
2015
Quantum computation: from a programmer’s perspective. Zbl 1298.81051
Valiron, Benoît
4
2013
Foundation of logic programming based on inductive definition. Zbl 0592.68032
Hagiya, Masami; Sakurai, Takafumi
4
1984
Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048
Fuller, Joanne; Millan, William; Dawson, Ed
4
2005
Exact cover with light. Zbl 1191.68127
Oltean, Mihai; Muntean, Oana
4
2008
Mixed computation of Prolog programs. Zbl 0654.68021
Fuller, David A.; Abramsky, Samson
4
1988
Partial evaluation of metaprograms in a “multiple worlds” logic language. Zbl 0654.68022
Levi, Giorgio; Sardu, Giuseppe
4
1988
A self-applicable partial evaluator and its use in incremental compilation. Zbl 0654.68024
Fujita, Hiroshi; Furukawa, Koichi
4
1988
Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
3
2008
Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011
Ozawa, Masanao
3
2016
Strict completion of logic programs. Zbl 0714.68084
Drabent, Wlodzimierz; Martelli, Maurizio
3
1991
How to invent a Prolog machine. Zbl 0614.68020
Kursawe, Peter
3
1987
The BC-chain method for representing combinators in linear space. Zbl 0594.68034
Noshita, Kohei; Hikita, Teruo
3
1985
Temporal disjunctive logic programming. Zbl 0973.68028
Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis
3
2001
Results on catalytic and evolution-communication P systems. Zbl 1085.68051
Krishna, Shankara Narayanan; Păun, Andrei
3
2004
P transducers. Zbl 1103.68050
Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge
3
2006
Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001
Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki
3
2009
Factorizing RSA keys, an improved analogue solution. Zbl 1180.68148
Blakey, Ed
3
2009
Analysis of the univariate microaggregation disclosure risk. Zbl 1183.68251
Nin, Jordi; Torra, Vicenç
3
2009
An execution model for exploiting AND-parallelism in logic programs. Zbl 0637.68029
Lin, Yow-Jian; Kumar, Vipin
3
1988
Annotated bibliography on partial evaluation and mixed computation. Zbl 0646.68016
Sestoft, Peter; Zamulin, Alexander V.
3
1988
An efficient Bayesian network structure learning strategy. Zbl 1442.68205
Suzuki, Joe
2
2017
A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015
Uijlen, Sander; Westerbaan, Bas
2
2016
GeoMergeP: geographic information integration through enriched ontology matching. Zbl 1191.68815
Buccella, Agustina; Cechich, Alejandra; Gendarmi, Domenico; Lanubile, Filippo; Semeraro, Giovanni; Colagrossi, Attilio
2
2010
An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028
Deransart, Pierre; Ferrand, Gérard
2
1992
Learning commutative deterministic finite state automata in polynomial time. Zbl 0712.68078
Abe, Naoki
2
1991
On the role of interpretive analogy in learning. Zbl 0712.68080
Indurkhya, Bipin
2
1991
Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083
Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji
2
1993
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Distributed programming with logic tuple spaces. Zbl 0806.68014
Ciancarini, Paolo
2
1994
Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092
Lavín Puente, Víctor
2
2015
Maximal unifiable subsets and minimal non-unifiable subsets. Zbl 0591.68083
Chen, T. Y.; Lassez, J.-L.; Port, G. S.
2
1986
BUP: A bottom-up parser embedded in Prolog. Zbl 0592.68074
Matsumoto, Yuji; Tanaka, Hozumi; Hirakawa, Hideki; Miyoshi, Hideo; Yasukawa, Hideki
2
1983
Bounded-wait merge in Shapiro’s concurrent Prolog. Zbl 0596.68012
Kusalik, Anthony J.
2
1984
A view of programming languages as symbiosis of meaning and computations. Zbl 0598.68009
Voda, Paul J.
2
1985
Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035
Asai, Kenichi
2
2002
The emerging discipline of biomolecular computation in the US. Zbl 1024.68034
Reif, John H.
2
2002
On some operations on strings suggested by gene assembly in ciliates. Zbl 1021.68039
Freund, Rudolf; Martín-Vide, Carlos; Mitrana, Victor
2
2002
Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025
Head, Tom
2
2001
Quantum entanglement as a new information processing resource. Zbl 1101.81313
Gruska, Jozef
2
2003
A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505
Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro
2
2004
Minimizing evolution communication P systems and automata. Zbl 1085.68047
Alhazov, Artiom
2
2004
Languages generated by P systems with active membranes. Zbl 1085.68049
Bernardini, Francesco; Gheorghe, Marian
2
2004
Implicitly heterogeneous multi-stage programming. Zbl 1161.68379
Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid
2
2007
Block cipher based on reversible cellular automata. Zbl 1103.68049
Seredynski, Marcin; Bouvry, Pascal
2
2005
Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613
O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T.
2
2006
Defect-tolerance in cellular nanocomputers. Zbl 1114.68011
Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki
2
2007
Computational ability of cells based on cell dynamics and adaptability. Zbl 1192.68653
Nakagaki, Toshiyuki; Tero, Atsushi; Kobayashi, Ryo; Onishi, Isamu; Miyaji, Tomoyuki
2
2009
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. Zbl 1192.68130
Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel
2
2010
Making exhaustive search programs deterministic. Zbl 0631.68074
Ueda, Kazunori
2
1987
The recursive resolution method for modal logic. Zbl 0648.03005
Chan, Man-chung
2
1987
Specialisation of Prolog and FCP programs using abstract interpretation. Zbl 0654.68025
Gallagher, John; Codish, Michael; Shapiro, Ehud
2
1988
Unfolding rules for GHC programs. Zbl 0654.68104
Furukawa, Koichi; Okumura, Akira; Murakami, Masaki
2
1988
Interactive visualization of news distribution in blog space. Zbl 1169.68394
Takama, Yasufumi; Matsumura, Akio; Kajinami, Tomoki
1
2008
On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007
Zou, Yuan; Roos, Teemu
1
2017
Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090
de Campos, Cassio P.; Benavoli, Alessio
1
2017
Semantics for a quantum programming language by operator algebras. Zbl 1443.68041
Cho, Kenta
1
2016
Terminality implies no-signalling…and much more than that. Zbl 1396.81010
Coecke, Bob
1
2016
Tensors, !-graphs, and non-commutative quantum structures. Zbl 1405.16043
Kissinger, Aleks; Quick, David
1
2016
An approach to data reduction and integrated machine classification. Zbl 1191.68493
Czarnowski, Ireneusz; Jȩdrzejowicz, Piotr
1
2010
\(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus. Zbl 0741.68025
Schmittgen, C.; Blödorn, H.; Kluge, W.
1
1992
Performance of Muse on switch-based multiprocessor machines. Zbl 0782.68018
Ali, Khayri A. M.; Karlsson, Roland; Mudambi, Shyam
1
1992
An epistemic model of logic programming. Zbl 0705.68031
Jiang, Y. J.
1
1990
How to control unfolding when specializing interpreters. Zbl 0705.68035
Lakhotia, Arun; Sterling, Leon
1
1990
Parsing and generation with static discontinuity grammars. Zbl 0711.68071
Dahl, Veronica; Popowich, Fred
1
1990
Synthesis of rewrite programs by higher-order and semantic unification. Zbl 0712.68057
Hagiya, Masami
1
1991
Well-founded semantics and stratification for ordered logic programs. Zbl 0798.68029
Leone, N.; Rossi, G.
1
1993
An efficient Bayesian network structure learning strategy. Zbl 1442.68205
Suzuki, Joe
2
2017
On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007
Zou, Yuan; Roos, Teemu
1
2017
Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090
de Campos, Cassio P.; Benavoli, Alessio
1
2017
Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011
Ozawa, Masanao
3
2016
A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015
Uijlen, Sander; Westerbaan, Bas
2
2016
Semantics for a quantum programming language by operator algebras. Zbl 1443.68041
Cho, Kenta
1
2016
Terminality implies no-signalling…and much more than that. Zbl 1396.81010
Coecke, Bob
1
2016
Tensors, !-graphs, and non-commutative quantum structures. Zbl 1405.16043
Kissinger, Aleks; Quick, David
1
2016
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
4
2015
Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092
Lavín Puente, Víctor
2
2015
Quantum computation: from a programmer’s perspective. Zbl 1298.81051
Valiron, Benoît
4
2013
Preface: Special issue on advanced methodologies for Bayesian networks. Zbl 1333.00056
Ueno, Maomi
1
2012
Quantum computation: a tutorial. Zbl 1298.81050
Valiron, Benoît
1
2012
Quantum computing vs. coherent computing. Zbl 1356.81114
Yamamoto, Yoshihisa; Takata, Kenta; Utsunomiya, Shoko
1
2012
Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245
Li, Chunshien; Chiang, Tai-Wei
7
2011
Weak updates and separation logic. Zbl 1251.68050
Tan, Gang; Shao, Zhong; Feng, Xinyu; Cai, Hongxu
1
2011
Classical natural deduction for S4 modal logic. Zbl 1251.68071
Kimura, Daisuke; Kakutani, Yoshihiko
1
2011
On the decidability of subtyping with bounded existential types and implementation constraints. Zbl 1251.68075
Wehr, Stefan; Thiemann, Peter
1
2011
Boosting-based sequential output prediction. Zbl 1251.68180
Kajdanowicz, Tomasz; Kazienko, Przemysław
1
2011
Paraconsistent computation tree logic. Zbl 1251.68227
Kaneiwa, Ken; Kamide, Norihiro
1
2011
Cloud computing: a perspective study. Zbl 1192.68085
Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng
5
2010
GeoMergeP: geographic information integration through enriched ontology matching. Zbl 1191.68815
Buccella, Agustina; Cechich, Alejandra; Gendarmi, Domenico; Lanubile, Filippo; Semeraro, Giovanni; Colagrossi, Attilio
2
2010
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. Zbl 1192.68130
Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel
2
2010
An approach to data reduction and integrated machine classification. Zbl 1191.68493
Czarnowski, Ireneusz; Jȩdrzejowicz, Piotr
1
2010
Model-based fault localization: finding behavioral outliers in large-scale computing systems. Zbl 1205.68099
Maruyama, Naoya; Matsuoka, Satoshi
1
2010
Gfarm Grid file system. Zbl 1205.68058
Tatebe, Osamu; Hiraga, Kohei; Soda, Noriyuki
1
2010
Image annotation and retrieval for weakly labeled images using conceptual learning. Zbl 1205.68481
Harada, Tatsuya; Nakayama, Hideki; Kuniyoshi, Yasuo; Otsu, Nobuyuki
1
2010
Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001
Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki
3
2009
Factorizing RSA keys, an improved analogue solution. Zbl 1180.68148
Blakey, Ed
3
2009
Analysis of the univariate microaggregation disclosure risk. Zbl 1183.68251
Nin, Jordi; Torra, Vicenç
3
2009
Computational ability of cells based on cell dynamics and adaptability. Zbl 1192.68653
Nakagaki, Toshiyuki; Tero, Atsushi; Kobayashi, Ryo; Onishi, Isamu; Miyaji, Tomoyuki
2
2009
RNA oscillator: limit cycle oscillations based on artificial biomolecular reactions. Zbl 1193.92049
Takinoue, Masahiro; Kiga, Daisuke; Shohda, Koh-Ichiroh; Suyama, Akira
1
2009
Selection and setting of an intelligent fuzzy regulator based on nonlinear model simulations of a helicopter in hover. Zbl 1180.93010
Król, Dariusz; Lower, Michał; Szlachetko, Bogusław
1
2009
On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508
Takeda, Akiko; Sugiyama, Masashi
1
2009
Efficient leave-\(m\)-out cross-validation of support vector regression by generalizing decremental algorithm. Zbl 1185.68535
Karasuyama, Masayuki; Takeuchi, Ichiro; Nakano, Ryohei
1
2009
Exact cover with light. Zbl 1191.68127
Oltean, Mihai; Muntean, Oana
4
2008
Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
3
2008
Interactive visualization of news distribution in blog space. Zbl 1169.68394
Takama, Yasufumi; Matsumura, Akio; Kajinami, Tomoki
1
2008
Double layer ACO algorithm for the multi-objective FJSSP. Zbl 1175.90201
Xing, Li-Ning; Chen, Ying-Wu; Yang, Ke-Wei
1
2008
Implicitly heterogeneous multi-stage programming. Zbl 1161.68379
Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid
2
2007
Defect-tolerance in cellular nanocomputers. Zbl 1114.68011
Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki
2
2007
Exploiting temporal relations in mining hepatitis data. Zbl 1154.68371
Ho, Tu-Bao; Nguyen, Canh-Hao; Kawasaki, Saori; Le, Si-Quang; Takabayashi, Katsuhiko
1
2007
Description logics with contraries, contradictories, and subcontraries. Zbl 1137.68055
Kaneiwa, Ken
1
2007
Measuring evolving data streams’ behavior through their intrinsic dimension. Zbl 1119.68361
de Sousa, Elaine P. M.; Traina, Agma J. M.; Traina, Caetano jun.; Faloutsos, Christos
1
2007
On the use of virtual animals with artificial fear an virtual environments. Zbl 1112.68491
Delgado-Mata, Carlos; Ibanez Martinez, Jesus; Bee, Simon; Ruiz-Rodarte, Rocio; Aylett, Ruth
1
2007
P transducers. Zbl 1103.68050
Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge
3
2006
Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613
O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T.
2
2006
The transformational creativity hypothesis. Zbl 1108.68548
Ritchie, Graeme
1
2006
Story planning as exploratory creativity: techniques for expanding the narrative search space. Zbl 1108.68547
Riedl, Mark O.; Young, R. Michael
1
2006
Solving the subset-problem by P systems with active membrans. Zbl 1092.68043
Pérez Jiménez, Mario J.; Riscos Núñez, Agustín
7
2005
The designs of S-boxes by simulated annealing. Zbl 1103.68047
Clark, John A.; Jacob, Jeremy L.; Stepney, Susan
7
2005
Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048
Fuller, Joanne; Millan, William; Dawson, Ed
4
2005
Block cipher based on reversible cellular automata. Zbl 1103.68049
Seredynski, Marcin; Bouvry, Pascal
2
2005
New results on the genetic cryptanalysis of TEA and reduced-round versions of XTEA. Zbl 1093.68590
Hernández Castro, Julio César; Isasi Viñuela, Pedro
1
2005
Results on catalytic and evolution-communication P systems. Zbl 1085.68051
Krishna, Shankara Narayanan; Păun, Andrei
3
2004
A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505
Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro
2
2004
Minimizing evolution communication P systems and automata. Zbl 1085.68047
Alhazov, Artiom
2
2004
Languages generated by P systems with active membranes. Zbl 1085.68049
Bernardini, Francesco; Gheorghe, Marian
2
2004
Selecting potentially relevant records using re-identification methods. Zbl 1088.68564
Domingo-Ferrer, Josep; Torra, Vicenç
1
2004
The encyclopedia of life project: Grid software and deployment. Zbl 1083.68512
Li, Wilfred W.; Byrnes, Robert W.; Hayes, Jim; Birnbaum, Adam; Reyes, Vicente M.; Shahab, Atif; Mosley, Coleman; Pekurovsky, Dmitry; Quinn, Greg B.; Shindyalov, Ilya N.; Casanova, Henri; Ang, Larry; Berman, Fran; Arzberger, Peter W.; Miller, Mark A.; Bourne, Philip E.
1
2004
Biological structure determination by EM is well suited to grid computing. Zbl 1084.68932
Fernandez, Jose-Jesus; Bilbao-Castro, Jose-Roman; Marabini, Roberto; Carazo, Jose-Maria; Garcia, Inmaculada
1
2004
MOLECULAR DOCKING: An example of grid enabled applications. Zbl 1102.68377
Tantoso, Erwin; Wahab, Habibah A.; Chan, Huah Yong
1
2004
Tutorial on ontological engineering. III: Advanced course of ontological engineering. Zbl 1099.68746
Mizoguchi, Riichiro
1
2004
Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028
Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun
1
2004
Hierarchies of parallel rewriting P systems – a survey. Zbl 1085.68073
Besozzi, Daniela; Mauri, Giancarlo; Zandron, Claudio
1
2004
A Prolog simulator for deterministic P systems with active membranes. Zbl 1085.68016
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Sancho-Caparrini, Fernando
1
2004
Semantic web: a road to the knowledge infrastructure on the internet. Zbl 1085.68573
Takeda, Hideaki
1
2004
Quantum entanglement as a new information processing resource. Zbl 1101.81313
Gruska, Jozef
2
2003
Web information visualization method employing immune network model for finding topic stream from document-set sequence. Zbl 1034.68004
Takama, Yasufumi; Hirota, Kaoru
1
2003
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546
Loveland, Donald W.; Yahya, Adnan H.
1
2003
Transformation rules for CNOT-based quantum circuits and their applications. Zbl 1101.81316
Iwama, Kazuo; Yamashita, Shigeru
1
2003
Tutorial on ontological engineering. I: Introduction to ontological engineering. Zbl 1088.68785
Mizoguchi, Riichiro
1
2003
The power of communication: P systems with symport/antiport. Zbl 1024.68037
Păun, Andrei; Păun, Gheorghe
68
2002
DNA sequence design using templates. Zbl 1021.68038
Arita, Masanori; Kobayashi, Satoshi
15
2002
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
9
2002
Chance discoveries for making decisions in complex real world. Zbl 1037.68931
Ohsawa, Yukio
9
2002
Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035
Asai, Kenichi
2
2002
The emerging discipline of biomolecular computation in the US. Zbl 1024.68034
Reif, John H.
2
2002
On some operations on strings suggested by gene assembly in ciliates. Zbl 1021.68039
Freund, Rudolf; Martín-Vide, Carlos; Mitrana, Victor
2
2002
Program transformation system based on generalized partial computation. Zbl 0994.68132
Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert
1
2002
Mathematical models of quantum computation. Zbl 1013.68089
Nishino, Tetsuro
1
2002
Temporal disjunctive logic programming. Zbl 0973.68028
Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis
3
2001
Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025
Head, Tom
2
2001
Preference queries in deductive databases. Zbl 0973.68053
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya
1
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
1
2001
Logic-based genetic programming with definite clause translation grammars. Zbl 0991.68033
Ross, Brian J.
1
2001
Distributed programming with logic tuple spaces. Zbl 0806.68014
Ciancarini, Paolo
2
1994
The query complexity of learning DFA. Zbl 0812.68107
Balcázar, José L.; Díaz, Josep; Gavaldà, Ricard; Watanabe, Osamu
1
1994
Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025
Poole, David
13
1993
Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516
Sahlin, Dan
10
1993
A machine discovery from amino acid sequences by decision trees over regular patterns. Zbl 0780.68099
Arikawa, Setsuo; Miyano, Satoru; Shinohara, Ayumi; Kuhara, Satoru; Mukouchi, Yasuhito; Shinohara, Takeshi
9
1993
Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083
Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji
2
1993
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Well-founded semantics and stratification for ordered logic programs. Zbl 0798.68029
Leone, N.; Rossi, G.
1
1993
A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024
Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern
10
1992
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
4
1992
An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028
Deransart, Pierre; Ferrand, Gérard
2
1992
\(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus. Zbl 0741.68025
Schmittgen, C.; Blödorn, H.; Kluge, W.
1
1992
Performance of Muse on switch-based multiprocessor machines. Zbl 0782.68018
Ali, Khayri A. M.; Karlsson, Roland; Mudambi, Shyam
1
1992
Teachability in computational learning. Zbl 0712.68084
Shinohara, Ayumi; Miyano, Satoru
72
1991
...and 53 more Documents
all top 5

Cited by 1,283 Authors

24 Jain, Sanjay
21 Stephan, Frank
18 Pérez-Jiménez, Mario J.
16 Pan, Linqiang
13 Case, John
13 Zeugmann, Thomas
12 Lange, Steffen
11 Song, Bosheng
11 Vidal, Germán
9 Ibarra, Oscar H.
9 Zilles, Sandra
8 Alhazov, Artiom
8 Thielscher, Michael
7 Artikis, Alexander
7 Orellana-Martín, David
7 Reidenbach, Daniel
7 Sosík, Petr
7 Valencia-Cabrera, Luis
6 Albert, Elvira
6 Inoue, Katsumi
6 Paliouras, Georgios
6 Riscos-Núñez, Agustín
6 Sadri, Fariba
5 Brogi, Antonio
5 Cabalar, Pedro
5 Csuhaj-Varjú, Erzsébet
5 Gao, Ziyuan
5 Halpern, Joseph Yehuda
5 Kari, Lila
5 Kinber, Efim B.
5 Lamma, Evelina
5 Mello, Paola
5 Muggleton, Stephen H.
5 Păun, Andrei
5 Puebla, Germán
5 Riguzzi, Fabrizio
5 Russo, Alessandra M.
5 Schaub, Torsten H.
5 Sharma, Arun K.
5 Verlan, Sergey
4 Bruynooghe, Maurice
4 Caballero, Rafael E.
4 Ciobanu, Gabriel
4 De Raedt, Luc
4 De Schreye, Danny
4 Eiter, Thomas
4 Konstantinidis, Stavros
4 Kowalski, Robert A.
4 Levesque, Hector J.
4 Nishida, Naoki
4 Păun, Gheorghe
4 Schmid, Markus L.
4 Simon, Hans-Ulrich
3 Balbach, Frank J.
3 Baral, Chitta R.
3 Blakey, Ed
3 Broda, Krysia B.
3 Ceterchi, Rodica
3 Díaz-Pernil, Daniel
3 Dick, Scott
3 Diéguez, Martín
3 Enjalbert, Patrice
3 Freund, Rudolf
3 Frisco, Pierluigi
3 Fronhöfer, Bertram
3 Grieser, Gunter
3 Gupta, Gopal K.
3 Gutiérrez-Naranjo, Miguel A.
3 Hermenegildo, Manuel V.
3 Hoogeboom, Hendrik Jan
3 Isokawa, Teijiro
3 Kimmig, Angelika
3 Kötzing, Timo
3 Law, Mark M.
3 Leporati, Alberto
3 Lisper, Björn
3 Mancarella, Paolo
3 Martí-Oliet, Narciso
3 Martin, Éric A.
3 Nessel, Jochen
3 Nguyen, Linh Anh
3 Pass, Rafael
3 Peper, Ferdinand
3 Pettorossi, Alberto
3 Prade, Henri M.
3 Proietti, Maurizio
3 Rayward-Smith, Victor J.
3 Riesco, Adrián
3 Rodríguez-Patón, Alfonso
3 Sato, Taisuke
3 Sterling, Leon S.
3 Torra, Vicenç
3 Vaszil, Gyorgy
3 Verdejo, Alberto
3 Wiehagen, Rolf
3 Yazdanbakhsh, Omolbanin
3 Zandron, Claudio
3 Zhang, Zhiqiang
2 Aihara, Kazuyuki
2 Alferes, José Júlio
...and 1,183 more Authors
all top 5

Cited in 114 Journals

133 Theoretical Computer Science
65 New Generation Computing
47 Artificial Intelligence
24 Information and Computation
23 Theory and Practice of Logic Programming
18 International Journal of Foundations of Computer Science
16 Machine Learning
15 Annals of Mathematics and Artificial Intelligence
13 Natural Computing
12 Information Processing Letters
11 Journal of Computer and System Sciences
11 Journal of Symbolic Computation
11 Journal of Automated Reasoning
9 Information Sciences
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
8 Journal of Applied Non-Classical Logics
8 Journal of Applied Logic
8 Journal of Membrane Computing
7 Discrete Applied Mathematics
7 International Journal of Approximate Reasoning
7 International Journal of Applied Mathematics and Computer Science
6 International Journal of Computer Mathematics
5 Acta Informatica
5 International Journal of Parallel Programming
5 Journal of Functional Programming
4 Applied Mathematics and Computation
4 Journal of Philosophical Logic
4 Annals of Pure and Applied Logic
4 MSCS. Mathematical Structures in Computer Science
3 Kybernetika
3 Studia Logica
3 Journal of Computer Science and Technology
3 Applied Mathematics Letters
3 Annals of Operations Research
3 Applied Intelligence
3 Journal of Logic, Language and Information
3 Soft Computing
3 Higher-Order and Symbolic Computation
3 The Journal of Logic and Algebraic Programming
2 International Journal of Theoretical Physics
2 Synthese
2 Science of Computer Programming
2 Formal Aspects of Computing
2 European Journal of Operational Research
2 Applicable Algebra in Engineering, Communication and Computing
2 Fundamenta Informaticae
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 ACM Transactions on Computational Logic
2 Computational Intelligence
2
2 New Mathematics and Natural Computation
2 Cryptography and Communications
1 International Journal of General Systems
1 Journal of the Franklin Institute
1 Journal of Mathematical Physics
1 Mathematical Biosciences
1 Mathematical Methods in the Applied Sciences
1 Computing
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Journal of Mathematical Psychology
1 Journal of Optimization Theory and Applications
1 Mathematical Systems Theory
1 Software. Practice & Experience
1 Journal of Complexity
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Journal of Cryptology
1 Real-Time Systems
1 Neural Computation
1 Artificial Intelligence Review
1 International Journal of Robust and Nonlinear Control
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Cybernetics and Systems Analysis
1 Computational Optimization and Applications
1 Journal of Computer and Systems Sciences International
1 Finite Fields and their Applications
1 Complexity
1 Computer Science Journal of Moldova
1 Computational & Mathematical Organization Theory
1 International Transactions in Operational Research
1 Theory of Computing Systems
1 Chaos
1 Data Mining and Knowledge Discovery
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 Nonlinear Analysis. Real World Applications
1 Quantitative Finance
1 International Studies in the Philosophy of Science
1 Journal of Applied Mathematics
1 Entropy
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Journal of Applied Mathematics and Computing
1 Quantum Information Processing
1 Statistical Methods in Medical Research
1 Parallel Processing Letters
1 International Journal of Parallel, Emergent and Distributed Systems
1 Annales Universitatis Mariae Curie-Skłodowska. Sectio A1. Informatica
1 Mathematics in Computer Science
...and 14 more Journals
all top 5

Cited in 35 Fields

673 Computer science (68-XX)
112 Mathematical logic and foundations (03-XX)
37 Information and communication theory, circuits (94-XX)
34 Biology and other natural sciences (92-XX)
23 Operations research, mathematical programming (90-XX)
18 Quantum theory (81-XX)
17 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
16 Statistics (62-XX)
15 Combinatorics (05-XX)
9 Ordinary differential equations (34-XX)
9 Numerical analysis (65-XX)
8 Systems theory; control (93-XX)
7 Order, lattices, ordered algebraic structures (06-XX)
5 Dynamical systems and ergodic theory (37-XX)
3 General and overarching topics; collections (00-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Group theory and generalizations (20-XX)
3 Measure and integration (28-XX)
3 Functional analysis (46-XX)
2 History and biography (01-XX)
2 Associative rings and algebras (16-XX)
2 Category theory; homological algebra (18-XX)
2 Optics, electromagnetic theory (78-XX)
2 Relativity and gravitational theory (83-XX)
1 Number theory (11-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Nonassociative rings and algebras (17-XX)
1 Difference and functional equations (39-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Algebraic topology (55-XX)
1 Mechanics of particles and systems (70-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Geophysics (86-XX)

Citations by Year