Plenary Sessions
Keynote Speech
export record as
dblp key:
General Report on ICOT Research and Development
export record as
dblp key:
export record as
dblp key:
Koichi Furukawa :
Summary of Basic Research Activities of the FGCS Project.
20-32
export record as
dblp key:
Shunichi Uchida :
Summary of the Parallel Inference Machine and its Basic Software.
33-49
Report on ICOT Research Results
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kazumasa Yokota ,
Hideki Yasukawa :
Towards an Integrated Knowledge-Base Management System: Overview of R&D on Databases and Knowledge-Bases in the FGCS Project.
89-112
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Lectures
export record as
dblp key:
export record as
dblp key:
John Alan Robinson :
The Role of Logic in Computer Science and Artificial Intelligence.
199-210
export record as
dblp key:
Panel
export record as
dblp key:
Robert A. Kowalski :
Panel: A Springboard for Information Processing in the 21st Century.
219
export record as
dblp key:
Hervé Gallaire :
Finding the Best Route for Logic Programming - Panel Position Paper.
220-222
export record as
dblp key:
Ross A. Overbeek :
The Role of Logic Programming in the 21st Century - Panel Position Paper.
223-224
export record as
dblp key:
Peter Wegner :
Object-Based Versus Logic Programming - Panel Position Paper.
225-229
export record as
dblp key:
Koichi Furukawa :
Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position Paper.
230-231
export record as
dblp key:
Shunichi Uchida :
Knowledge Information Processing in the 21st Century - Panel Position Paper.
232-234
ICOT Sessions
Parallel VLSI-CAD and KBM Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Parallel Operating System, PIMOS
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Genetic Information Processing
export record as
dblp key:
conf/fgcs/IshikawaHHTON92 export record as
dblp key:
conf/fgcs/HirosawaFRIHM92 export record as
dblp key:
conf/fgcs/YoshidaSKMTZHO92 export record as
dblp key:
Constraint Logic Programming and Parallel Theorem Proving
export record as
dblp key:
conf/fgcs/TerasakiHSSMKIA92 export record as
dblp key:
export record as
dblp key:
Natural Language Progressing
export record as
dblp key:
Hiroshi Sano ,
Fumiyo Fukumoto :
On a Grammar Formalism, Knowledge Bases and Tools for Natural Language Processing in Logic Programming.
376-384
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Parallel Inference Machine (PIM)
export record as
dblp key:
export record as
dblp key:
conf/fgcs/NakashimaNKTIOM92 export record as
dblp key:
conf/fgcs/HirataYIKHTTNR92
Foundations
Reasoning about Programs
export record as
dblp key:
Tadashi Kawamura :
Logic Program Synthesis from First Order Logic Specifications.
463-472
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lutz Plümer :
Automatic Verification of GHC-Programs: Termination.
489-496
Analogy
export record as
dblp key:
export record as
dblp key:
Jun Arima :
Logical Structure of Analogy: Preliminary Report.
505-513
Abduction (1)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David Poole :
Logic Programming, Abduction and Probability.
530-538
Abduction (2)
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Phan Minh Dung :
Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure.
555-561
Semantics of Logic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Chiaki Sakama :
Extended Well-Founded Semantics for Paraconsistent Logic Programs.
592-599
Invited Paper
export record as
dblp key:
Raymond Reiter :
Formalizing Database Evolution in the Situation Calculus.
600-609
Machine Learning
export record as
dblp key:
conf/fgcs/Idestam-Almquist92 export record as
dblp key:
export record as
dblp key:
Claudio Carpineto :
Efficient Induction of Version Spaces Through Constrained Language Shift.
626-633
Theorem Proving
export record as
dblp key:
Massimo Bruschi :
Theorem Proving Engine and Strategy Description Language.
634-642
export record as
dblp key:
export record as
dblp key:
Functional Programming and Constructive Logic
export record as
dblp key:
export record as
dblp key:
Makoto Tatsuta :
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams.
666-673
export record as
dblp key:
Vincent Poirriez :
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
674-681
export record as
dblp key:
Temporal Reasoning
export record as
dblp key:
export record as
dblp key:
Architectures & Software
Hardware Architecture and Evaluation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Paper
export record as
dblp key:
AND-Parallelism and OR-Parallelism
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Implementations Techniques
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Extension of Logic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Task Scheduling and Load Analysis
export record as
dblp key:
Zheng Lin :
Self-Organizing Task Scheduling for Parallel Execution of Logic Programs.
859-868
export record as
dblp key:
Concurrency
export record as
dblp key:
Jiro Tanaka ,
Fumio Matono :
Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn Clauses.
877-886
export record as
dblp key:
export record as
dblp key:
Kenji Horiuchi :
Less Abstract Semantics for Abstract Interpretation of FGHC Programs.
897-906
Databases and Distributed Systems
export record as
dblp key:
export record as
dblp key:
Alexandre Lefebvre :
Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases.
915-925
export record as
dblp key:
Programming Environment
export record as
dblp key:
Evan Tick :
Visualizing Parallel Logic Programs with VISTA.
934-942
export record as
dblp key:
Kenneth M. Kahn :
Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs.
943-950
export record as
dblp key:
export record as
dblp key:
Munenori Maeda :
Implementing a Process Oriented Debugger with Reflection and Program Transformation.
961-968
Production Systems
export record as
dblp key:
export record as
dblp key:
Andrew Sohn ,
Jean-Luc Gaudiot :
Performance Evaluation of the Multiple Root Node Approach to the Rete Pattern Matcher for Production Systems.
977-984
Applications & Social Implications
Constraint Logic Programming
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Qualitative Reasoning
export record as
dblp key:
export record as
dblp key:
Knowledge Representation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel Discussion:
Future Direction of Next Generation Applications
export record as
dblp key:
Fumio Mizoguchi :
The Panel on A Future Direction of New Generation Applications.
1061-1062
export record as
dblp key:
Ronald J. Brachman :
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position Paper.
1063-1065
export record as
dblp key:
export record as
dblp key:
Stephen Muggleton :
Developments in Inductive Logic Programming, Panel Position Paper.
1071-1073
export record as
dblp key:
Kazuo Taki :
Towards the General-Purpose Parallel Processing System, Panel Position Paper.
1074-1075
Knowledge-Based Systems
export record as
dblp key:
Jacqueline Castaing :
A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing.
1076-1083
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Legal Reasoning
export record as
dblp key:
Andreas Hamfelt ,
Åke Hansson :
A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program.
1107-1114
export record as
dblp key:
Natural Language Processing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kôiti Hasida :
Dynamics of Symbol Systems: An Integrated Architecture of Cognition.
1141-1148
Knowledge Support Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Brian R. Gaines :
Modeling the Generational Infrastructure of Information Technology.
1165-1172
Parallel Applications
export record as
dblp key:
Toshinori Watanabe ,
Keiko Komatsu :
Do-HLEX: Co-Operative Recursive LSI Layout Problem Solver on Japan's Fifth Generation Parallel Inference Machine.
1173-1180
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Paper
export record as
dblp key:
Ivan Bratko :
Applications of Machine Learning: Towards Knowledge Synthesis.
1207-1218
data released under the ODC-BY 1.0 license
