×

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: Journal; 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 Kunihiro, Noboru
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.
...and 569 more Authors

Publications by Year

Citations contained in zbMATH Open

156 Publications have been cited 1,010 times in 905 Documents Cited by Year
A logic-based calculus of events. Zbl 1356.68221
Kowalski, Robert; Sergot, Marek
107
1986
The power of communication: P systems with symport/antiport. Zbl 1024.68037
Păun, Andrei; Păun, Gheorghe
86
2002
Teachability in computational learning. Zbl 0712.68084
Shinohara, Ayumi; Miyano, Satoru
76
1991
Inductive logic programming. Zbl 0712.68022
Muggleton, Stephen
54
1991
Polynomial-time inference of arbitrary pattern languages. Zbl 0712.68082
Lange, Steffen; Wiehagen, Rolf
44
1991
Monotonic and non-monotonic inductive inference. Zbl 0712.68081
Jantke, Klaus P.
36
1991
MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063
Fariñas del Cerro, L.
24
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.
19
1986
Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025
Poole, David
18
1993
Inductive inference of monotonic formal systems from positive data. Zbl 0712.68062
Shinohara, Takeshi
17
1991
A deductive solution for plan generation. Zbl 0624.68079
Bibel, Wolfgag
16
1986
Formal theories of knowledge in AI and robotics. Zbl 0596.68061
Rosenschein, Stanley J.
15
1985
DNA sequence design using templates. Zbl 1021.68038
Arita, Masanori; Kobayashi, Satoshi
15
2002
Declarative error diagnosis. Zbl 0624.68018
Lloyd, J. W.
14
1987
Compiling a default reasoning system into Prolog. Zbl 0713.68017
Poole, David
13
1991
A new deductive approach to planning. Zbl 0711.68026
Hölldobler, Steffen; Schneeberger, Josef
12
1990
Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516
Sahlin, Dan
12
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
11
1993
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
10
2002
The designs of S-boxes by simulated annealing. Zbl 1103.68047
Clark, John A.; Jacob, Jeremy L.; Stepney, Susan
10
2005
A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024
Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern
10
1992
Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011
Ozawa, Masanao
10
2016
Solving the subset-problem by P systems with active membrans. Zbl 1092.68043
Pérez Jiménez, Mario J.; Riscos Núñez, Agustín
9
2005
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
9
2015
Chance discoveries for making decisions in complex real world. Zbl 1037.68931
Ohsawa, Yukio
9
2002
The occur-check problem in Prolog. Zbl 0595.68007
Plaisted, David A.
8
1984
Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245
Li, Chunshien; Chiang, Tai-Wei
8
2011
Composing recursive logic programs with clausal join. Zbl 0655.68119
Lakhotia, A.; Sterling, L.
7
1988
AND parallelism and nondeterminism in logic programs. Zbl 0595.68025
Conery, John S.; Kibler, Dennis F.
7
1985
Updating knowledge bases. Zbl 0705.68096
Guessoum, A.; Lloyd, J. W.
7
1990
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
7
1992
A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505
Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro
6
2004
Mathematical theory of neural learning. Zbl 0712.68079
Amari, Shun-ichi
6
1991
The general problem solving algorithm and its implementation. Zbl 0646.68108
Rayward-Smith, V. J.; McKeown, G. P.; Burton, F. W.
5
1988
A self-applicable partial evaluator and its use in incremental compilation. Zbl 0654.68024
Fujita, Hiroshi; Furukawa, Koichi
5
1988
Linearity and plan generation. Zbl 0654.68100
Fronhöfer, Bertram
5
1987
Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001
Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki
5
2009
Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048
Fuller, Joanne; Millan, William; Dawson, Ed
5
2005
Foundation of logic programming based on inductive definition. Zbl 0592.68032
Hagiya, Masami; Sakurai, Takafumi
5
1984
Strict completion of logic programs. Zbl 0714.68084
Drabent, Wlodzimierz; Martelli, Maurizio
5
1991
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
Semantics for a quantum programming language by operator algebras. Zbl 1443.68041
Cho, Kenta
5
2016
Terminality implies no-signalling…and much more than that. Zbl 1396.81010
Coecke, Bob
5
2016
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
Defect-tolerance in cellular nanocomputers. Zbl 1114.68011
Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki
4
2007
Exact cover with light. Zbl 1191.68127
Oltean, Mihai; Muntean, Oana
4
2008
Quantum entanglement as a new information processing resource. Zbl 1101.81313
Gruska, Jozef
4
2003
How to invent a Prolog machine. Zbl 0614.68020
Kursawe, Peter
4
1987
Results on catalytic and evolution-communication P systems. Zbl 1085.68051
Krishna, Shankara Narayanan; Păun, Andrei
4
2004
Quantum computation: from a programmer’s perspective. Zbl 1298.81051
Valiron, Benoît
4
2013
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
4
2010
An efficient Bayesian network structure learning strategy. Zbl 1442.68205
Suzuki, Joe
4
2017
A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015
Uijlen, Sander; Westerbaan, Bas
4
2016
Making exhaustive search programs deterministic. Zbl 0631.68074
Ueda, Kazunori
3
1987
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
Unfolding rules for GHC programs. Zbl 0654.68104
Furukawa, Koichi; Okumura, Akira; Murakami, Masaki
3
1988
Implicitly heterogeneous multi-stage programming. Zbl 1161.68379
Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid
3
2007
Temporal disjunctive logic programming. Zbl 0973.68028
Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis
3
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
3
2001
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
P transducers. Zbl 1103.68050
Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge
3
2006
Block cipher based on reversible cellular automata. Zbl 1103.68049
Seredynski, Marcin; Bouvry, Pascal
3
2005
The BC-chain method for representing combinators in linear space. Zbl 0594.68034
Noshita, Kohei; Hikita, Teruo
3
1985
Languages generated by P systems with active membranes. Zbl 1085.68049
Bernardini, Francesco; Gheorghe, Marian
3
2004
On the role of interpretive analogy in learning. Zbl 0712.68080
Indurkhya, Bipin
3
1991
Grammar-related transformations of logic programs. Zbl 0722.68019
Brough, D. R.; Hogger, C. J.
3
1991
Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
3
2008
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
Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613
O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T.
2
2006
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
Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025
Head, Tom
2
2001
Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035
Asai, Kenichi
2
2002
Program transformation system based on generalized partial computation. Zbl 0994.68132
Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert
2
2002
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
On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508
Takeda, Akiko; Sugiyama, Masashi
2
2009
Mathematical models of quantum computation. Zbl 1013.68089
Nishino, Tetsuro
2
2002
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
Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028
Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun
2
2004
Minimizing evolution communication P systems and automata. Zbl 1085.68047
Alhazov, Artiom
2
2004
Synthesis of rewrite programs by higher-order and semantic unification. Zbl 0712.68057
Hagiya, Masami
2
1991
Learning commutative deterministic finite state automata in polynomial time. Zbl 0712.68078
Abe, Naoki
2
1991
An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028
Deransart, Pierre; Ferrand, Gérard
2
1992
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
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
Paraconsistent computation tree logic. Zbl 1251.68227
Kaneiwa, Ken; Kamide, Norihiro
2
2011
Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090
de Campos, Cassio P.; Benavoli, Alessio
2
2017
Multi-layer logic - a predicate logic including data structure as knowledge representation language. Zbl 0635.68110
Ohsuga, S.; Yamauchi, H.
1
1985
Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs. Zbl 0637.68015
Takeichi, Masato
1
1988
Opening key-note speech. Zbl 0654.68007
Ershov, Andrei P.
1
1988
An efficient Bayesian network structure learning strategy. Zbl 1442.68205
Suzuki, Joe
4
2017
Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090
de Campos, Cassio P.; Benavoli, Alessio
2
2017
On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007
Zou, Yuan; Roos, Teemu
1
2017
Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011
Ozawa, Masanao
10
2016
Semantics for a quantum programming language by operator algebras. Zbl 1443.68041
Cho, Kenta
5
2016
Terminality implies no-signalling…and much more than that. Zbl 1396.81010
Coecke, Bob
5
2016
A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015
Uijlen, Sander; Westerbaan, Bas
4
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
9
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
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
Preface: Special issue on advanced methodologies for Bayesian networks. Zbl 1333.00056
1
2012
Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245
Li, Chunshien; Chiang, Tai-Wei
8
2011
Paraconsistent computation tree logic. Zbl 1251.68227
Kaneiwa, Ken; Kamide, Norihiro
2
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
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
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
4
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
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
5
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
On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508
Takeda, Akiko; Sugiyama, Masashi
2
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
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
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
Double layer ACO algorithm for the multi-objective FJSSP. Zbl 1175.90201
Xing, Li-Ning; Chen, Ying-Wu; Yang, Ke-Wei
1
2008
Interactive visualization of news distribution in blog space. Zbl 1169.68394
Takama, Yasufumi; Matsumura, Akio; Kajinami, Tomoki
1
2008
Defect-tolerance in cellular nanocomputers. Zbl 1114.68011
Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki
4
2007
Implicitly heterogeneous multi-stage programming. Zbl 1161.68379
Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid
3
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
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
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
Re-representation and creative analogy: a lexico-semantic perspective. Zbl 1108.68605
Veale, Tony
1
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
The designs of S-boxes by simulated annealing. Zbl 1103.68047
Clark, John A.; Jacob, Jeremy L.; Stepney, Susan
10
2005
Solving the subset-problem by P systems with active membrans. Zbl 1092.68043
Pérez Jiménez, Mario J.; Riscos Núñez, Agustín
9
2005
Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048
Fuller, Joanne; Millan, William; Dawson, Ed
5
2005
Block cipher based on reversible cellular automata. Zbl 1103.68049
Seredynski, Marcin; Bouvry, Pascal
3
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
A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505
Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro
6
2004
Results on catalytic and evolution-communication P systems. Zbl 1085.68051
Krishna, Shankara Narayanan; Păun, Andrei
4
2004
Languages generated by P systems with active membranes. Zbl 1085.68049
Bernardini, Francesco; Gheorghe, Marian
3
2004
Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028
Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun
2
2004
Minimizing evolution communication P systems and automata. Zbl 1085.68047
Alhazov, Artiom
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
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
4
2003
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546
Loveland, Donald W.; Yahya, Adnan H.
1
2003
Belief revision via Lamarckian evolution. Zbl 1089.68598
Lamma, Evelina; Riguzzi, Fabrizio; Pereira, Luís Moniz
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
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
The power of communication: P systems with symport/antiport. Zbl 1024.68037
Păun, Andrei; Păun, Gheorghe
86
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
10
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
Program transformation system based on generalized partial computation. Zbl 0994.68132
Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert
2
2002
Mathematical models of quantum computation. Zbl 1013.68089
Nishino, Tetsuro
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
Temporal disjunctive logic programming. Zbl 0973.68028
Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis
3
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
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
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
18
1993
Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516
Sahlin, Dan
12
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
11
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
Difference-list transformation for Prolog. Zbl 0774.68027
Marriott, Kim; Søndergaard, Harald
1
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
7
1992
An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028
Deransart, Pierre; Ferrand, Gérard
2
1992
...and 56 more Documents
all top 5

Cited by 1,508 Authors

27 Jain, Sanjay
25 Stephan, Frank
20 Pérez-Jiménez, Mario J.
17 Pan, Linqiang
16 Case, John
16 Song, Bosheng
14 Zeugmann, Thomas
12 Lange, Steffen
12 Vidal, Germán
11 Muggleton, Stephen H.
9 Alhazov, Artiom
9 Artikis, Alexander
9 Ibarra, Oscar H.
9 Inoue, Katsumi
9 Orellana-Martín, David
9 Valencia-Cabrera, Luis
9 Zilles, Sandra
8 Hermenegildo, Manuel V.
8 Lamma, Evelina
8 Paliouras, Georgios
8 Riguzzi, Fabrizio
8 Russo, Alessandra M.
8 Sosík, Petr
8 Thielscher, Michael
7 Gupta, Gopal
7 Kinber, Efim B.
7 Reidenbach, Daniel
7 Sadri, Fariba
6 Albert, Elvira
6 Brogi, Antonio
6 Cabalar, Pedro
6 Kari, Lila
6 Kötzing, Timo
6 Law, Mark M.
6 Mello, Paola
6 Ozawa, Masanao
6 Riscos-Núñez, Agustín
6 Sharma, Arun Kumar
6 Verlan, Sergey
5 Broda, Krysia B.
5 Caballero, Rafael E.
5 Csuhaj-Varjú, Erzsébet
5 De Raedt, Luc
5 Gao, Ziyuan
5 Halpern, Joseph Yehuda
5 Khrennikov, Andreĭ Yur’evich
5 Morales, Jose Francisco
5 Păun, Andrei
5 Păun, Gheorghe
5 Puebla, Germán
5 Schaub, Torsten H.
5 Zeng, Xiangxiang
4 Bruynooghe, Maurice
4 Ciobanu, Gabriel
4 Cropper, Andrew
4 De Schreye, Danny
4 Díaz-Pernil, Daniel
4 Drabent, Włodzimierz
4 Eiter, Thomas
4 Enjalbert, Patrice
4 Freund, Rudolf
4 Isokawa, Teijiro
4 Konstantinidis, Stavros
4 Kowalski, Robert A.
4 Leporati, Alberto
4 Levesque, Hector J.
4 Mancarella, Paolo
4 Martí-Oliet, Narciso
4 Martin, Éric A.
4 Nishida, Naoki
4 Peper, Ferdinand
4 Pettorossi, Alberto
4 Pontelli, Enrico
4 Prade, Henri M.
4 Proietti, Maurizio
4 Riesco, Adrián
4 Rodríguez-Patón, Alfonso
4 Schmid, Markus L.
4 Scutari, Marco
4 Shakerin, Farhad
4 Simon, Hans-Ulrich
4 Tamaddoni-Nezhad, Alireza
4 Verdejo, Alberto
4 Zandron, Claudio
3 Alves Rocha, Thiago
3 Balbach, Frank J.
3 Baral, Chitta R.
3 Basieva, Irina
3 Baumgartner, Peter
3 Belle, Vaishak
3 Bellodi, Elena
3 Blakey, Ed
3 Ceterchi, Rodica
3 Santos Costa, Vítor
3 Dick, Scott
3 Diéguez, Martín
3 Doskoč, Vanja
3 Dovier, Agostino
3 Frisco, Pierluigi
3 Fronhöfer, Bertram
...and 1,408 more Authors
all top 5

Cited in 124 Journals

136 Theoretical Computer Science
65 New Generation Computing
50 Artificial Intelligence
39 Machine Learning
33 Theory and Practice of Logic Programming
30 Information and Computation
18 International Journal of Foundations of Computer Science
15 Annals of Mathematics and Artificial Intelligence
14 Information Processing Letters
14 Natural Computing
13 International Journal of Approximate Reasoning
13 Journal of Membrane Computing
12 Information Sciences
12 Journal of Automated Reasoning
11 Journal of Computer and System Sciences
11 Journal of Symbolic Computation
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
8 Journal of Applied Non-Classical Logics
8 Journal of Applied Logic
7 Discrete Applied Mathematics
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 Studia Logica
4 Annals of Pure and Applied Logic
4 MSCS. Mathematical Structures in Computer Science
3 International Journal of Theoretical Physics
3 Kybernetika
3 Journal of Computer Science and Technology
3 Applied Mathematics Letters
3 Annals of Operations Research
3 Applied Intelligence
3 European Journal of Operational Research
3 Applicable Algebra in Engineering, Communication and Computing
3 Journal of Logic, Language and Information
3 Soft Computing
3 Higher-Order and Symbolic Computation
3 The Journal of Logic and Algebraic Programming
3 Journal of Physics A: Mathematical and Theoretical
2 Journal of Mathematical Psychology
2 Synthese
2 Science of Computer Programming
2 Formal Aspects of Computing
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Quantum Information Processing
2 ACM Transactions on Computational Logic
2 Computational Intelligence
2 New Mathematics and Natural Computation
2 The Review of Symbolic Logic
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 Optimization Theory and Applications
1 Mathematical Systems Theory
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Software. Practice & Experience
1 Statistica Neerlandica
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 The Journal of Artificial Intelligence Research (JAIR)
1 Complexity
1 Computer Science Journal of Moldova
1 Computational & Mathematical Organization Theory
1 Revista Investigación Operacional
1 International Transactions in Operational Research
1 Doklady Mathematics
1 Theory of Computing Systems
1 Journal of Automata, Languages and Combinatorics
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 Communications in Contemporary Mathematics
1 Fundamenta Informaticae
1 Nonlinear Analysis. Real World Applications
1 Quantitative Finance
1 International Studies in the Philosophy of Science
1 Journal of Applied Mathematics
...and 24 more Journals
all top 5

Cited in 39 Fields

812 Computer science (68-XX)
132 Mathematical logic and foundations (03-XX)
40 Information and communication theory, circuits (94-XX)
36 Biology and other natural sciences (92-XX)
33 Quantum theory (81-XX)
28 Operations research, mathematical programming (90-XX)
23 Statistics (62-XX)
23 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
15 Combinatorics (05-XX)
9 Ordinary differential equations (34-XX)
9 Functional analysis (46-XX)
9 Numerical analysis (65-XX)
8 Systems theory; control (93-XX)
7 Order, lattices, ordered algebraic structures (06-XX)
6 Dynamical systems and ergodic theory (37-XX)
5 Category theory; homological algebra (18-XX)
4 History and biography (01-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
3 General and overarching topics; collections (00-XX)
3 Group theory and generalizations (20-XX)
3 Measure and integration (28-XX)
2 Associative rings and algebras (16-XX)
2 Operator theory (47-XX)
2 Algebraic topology (55-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 Manifolds and cell complexes (57-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of particles and systems (70-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year