|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1503 occurrences of 750 keywords
|
|
|
Results
Found 3802 publication records. Showing 3802 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Gopalan Nadathur |
The Metalanguage lambda-Prolog and Its Implementation. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Juan José Moreno-Navarro, Susana Muñoz-Hernández |
How to Incorporate Negation in a Prolog Compiler. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
Semantics of Negation, Implementation of Negation, Global Analysis |
32 | Lourdes Araujo |
Towards Full Prolog on a Distributed Architecture. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Roberto Barbuti, Paolo Mancarella |
A Multiple-Valued Logical Semantics for Prolog. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
32 | François Jacquenet, Irène Foucherot |
A new logical view of knowledge manipulation with PROLOG. |
ANZIIS |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Andreas Nonnengart |
How to Use Modalities and Sorts in Prolog. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Jonas Barklund, Johan Bevemyr |
Prolog with Arrays and Bounded Quantifications. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Dale Miller 0001 |
A Proposal for Modules in Lambda-Prolog. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi |
A Theory of First-Order Built-in's of Prolog. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher |
Oracle Semantics for Prolog. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Mireille Ducassé |
A General Trace Query Mechanism Based on Prolog. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Michael J. Wise |
Message-Brokers and Communicating Prolog Processes. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
32 | T. J. Reynolds, Petros Kefalas |
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Wai-Keong Foong |
Or-Parallel Prolog with Heuristic Task Distribution. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
32 | P. H. Cheong, Laurent Fribourg |
Efficient Integration of Simplifications into Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Péter Szeredi, Rong Yang, Mats Carlsson |
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
Or-Parallel Execution, Scheduling, Multiprocessors, Implementation Techniques |
32 | Arie de Bruin, Erik P. de Vink |
Continuation Semantics for PROLOG with Cut. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Michael Hanus |
Formal Specification of a Prolog Compiler. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Jean G. Vaucher, Guy Lapalme, Jacques Malenfant |
SCOOP, Structured Concurrent Object-Oriented Prolog. |
ECOOP |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Kenji Horiuchi, Tadashi Kanamori |
Polymorphic Type Inference in Prolog by Abstract Interpretation. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
32 | Jiro Tanaka, Makoto Kishishita |
Compiling Extended Concurrent Prolog - Single Queue Compilation. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda |
Development of C-Prolog Compiler. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Kiyoshi Akama |
Inheritance Hierarchy Mechanism in Prolog. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa |
An Optimizing Prolog Compiler. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Shinji Yokoi |
A Prolog Based Object Oriented Language SPOOL and its Compiler. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta |
A Parallel Logic Simulator Based on Concurrent Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
32 | K. Nakamura |
Heuristic Prolog: Logic Program Execution by Heuristic Search. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Hidehisa Takahashi, Etsuya Shibayama |
PRESET - A Debugging Environment for Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Masayuki Numao, H. Maruyama |
PROEDIT - A Screen Oriented Prolog Programming Environment. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Henryk Jan Komorowski |
Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
31 | Ralf Hinze |
Deriving backtracking monad transformers. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers |
31 | Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil |
Multilanguage Interoperability in Distributed Systems. |
ICSE |
1996 |
DBLP BibTeX RDF |
Ada client program, Arcadia software architecture, C language server, Q system, multilanguage interoperability, multilingual heterogeneous component-based software systems, programming language support systems, Java, performance, distributed systems, reliability, C++, PROLOG, Prolog, conceptual model, software reliability, LISP, Lisp, open systems, object-oriented languages, portability, client-server systems, software portability, C language, Tcl, communication mechanism |
31 | Tam M. Nguyen, Vason P. Srini, Alvin M. Despain |
A two-tier memory architecture for high-performance multiprocessor systems. |
ICS |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog, CRAY X-MP |
31 | Kwa-Sur Tam, Michael Besso, Renuka Racha |
Computer-generated Design of Electric Circuits. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
31 | Perry M. Kosieniak, Victor Mathis, Michael St. Jacques, Delano Stevens |
The Network Control Assistant (NCA), a Real-Time Prototype Expert System for Network Management. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog, IBM PC |
30 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
Test frame updating in CPM testing of Prolog programs. |
Softw. Qual. J. |
2008 |
DBLP DOI BibTeX RDF |
CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement |
30 | Athanasios K. Tsadiras |
A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps. |
SETN |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Predictions, Prolog, Decision Making, Fuzzy Cognitive Maps |
30 | Jirí Vyskocil, Petr Stepánek |
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction |
30 | Soyoung Kwon |
A parsing algorithm for Korean implemented in Prolog. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
unification-based grammar, Prolog, parsing, dependency grammar |
30 | Berndt Farwer, Michael Leuschel |
Model checking object petri nets in prolog. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
model checking, compilation, animation, prolog, object petri nets |
30 | Gopal Gupta 0001, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo |
Parallel execution of prolog programs: a survey. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
parallelism, logic programming, prolog, constraint programming, Automatic parallelization |
30 | Bart Demoen, Konstantinos Sagonas |
Memory Management for Prolog with Tabling. |
ISMM |
1998 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Fatima Z. Mansouri, Cleveland Augustine Gibbon, Colin A. Higgins |
PRAM: prolog automatic marker. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
complexity, education, testing, metrics, Prolog, correctness, style, automatic marking |
30 | Philip J. Morrow, Danny Crookes |
Using Prolog to implement a compiler for a parallel image processing language. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
parallel image processing language, BNF syntax definition, image processing, compiler, parallel architectures, parallel architectures, PROLOG, programming languages, program compilers, parallel languages, software portability, software portability, abstract model, implementation language |
30 | Baudouin Le Charlier, Pascal Van Hentenryck |
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Donna M. Kaminski |
Introducing the fuzzy paradigm using Prolog. |
SIGCSE |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Claudio Delrieux, Pablo R. Azero Alcocer, Fernando Tohmé |
Toward integrating imperative and logic programming paradigms: WYSIWYG approach to PROLOG programming. |
ACM SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Peter Greenfield |
Bagof/3 to ZF expression: an example prolog application manually translated to Miranda. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
non-deterministic programming, logic programming, prolog, functional programming, Miranda |
30 | R. Ramesh 0001, I. V. Ramakrishnan, David Scott Warren |
Automata-Driven Indexing of Prolog Clauses. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Chunsik Yi, Steven Graham |
Real-Time Reasoning with PROLOG. |
SIGSMALL/PC Symposium |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Kam-Fai Wong, M. Howard Williams |
CLARE - A Prolog Database Machine. |
SIGSMALL/PC Symposium |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Mark Tarver |
An Examination of the Prolog Technology Theorem-Prover. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
PTTP, metalevel reasoning, Prolog Normal Form, refinement |
30 | D. Sarma, C. P. Wu |
Pipelined OR-Parallelism Architecture for Parallel Execution of Prolog. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Tim Nicholson, Norman Y. Foo |
A Denotational Semantics for Prolog. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Michael Brady |
A direct execution architecture for Prolog? |
MICRO |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
30 | David R. Beuerman |
PROREL: a Prolog-based system for relational algebra and data base. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Ashok Singhal, Yale N. Patt |
Implementing a Prolog machine with multiple functional units. |
MICRO |
1988 |
DBLP BibTeX RDF |
Prolog |
30 | H. Azzoune |
Type Inference in Prolog. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Type, Type Inference |
30 | D. M. Sherman |
A Prolog Model of the Income Tax Act of Canada. |
ICAIL |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
30 | Andreas Krall |
Implementation of a high-speed Prolog interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
30 | 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 |
30 | Marc Bergman, Pierre Deransart |
Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
proof of equational properties, Knuth-Bendix algorithm, PROLOG, operational semantics, Abstract Data Type, rewriting systems |
30 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
Integrating an Answer Set Solver into Prolog: ASP-PROLOG. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Enrico Denti, Andrea Omicini, Alessandro Ricci |
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Nicos Angelopoulos, James Cussens |
Prolog Issues and Experimental Results of an MCMC Algorithm. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández |
Implementing Constructive Intensional Negation. |
New Gener. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation |
28 | Konstantine Arkoudas, Olin Shivers |
Trusted Theorem Proving: A Case Study in SLD-Resolution. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Michel Ferreira, Nuno A. Fonseca, Ricardo Rocha 0001, Tiago Soares |
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
Performance, Implementation, Deductive Databases |
28 | Oliver Ray |
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Marcello Balduccini |
USA-Smart: Improving the Quality of Plans in Answer Set Planning. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Planning, preferences, answer set programming |
28 | Luís Fernando Castro, David Scott Warren |
Approximate Pruning in Tabled Logic Programming. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Salvador Abreu, Daniel Diaz 0001 |
Objective: In Minimum Context. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Logic Programming for Agents. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa |
Achieving Scalability in Parallel Tabled Logic Programs. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
Tabling, Parallel Logic Programming |
28 | Baoqiu Cui, Terrance Swift, David Scott Warren |
A Case Study in Using Preference Logic Grammars for Knowledge Representations. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Hong Chen, Jieh Hsiang |
Logic Programming with Recurrence Domains. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Christoph Beierle, Egon Börger |
Correctness Proof For the WAM with Types. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Barry L. Kurtz, Cathy Cavendish, Byron Thatcher |
Circuit World An Intelligent Simulation System For Digital Logic. |
ICCAL |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Pierre Deransart, Jan Maluszynski |
A Grammatical View of Logic Programming. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Mary Micco |
An undergraduate curriculum in expert systems design or knowledge engineering. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Jia-Huai You, P. A. Subrahmanyam |
Equational Logic Programming: An Extension to Equational Programming. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Hassan Aït-Kaci, Roger Nasr |
Logic and Inheritance. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
26 | Ralf Lämmel |
Scrap your boilerplate: prologically! |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
scrap your boilerplate, prolog, haskell, stratego |
26 | Paul Tarau |
An embedded declarative data transformation language. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph |
26 | Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark |
DARE: a system for distributed abductive reasoning. |
Auton. Agents Multi Agent Syst. |
2008 |
DBLP DOI BibTeX RDF |
Distributed inference, Multi-thread Prolog, Abduction |
26 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Comparing tag scheme variations using an abstract machine generator. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog |
26 | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
The Ecce and Logen partial evaluators and their web interfaces. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction |
26 | Igor Wojnicki, Antoni Ligeza |
Jelly view: a technology for arbitrarily advanced queries within RDBMS. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
intensional knowledge, prolog, deductive database, RDBMS, recursive queries |
26 | Michel Ferreira, Luís Damas |
WAM Local Analysis. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Multiple Specialization, Abstract Interpretation |
26 | Antonio Brogi, Gianluca Caruso |
From Subject Directories to Subject Meta-directories via Declarative Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
subject directories, Prolog, Web-programming |
26 | Gudjon Gudjonsson, William H. Winsborough |
Compile-time memory reuse in logic programming languages through update in place. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
compile-time garbage collection, local reuse, reuse map, update in place, Prolog |
26 | Konstantinos Sagonas, Terrance Swift |
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
SLG, memoing, stratification theories, prolog, tabling, WAM |
26 | Ioannis P. Vlahavas, Nick Bassiliades, Ilias Sakellariou, Martín Molina, Sascha Ossowski, Ivan Futó, Zoltán Pásztor, János Szeredi, Igor Velbitskiy, Sergey Yershov, Sergey Golub, Igor Netesin |
System Architecture of a Distributed Expert System for the Management of a National Data Network. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
distributed expert systems, distributed prolog, agents, network management |
26 | Paul Tarau, Ulrich Neumerkel |
A Novel Term Compression Scheme and Data Representation in the BinWAM. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM |
26 | S. Ivanets, N. Ilinsky, M. Krylov |
WAM Specification for Parallel Execution on SIMD Computer. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
parallel unification, Warren Abstract Machine, compiler, Prolog, hypercube, SIMD-computer |
26 | Benjamin Bell, Louis-François Pau |
Contour Tracking and Corner Detection in a Logic Programming Environment. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment |
26 | Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara |
A Dedicated Small Computer for Artificial Intelligence. |
SIGSMALL/PC Symposium |
1990 |
DBLP DOI BibTeX RDF |
Prolog, Common Lisp |
26 | Sanjay Manchanda |
Declarative Expression of Deductive Database Updates. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
25 | Marcello Balduccini |
CR-Prolog as a Specification Language for Constraint Satisfaction Problems. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A declarative semantics for Bousi~Prolog. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics |
Displaying result #301 - #400 of 3802 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|