| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe |
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns.  |
FGCS  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kazuo Taki |
Parallel Inference Machine PIM. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kazuhiro Fuchi |
Launching the New Era. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Shunichi Uchida |
Summary of the Parallel Inference Machine and its Basic Software. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick |
The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Lefebvre |
Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi |
Evaluation of the EM-4 Highly Parallel Computer using a Game Tree Searching Problem. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gopal Gupta 0001, Manuel V. Hermenegildo |
Recomputation based Implementations of And-Or Parallel Prolog. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda |
Architecture and Implementation of PIM/m. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Seiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa, Takashi Chikayama |
Paragraph: A Graphical Tuning Tool for Multiprocessor Systems. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane |
HELIC-II: A Legal Reasoning System on the Parallel Inference Machine. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Zheng Lin 0010 |
Self-Organizing Task Scheduling for Parallel Execution of Logic Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba |
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yukinori Matsumoto, Kazuo Taki |
Parallel Logic Simulator based on Time Warp and its Evaluation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Teruo Ikeda, Akira Kotani, Kaoru Hagiwara, Yukihiro Kubo |
Argument Text Generation System (Dulcinea). |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | David A. Rosenblueth |
Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Chris Evans, Antonis C. Kakas |
Hypothetico-deductive Reasoning. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hideki Yasukawa, Hiroshi Tsuda, Kazumasa Yokota |
Objects, Properties, and Modules in QUIXOTE. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andreas Hamfelt, Åke Hansson |
A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Maarten H. van Emden |
Adapting CLP to Floating-Point Arithmetic. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jacqueline Castaing |
A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yaron Goldberg, William Silverman, Ehud Shapiro |
Logic Programs with Inheritance. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hideki Isozaki, Yoav Shoham |
A Mechanism for Reasoning about Time and Belief. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Stephen H. Muggleton |
Developments in Inductive Logic Programming, Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Munenori Maeda |
Implementing a Process Oriented Debugger with Reflection and Program Transformation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | |
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Tadashi Kawamura |
Logic Program Synthesis from First Order Logic Specifications. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yoshiteru Ishida |
Logical Implementation of Dynamical Models. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques |
Implementing Prolog Extensions: a Parallel Inference Machine. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Shigeru Watari, Yasuaki Honda, Mario Tokoro |
Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Maarten H. van Emden |
Mental Ergonomics as Basis for New-Generation Computer Systems. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka |
A Parallel Inductive Learning Algorithm for Adaptive Diagnosis. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Dines Bjørner, Jørgen Fischer Nilsson |
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ronald J. Brachman |
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yukihide Takayama |
Defining Concurrent Processes Constructively. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka |
UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Francisco Bueno, Manuel V. Hermenegildo |
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Date, Yukinori Matsumoto, Kouichi Kimura, Kazuo Taki, Hiroo Kato, Masahiro Hoshi |
LSI-CAD Programs on Parallel Inference Machine. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, David Gelernter |
A Distributed Programming Environment based on Logic Tuple Spaces. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Håkan Millroth |
Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Nobuyuki Ichiyoshi, Kouichi Kimura |
Asymptotic Load Balance of Distributed Hash Tables. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício |
Adding Closed World Assumptions to Well Founded Semantics. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fumihide Itoh, Takashi Chikayama, Takeshi Mori, Masa-aki Sato, Tatsuo Kato, Tadashi Sato |
The Design of the PIMOS File System. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | David Poole 0001 |
Logic Programming, Abduction and Probability. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter Idestam-Almquist |
Learning Missing Clauses by Inverse Resolution. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Danny De Schreye |
On the Duality of Abduction and Model Generation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Xiaoxiong Zhong, Evan Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, R. Sundararajan |
Towards an Efficient Compile-Time Granularity Analysis Algorithm. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | C. A. R. Hoare |
Programs are Predicates. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Masaru Ohki, Eiji Oohira, Hiroshi Shinjo, Masahiro Abe |
Range Determinationof Design Parameters by Qualitative Reasoning and its Application to Electronic Circuits. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Yashiro, Tetsuro Fujise, Takashi Chikayama, Masahiro Matsuo, Atsushi Hori, Kumiko Wada |
Resource Management Mechanism of PIMOS. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Chiaki Sakama |
Extended Well-Founded Semantics for Paraconsistent Logic Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kazuo Taki |
Towards the General-Purpose Parallel Processing System, Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Massimo Bruschi |
Theorem Proving Engine and Strategy Description Language. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kôiti Hasida |
Dynamics of Symbol Systems: An Integrated Architecture of Cognition. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Katsumi Nitta, Kazuo Taki, Nobuyuki Ichiyoshi |
Experimental Parallel Inference Software. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap |
Output in CLP. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ivan Bratko |
Applications of Machine Learning: Towards Knowledge Synthesis. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kenneth M. Kahn |
Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | John Darlington, Yike Guo, Helen Pull |
A New Perspective on Integrating Functional and Logic Languages. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Akira Aiba, Ryuzo Hasegawa |
Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Makoto Hirosawa, Richard Feldmann, David Rawn, Masato Ishikawa, Masaki Hoshida, George Michaels |
Folding Simulation using Temperature Parallel Simulated Annealing. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi |
A Generalized Semantics for Constraint Logic Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Sano, Fumiyo Fukumoto |
On a Grammar Formalism, Knowledge Bases and Tools for Natural Language Processing in Logic Programming. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kazunori Ueda, Masao Morita |
Message-Oriented Parallel Implementation of Moded Flat GHC. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Takayasu Kasahara, Naoyuki Yamada, Yasuhiro Kobayashi, Katsuyuki Yoshino, Kikuo Yoshimura |
Automatic Generation of a Domain Specific Inference Program for Building a Knowledge Processing System. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Uwe Nonnenmann, John K. Eddy |
Knowledge-Based Functional Testing for Large Software Systems. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hassan Aït-Kaci, Andreas Podelski, Gert Smolka |
A Feature-Based Constraint System for Logic Programming with Entailment. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Formalizing Database Evolution in the Situation Calculus. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Khayri A. M. Ali, Roland Karlsson |
OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jiro Tanaka, Fumio Matono |
Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn Clauses. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto |
Dealing with Time Granularity in the Event Calculus. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fehime Nihan Kesim, Marek J. Sergot |
On the Evolution of Objects in a Logic Programming Framework. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jun Arima |
Logical Structure of Analogy: Preliminary Report. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yoshihiko Ohta, Katsumi Inoue |
A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Bern Martens, Danny De Schreye, Maurice Bruynooghe |
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kouichi Kumon, Akira Asato, Susumu Arai, Tsuyoshi Shinogi, Akira Hattori, Hiroyoshi Hatazawa, Kiyoshi Hirano |
Architecture and Implementation of PIM/p. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Tsuda |
cu-Prolog for Constraint-Based Grammar. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Makoto Tatsuta |
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Yoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama, Nobuaki Kawato |
A Cooperative Logic Design Expert System on a Multiprocessor. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Takayuki Nakagawa, Noriyasu Ido, Toshiaki Tarui, Machiko Asaie, Mamoru Sugie |
Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/c. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Keiji Hirata 0001, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase, Kazuaki Rokusawa |
Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Ugo Montanari, Francesca Rossi 0001 |
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kenji Horiuchi |
Less Abstract Semantics for Abstract Interpretation of FGHC Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Takashi Chikayama |
Operating System PIMOS and Kernel Language KL1. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Takashi Kurozumi |
Overview of the Ten Years of the FGSC Project. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Moto Kawamura, Hiroyuki Sato, Kazutomo Naganuma, Kazumasa Yokota |
Parallel Database Management System: Kappa-P. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Shunichi Uchida |
Knowledge Information Processing in the 21st Century - Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andrew Sohn, Jean-Luc Gaudiot |
Performance Evaluation of the Multiple Root Node Approach to the Rete Pattern Matcher for Production Systems. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Satoshi Tojo, Hideki Yasukawa |
Situated Inference of Temporal Information. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Brian R. Gaines |
Modeling the Generational Infrastructure of Information Technology. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Claudio Carpineto |
Efficient Induction of Version Spaces Through Constrained Language Shift. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ronald C. Taylor, David Zawada, Ray Hagstrom, Ross A. Overbeek |
Toward a Human Genome Encyclopedia. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Brian R. Gaines, Marc Linster, Mildred L. G. Shaw |
An Integrated Knowledge Support System. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hidetoshi Tanaka |
Integrated System for Protein Information Processing. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | E. Bahr, Franz Barachini, Hans Mistelberger |
A New Parallelization Method for Production Systems. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ross A. Overbeek |
The Role of Logic Programming in the 21st Century - Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter Wegner |
Object-Based Versus Logic Programming - Panel Position Paper. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Byeong Man Kim, Sang Ho Lee, Seung Ryoul Maeng, Jung Wan Cho |
A New Algorithm for Subsumption Test. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Kowalski |
Panel: A Springboard for Information Processing in the 21st Century. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license