| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shigeichiro Yamasaki, Michiko Turuta, Ikuko Nagasawa, Kenji Sugiyama |
A Parallel Cooperation Model for Natural Language Processing.  |
FGCS  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Eileen Tien Lin, Edward Omiecinski, Sudhakar Yalamanchili |
Parallel Optimization and Execution of Large Join Queries. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Lutz Plümer |
Automatic Verification of GHC-Programs: Termination. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yuichi Tanaka |
Natural Language Processing Software. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jong H. Nang, D. W. Shin, Seungryul Maeng, Jung Wan Cho |
A Parallel Execution of Functional Logic Language with Lazy Evaluation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Contributions to the Semantics of Open Logic Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ryuzo Hasegawa, Masayuki Fujita |
Parallel Theorem Provers and Their Applications. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Koichi Konishi, Tsutomu Maruyama, Akihiko Konagaya, Kaoru Yoshida, Takashi Chikayama |
Implementing Streams on Parallel Machines with Distributed Memory. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Yasuhito Mukouchi, Ayumi Shinohara, Takeshi Shinohara |
A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Koichi Furukawa |
Summary of Basic Research Activities of the FGCS Project. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | William J. Dally |
A Universal Parallel Computer Architecture. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita 0002 |
Model Generation Theorem Provers on a Parallel Inference Machine. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Chris Preist, Kave Eshghi |
Consistency-Based and Abductive Diagnoses as Generalised Stable Models. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Vincent Poirriez |
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Thierry Le Provost, Mark Wallace 0001 |
Domain Independent Propagation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | John Alan Robinson |
The Role of Logic in Computer Science and Artificial Intelligence. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fumio Mizoguchi |
The Panel on A Future Direction of New Generation Applications. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kazumasa Yokota, Hideki Yasukawa |
Towards an Integrated Knowledge-Base Management System: Overview of R&D on Databases and Knowledge-Bases in the FGCS Project. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kazuo Sumita, Kenji Ono, Tetsuro Chino, Teruhiko Ukita, Shin'ya Amano |
A Discourse Structure Analyzer for Japanese Text. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Masato Ishikawa, Masaki Hoshida, Makoto Hirosawa, Tomoyuki Toya, Kentaro Onizuka, Katsumi Nitta |
Protein Sequence Analysis by Parallel Inference Machine. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Junzo Suzuki, Chiho Konuma, Mikito Iwamasa, Naomichi Sueda, Shigeru Mochiji, Akimoto Kamiya |
A Diagnostic and Control Expert System Based on a Plant Model. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Toshinori Watanabe, Keiko Komatsu |
Do-HLEX: Co-Operative Recursive LSI Layout Problem Solver on Japan's Fifth Generation Parallel Inference Machine. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski |
Abduction in Logic Programming with Equality. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Koichi Furukawa |
Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | David C. Sehr, Laxmikant V. Kalé |
Estimating the Ingerent Parallelism in Prolog Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Takenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, Yoshikazu Tezuka |
Analogical Generalization. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hervé Gallaire |
Finding the Best Route for Logic Programming - Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Steve Gregory, Rong Yang |
Parallel Constraint Solving in Andorra-I. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Anthony S. K. Cheng, Ross A. Paterson |
An Implementation for a Higher Level Logic Programming Language. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Evan Tick |
Visualizing Parallel Logic Programs with VISTA. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Catherine Lassez |
Reasoning with Constraints, Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Nachum Dershowitz, Mitsuhiro Okada |
Conditional Equational Programming and the Theory of Conditional Term Rewriting. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Isaac Balbin, Krishnamurthy Meenakshi, Kotagiri Ramamohanarao |
A Query Independent Method for Magic Set Computation on Stratified Databases. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Philippe Devienne |
WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hirokazu Taki |
Knowledge Acquisition by Observation. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hajime Karatsu |
Social Impact of Information Technology and International Collaboration. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Bogumil Hausman, Andrzej Ciepielewski, Alan Calderwood |
Cut and Side-Effects in Or-Parallel Prolog. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jiro Tanaka |
Meta-Interpreters and Reflective Operations in GHC. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mizuhito Ogawa, Satoshi Ono |
Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Fumihiro Maruyama, Taeko Kakuda, Yusuke Matsunaga, Yoriko Minoda, Shuho Sawada, Nobuaki Kawato |
co-LODEX: A Cooperative Expert System for Logic design. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | David Poole 0001 |
Representing Knowledge for Logic-Based Diagnosis. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hidenori Itoh, Hidetoshi Monoi, Shigeki Shibayama, Nobuyoshi Miyazaki, Haruo Yokota, Akihiko Konagaya |
Knowledge Base System in Logic Programming Paradigm. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey C. Fox |
Theory and Practice of Concurrent Systems. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Shunichi Uchida, Kazuo Taki, Katsuto Nakajima, Atsuhiro Goto, Takashi Chikayama |
Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Robin Milner |
Some Directions in Concurrency Theory. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Guang R. Gao, René Tio, Herbert H. J. Hum |
Design of an Efficient Dataflow Architecture without Data Flow. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mitsuru Ishizuka |
A Next-generation Knowledge-Base from the Viewpoint of Extending Logic Framework. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jun Arima |
Generating Rules with Exceptions. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Kaoru Yoshida, Takashi Chikayama |
A'UM - A Stream-Based Concurrent Object-Oriented Language. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Shunichi Uchida, Tsutomu Yoshioka, Ryôichi Sugimura, Yuiti Tanaka, Kôiti Hasida, Kuniaki Mukai |
The Research and Development of Natural Language Processing Systems in The Intermediate Stage of the FGCS Project. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Shigeki Shibayama, Hiroshi Sakai, Toshiaki Takewaki, Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh |
Overview of Knowledge Base Mechanism. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Yuzuru Tanaka |
Multiport Memory Architectures. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Moreno Falaschi, Giorgio Levi |
Finite Failures and Partial Computations in Concurrent Logic Languages. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Kaniaki Mukai |
Partially Specified Term in Logic Programming for Linguistic Analysis. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Herbert A. Simon |
Prospects for Cognitive Science. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman |
The Aurora Or-Parallel Prolog System. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Nils Hagner, Malik Wafin |
KL1 in Condition Graphs on a Connection Machine. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | David L. Waltz, Craig Stanfill |
Artificial Intelligence Related Research on the Connection Machine. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Nabiel A. Elshiewy |
Modular and Communicating Objects in SICStus Prolog. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Per-Kristian Halvorsen |
Situation Semantics and Semantic Interpretation in Constraint-Based Grammars. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jörg H. Siekmann |
Artificial Intelligence: Perspectives and Predictions. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Koji Iwanuma, Masateru Harao |
Knowledge Representation and Inference Based on First-Order Modal Logic. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Martelli, Gianfranco Rossi |
Local Definitions with Static Scope Rules in Logic Programming. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ken Satoh |
Nonmonotonic Reasoning by Minimal Belief Revision. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Ken McAloon |
Applications of a Canonical Form of Gerneralized Linear Constraints. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Franz Schreiner, Gerhard Zimmermann |
Parallelism in the PESA I Multiprocessor. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Kerisit, Jean-Marc Pugin |
Efficient Query Answering on Stratified Databases. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Shapiro |
The Language FCP(: , ?). |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mamoru Sugie, M. Yoneyama, Noriyasu Ido, Toshiaki Tarui |
Load-Dispatching Strategy on Parallel Inference Machines. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Yi-Hsiu Wei, Jean-Luc Gaudiot |
Lazy Evaluation of FP Programs: A Data-Flow Approach. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Horn Equality Theories and Complete Sets of Transformations. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Micha Meier |
Benchmarking of Prolog Procedures for Indexing Purposes. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura |
A New External Reference Management and Distributed Unification for KL1. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | David H. D. Warren, Seif Haridi |
Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Timothy Walker |
UK IKBS Programmes. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Seif Haridi, Per Brand |
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ching-Shyan Wu, Lawrence J. Henschen |
Answering Linear Recursive Queries in Cyclic Databases. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | John H. Boose |
Knowledge Acquisition Techniques and Tools: Current Research Strategies and Approaches. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Prasenjit Biswas, Chien-Chao Tseng |
LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic Programs. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Manny Rayner |
Applying Explanation-Based Generalization to Natural-Language Processing. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Kazuhiro Fuchi |
HOP, STEP and JUMP. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Cadiou |
Advanced Information Processing in ESPRIT - Status and Plans. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Yasuo Okabe, Shuzo Yajima |
Parallel Computational Complexity of Logic Programs and Alternating Turing Machines. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Göran Båge, Gary Lindstrom |
Committed Choice Functional Programming. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Takashi Kurozumi |
Present Status and Plans for Research and Development. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Eugene I. Lowenthal |
A Review of MCC's Accomplishments and Strategic Outlook for Knowledge-Based Systems. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Tatsuya Akutsu, Setsuo Ohsuga |
CHEMILOG - A Logic Programming Language/System for Chemical Information Processing. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Bob Jansen, Paul Compton |
The Knowledge Dictionary: A Relational Tool for the Maintenance of Expert Systems. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Carl Hewitt |
Knowledge Processing. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Michaël Rusinowitch |
Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference Rules. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Arie Harsat, Ran Ginosar |
CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Tsuyoshi Shinogi, Kouichi Kumon, Akira Hattori, Atsuhiro Goto, Yasunori Kimura, Takashi Chikayama |
Macro-Call Instruction for the Efficient KL1 Implementation on PIM. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Hideyuki Nakashima, Hiroyuki Suzuki, Per-Kristian Halvorsen, Stanley Peters |
Towards a Computational Interpretation of Situation Theory. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Shin-ichi Wada, Yoshiyuki Koseki, Tetsurou Nishida |
Human Strategy-Based Troubleshooting Expert System for Switching System. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Michael C. McCord |
A Multi-Target Machine Translation System. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | D. W. Shin, Jong H. Nang, Seungryul Maeng, Jung Wan Cho |
The Semantics of a Functional Logic Language with Input Mode. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Yuichi Fujii, Hirokazu Taki |
Experimental Knowledge Processing System. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Masaki Murakami |
A Declarative Semantics of Parallel Logic Programs with Perpetual Processes. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Keiji Hirata 0001, Tatsuya Aoyagi, Hiroki Konaka |
How to Realize Jazz Feelings - A Logic Programming Approach. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ernst W. Mayr |
Parallel Approximation Algorithms. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license