The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for LP with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985 (29) 1986 (17) 1987 (21) 1988 (17) 1989-2005 (15) 2009 (2)
Publication types (Num. hits)
article(1) incollection(1) inproceedings(94) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 27 occurrences of 23 keywords

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