Search results for "LP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tamás Terlaky	Lexicographic Pivoting Rules.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Anticycling, LP, Lexicographic ordering, Oriented matroids, Pivot rules, LCP
1	Hernán González Acuña, Max Suell Dutra, Omar Lengerke	Identification and modeling for non-linear dynamic system using neural networks type MLP.	EATIS	2009	DBLP DOI BibTeX RDF	dynamic backprogation, neural networks dynamics, modeling, algorithms, LP, training, multilayer perceptrons, non-linear dynamics
1	Weirong Wang, Aloysius K. Mok, Gerhard Fohler	Pre-Scheduling.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	pre-schedule, real-time, LP
1	Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.)	Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989	LP	1991	DBLP DOI BibTeX RDF
1	Toramatsu Shintani	A Consistency Maintenance Mechanism for Subjective Judgements and Its Application.	LP	1989	DBLP DOI BibTeX RDF
1	Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka	Table-Driven Bottom Up Parser in Prolog.	LP	1989	DBLP DOI BibTeX RDF
1	Yihua Shi, Setsuo Arikawa	Time-Bounded Reasoning in First Order Knowledge Base Systems.	LP	1989	DBLP DOI BibTeX RDF
1	Jun'ichi Tatemura, Hidehiko Tanaka	Debugger for a Parallel Logic Programming Language Fleng.	LP	1989	DBLP DOI BibTeX RDF
1	Y. Hosono, H. Kumagai, H. Shimizu, M. Sumida, Akikazu Takeuchi, N. Takiguchi, T. Wake, T. Yamaoka	Knowledge Media Station.	LP	1989	DBLP DOI BibTeX RDF
1	Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka	Logic Design Assistence Using Temporal Logic Based Language Tokio.	LP	1989	DBLP DOI BibTeX RDF
1	Akihiro Yamamoto	Elementary Formal System as a Logic Programming Language.	LP	1989	DBLP DOI BibTeX RDF
1	Jinsei Yamaguchi	The Classification and Boundary Problem.	LP	1989	DBLP DOI BibTeX RDF	AI, logic programming, non-monotonic reasoning
1	Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.)	Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988	LP	1989	DBLP BibTeX RDF
1	Donald Michie	Human and Machine Learning of Descriptive Concepts.	LP	1989	DBLP DOI BibTeX RDF
1	Fangqing Dong, Hiroshi Nakagawa	Semantics of Non-montonic Reasoning based on Perfect Model.	LP	1989	DBLP DOI BibTeX RDF
1	Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai	cu-Prolog and its Application to a JPSG Parser.	LP	1989	DBLP DOI BibTeX RDF
1	Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka	Paralle Generalized LP Parser based on Logic Programming.	LP	1989	DBLP DOI BibTeX RDF
1	Minoru Terada	Implementation of Full GHC by Communicating Processes.	LP	1988	DBLP BibTeX RDF
1	Jiro Tanaka	A Simple Programming System Written in GHC and its Reflective Operations.	LP	1988	DBLP BibTeX RDF
1	Masaki Hoshida, Mario Tokoro	ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators.	LP	1988	DBLP BibTeX RDF
1	Chiaki Sakama, Akira Okumura	Nonmonotonic Parallel Inheritance Network.	LP	1988	DBLP BibTeX RDF
1	Hideo Tamura, Hideo Aiso	Logic Programming Debugger Using Control Flow Specification.	LP	1988	DBLP BibTeX RDF
1	Hiroko Yuasa, Setsuo Arikawa	Pseudo Extension in Default Reasoning and Belief Revision by Model Inference.	LP	1988	DBLP BibTeX RDF
1	Ryôichi Sugimura, Kouji Akasaka, Yukihiro Kubo, Yuji Matsumoto 0001	Logic Based Lexical Analyser LAX.	LP	1988	DBLP BibTeX RDF
1	Kouichi Fukunaga, Shinichi Morishita	Lattice Programming Methodology.	LP	1988	DBLP BibTeX RDF
1	Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya	EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation.	LP	1988	DBLP BibTeX RDF
1	Akito Sakurai, Hiroshi Motoda	Proving Definite Clauses without Explicit Use of Inductions.	LP	1988	DBLP BibTeX RDF
1	Akihiro Yamamoto	Completeness of Extending Unification Based on Basic Narrowing.	LP	1988	DBLP BibTeX RDF
1	Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano	Knowledge Representation and Reasoning for Discourse Understanding.	LP	1988	DBLP BibTeX RDF
1	Toramatsu Shintani	An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IE.	LP	1988	DBLP BibTeX RDF
1	Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki	Extraction of Characteristic Facts and Abstract Generation.	LP	1988	DBLP BibTeX RDF
1	Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.)	Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987	LP	1988	DBLP DOI BibTeX RDF
1	Makoto Takizawa 0001, Motoshi Katsumata, Shinichi Nagahora	Access Program to Minimize Redundant Refutations on the Network Database System.	LP	1988	DBLP BibTeX RDF
1	Hiroshi Sakai	Inference Methods and Semantics on Or-type Knowledge Bases.	LP	1988	DBLP BibTeX RDF
1	Martin Nilsson 0001, Hidehiko Tanaka	The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages.	LP	1987	DBLP DOI BibTeX RDF	Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter
1	Akiko Kurata, Hideyuki Nakashima	Manipulation of Embedded Context Using the Multiple World Mechanism.	LP	1987	DBLP DOI BibTeX RDF
1	Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi	CS-Prolog: A Generalized Unification Based Constraint Solver.	LP	1987	DBLP DOI BibTeX RDF
1	Makoto Takizawa 0001, Katsumi Miyajima	Concurrent Execution of Prolog Transaction.	LP	1987	DBLP DOI BibTeX RDF
1	Toramatsu Shintani	An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE.	LP	1987	DBLP DOI BibTeX RDF
1	Koji Iwanuma, Masateru Harao	Knowledge Representation and Inference Based on First-Order Modal Logic.	LP	1987	DBLP DOI BibTeX RDF
1	Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda	Analogical Program Synthesis from Program Components.	LP	1987	DBLP DOI BibTeX RDF
1	Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura	MENDELS: Concurrent Program Synthesis System Using Temporal Logic.	LP	1987	DBLP DOI BibTeX RDF
1	Naohiko Noguchi, Masanori Takahashi, Hideki Yasukawa	Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of Japanese.	LP	1987	DBLP DOI BibTeX RDF
1	Hayato Ohwada, Fumio Mizoguchi	Managing Search in Parallel Logic Programming.	LP	1987	DBLP DOI BibTeX RDF
1	Hiroki Ishizaka	Inductive Inference of Regular Language Based on Model Inference.	LP	1987	DBLP DOI BibTeX RDF
1	Kenji Horiuchi, Tadashi Kanamori	Polymorphic Type Inference in Prolog by Abstract Interpretation.	LP	1987	DBLP DOI BibTeX RDF
1	Masaki Murakami	Proving Partial Correctness of Guarded Horn Clauses Programs.	LP	1987	DBLP DOI BibTeX RDF
1	Yoshihiro Tohma, Kenji Goto	Test Generation for Large-Scale Combinational Circuits by Using Prolog.	LP	1987	DBLP DOI BibTeX RDF	Test, Prolog, Knowledge, Module, Acceleration
1	Toshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka	A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages.	LP	1987	DBLP DOI BibTeX RDF
1	Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu	Introduction of a Package System into Prolog.	LP	1987	DBLP DOI BibTeX RDF
1	Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara	KPR: A Logic Programming Language-Oriented Parallel Machine.	LP	1987	DBLP DOI BibTeX RDF	Parallel Inference Machine, High-Level Language Machine, Parallel Processing, Logic Programming Language
1	Masayuki Numao	Update Propagation Network - A Framework for Constraint Programming.	LP	1987	DBLP DOI BibTeX RDF
1	Eiiti Wada (eds.)	Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986	LP	1987	DBLP DOI BibTeX RDF
1	Youji Kohda, Jiro Tanaka	Deriving a Compilation Method for Parallel Logic Languages.	LP	1987	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Jean-Louis Lassez	From Unification to Constraints.	LP	1987	DBLP DOI BibTeX RDF
1	Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda	Development of C-Prolog Compiler.	LP	1986	DBLP DOI BibTeX RDF
1	Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda	KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language.	LP	1986	DBLP DOI BibTeX RDF
1	Eiiti Wada (eds.)	Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985	LP	1986	DBLP DOI BibTeX RDF
1	Makoto Haraguchi, Setsuo Arikawa	A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs.	LP	1986	DBLP DOI BibTeX RDF
1	Yasubumi Sakakibara	Programming in Modal Logic: An Extension of PROLOG based on Modal Logic.	LP	1986	DBLP DOI BibTeX RDF
1	Yuri Ohara, Satoru Torii, Etsuo Ono, Makoto Kishishita, Jiro Tanaka, Toshihiko Miyazaki	A Prototype Software Simulator for FGHC.	LP	1986	DBLP DOI BibTeX RDF
1	Hanpei Koike, Hidehiko Tanaka	Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting.	LP	1986	DBLP DOI BibTeX RDF
1	Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa	A Framework for Interactive Problem Solving Based on Interactive Query Revision.	LP	1986	DBLP DOI BibTeX RDF
1	Martin Nilsson 0001, Hidehiko Tanaka	FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines.	LP	1986	DBLP DOI BibTeX RDF
1	Hajime Yoshino 0001, Shigeru Kagayama, Shouzou Ohta, Munenori Kitahara, Hiroyasu Kondoh, Mituru Nakakawaji, Kouji Ishimaru, Seiti Takao	Legal Expert System LES-2.	LP	1986	DBLP DOI BibTeX RDF
1	Kiyoshi Akama	Inheritance Hierarchy Mechanism in Prolog.	LP	1986	DBLP DOI BibTeX RDF
1	Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa	An Optimizing Prolog Compiler.	LP	1986	DBLP DOI BibTeX RDF
1	Shinji Yokoi	A Prolog Based Object Oriented Language SPOOL and its Compiler.	LP	1986	DBLP DOI BibTeX RDF
1	Shinichi Morishita, Masayuki Numao	Prolog Computation Model BPM and its Debugger PROEDIT2.	LP	1986	DBLP DOI BibTeX RDF
1	Kazuko Takahashi, Tadashi Kanamori	On Parallel Programming Methodology in GHC.	LP	1986	DBLP DOI BibTeX RDF
1	Makoto Takizawa 0001, Hideaki Itoh, Kunihiko Moriya	Logic Interface System on Navigational Database Systems.	LP	1986	DBLP DOI BibTeX RDF
1	Takashi Kakiuchi, Kuniaki Uehara, Jun'ichi Toyoda	Plan-Based Text Generation in an On-Line Help System.	LP	1986	DBLP DOI BibTeX RDF
1	Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso	Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R.	LP	1985	DBLP DOI BibTeX RDF
1	Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda	Extended Prolog and Ints Application to an Integrated Parser for Text Understanding.	LP	1985	DBLP DOI BibTeX RDF
1	Yasushi Matsumura, Takashi Matsunaga, Yusuke Maeda, Shusaku Tsumoto, Hiroshi Matsumura, Michio Kimura	Consultation System for Diagnosis of Headache and Facial Pain: "RHINOS".	LP	1985	DBLP DOI BibTeX RDF
1	Isao Sugiyai, Keiko Ishikawa	Knowledge Realization and Transformation in KRISP.	LP	1985	DBLP DOI BibTeX RDF
1	H. Yoshida, H. Kato, Masakatsu Sugimoto	Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae.	LP	1985	DBLP DOI BibTeX RDF
1	Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta	A Parallel Logic Simulator Based on Concurrent Prolog.	LP	1985	DBLP DOI BibTeX RDF
1	Makoto Haraguchi	Analogical Reasoning using Transformations of Rules.	LP	1985	DBLP DOI BibTeX RDF
1	Mamoru Sugie, M. Yoneyama, T. Sakabe, M. Iwasaki, S. Yoshizumi, Moritoshi Aso, Hajime Shimizu, Rikio Onai	Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R.	LP	1985	DBLP DOI BibTeX RDF
1	H. Ito, H. Ueno	ZERO: Frame + Prolog.	LP	1985	DBLP DOI BibTeX RDF
1	K. Nakamura	Heuristic Prolog: Logic Program Execution by Heuristic Search.	LP	1985	DBLP DOI BibTeX RDF
1	T. Aoyagi, Masahiro Fujita, Tohru Moto-Oka	Temporal Logic Programming Language Tokio - Programming in Tokio.	LP	1985	DBLP DOI BibTeX RDF
1	Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya	Software Prototyping with MENDEL.	LP	1985	DBLP DOI BibTeX RDF
1	Katsumi Nitta, Juntaro Nagao	KRIP: a Knowledge Representation System for Laws Relating to Industrial Property.	LP	1985	DBLP DOI BibTeX RDF
1	Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima	The Program Characteristics in Logic Programming Language ESP.	LP	1985	DBLP DOI BibTeX RDF
1	T. Hisano, M. Suwa	Synchronization and Communication in the "Subject".	LP	1985	DBLP DOI BibTeX RDF
1	H. Suzuki, M. Kiyono, S. Kougo, M. Takahashi, S. Motoike, T. Niki	A Travel Consultation System: Towards a Smooth Conversation in Japanese.	LP	1985	DBLP DOI BibTeX RDF
1	Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka	Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis.	LP	1985	DBLP DOI BibTeX RDF
1	Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka	Implementation of Temporal Logic Programming Language Tokio.	LP	1985	DBLP DOI BibTeX RDF
1	Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa	Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System.	LP	1985	DBLP DOI BibTeX RDF
1	Mitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori	Design and Evaluation of a Prolog Compiler.	LP	1985	DBLP DOI BibTeX RDF
1	Isao Nagasawa	A Method of Representing Processes in a Constraint Solver.	LP	1985	DBLP DOI BibTeX RDF
1	Tsutomu Maruyama, Keiji Hirata 0002, Hidehiko Tanaka, Tohru Moto-Oka	A Note on the Elementary Execution Unit in a Parallel Inference Machine.	LP	1985	DBLP DOI BibTeX RDF
1	Hidehisa Takahashi, Etsuya Shibayama	PRESET - A Debugging Environment for Prolog.	LP	1985	DBLP DOI BibTeX RDF
1	Jiro Tanaka, Takashi Yokomori, Makoto Kishishita	AND-OR Queuing in Extended Concurrent Prolog.	LP	1985	DBLP DOI BibTeX RDF
1	Etsuo Itoh, Hiroshi Nakagawa	Heuristic Applied in Tree Manipulation Algorithm Synthesis.	LP	1985	DBLP DOI BibTeX RDF
1	J. M. Choi, M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han, Yung Taek Kim	A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary Management.	LP	1985	DBLP DOI BibTeX RDF
1	Kazunori Ueda	Guarded Horn Clauses.	LP	1985	DBLP DOI BibTeX RDF
1	Satoru Tomura	TDProlog: An Extended Prolog with Term Description.	LP	1985	DBLP DOI BibTeX RDF