|
|
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 |
25 | Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig |
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
25 | Grzegorz J. Nalepa |
Prototype Prolog API for Mindstorms NXT. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Tom Schrijvers, Bart Demoen |
Uniting the Prolog Community. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Gergely Lukácsy, Péter Szeredi, Balázs Kádár |
Prolog Based Description Logic Reasoning. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
logic programming, description logic, resolution, large data sets |
25 | Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik |
Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Levente Hunyadi |
Prosper: A Framework for Extending Prolog Applications with a Web Interface. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
application development framework, web integration |
25 | Grzegorz J. Nalepa, Igor Wojnicki |
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. |
INAP/WLP |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Michel Wermelinger, Artur Miguel Dias |
A prolog toolkit for formal languages and automata. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jan Wielemaker |
An Optimised Semantic Web Query Language Implementation in Prolog. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ryo Fukuhara, Tomoharu Matsunaka, Kazutaka Kitamori |
Automatic generation of simulation program by XML-prolog. |
WSC |
2005 |
DBLP BibTeX RDF |
|
25 | Stephen-John Craig, Michael Leuschel |
Self-tuning resource aware specialisation for prolog. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Dávid Hanák, Tamás Szeredi, Péter Szeredi |
FDBG, the CLPFD Debugger Library of SICStus Prolog. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Christoph Beierle, Marija Kulas, Manfred Widera |
A Pragmatic Approach to Pre-testing Prolog Programs. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Michael Backes 0001, Markus Dürmuth, Günter Karjoth |
Unification in Privacy Policy Evaluation - Translating EPAL into Prolog. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jan Wielemaker, Guus Schreiber, Bob J. Wielinga |
Prolog-Based Infrastructure for RDF: Scalability and Performance. |
ISWC |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer |
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Michael Gelfond |
Representing Knowledge in A-Prolog. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Henning Makholm |
A Region-Based Memory Manager for Prolog. |
ISMM |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Fausto Spoto, Giorgio Levi |
Abstract Interpretation of Prolog Programs. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Adam Mrózek, Krzysztof Skabek |
Rough Rules in Prolog. |
Rough Sets and Current Trends in Computing |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla |
Global Analysis of Standard Prolog Programs. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
Optimization, Logic Programming, Abstract Interpretation |
25 | Thomas Lindgren, Johan Bevemyr, Håkan Millroth |
Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Johan Bevemyr, Thomas Lindgren |
A Simple and Efficient Copying Garbage Collector for Prolog. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Gilberto Filé, Sabina Rossi |
Static Analysis of Prolog with Cut. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Johan Bevemyr, Thomas Lindgren, Håkan Millroth |
Exploiting Recursion-Parallelism in Prolog. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Carlos Escalante |
A simple model of prolog's performance: extensional predicates. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
25 | Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck |
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Paul Tarau |
BinProlog: a Continuation Passing Style Prolog Engine. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Gopal Gupta 0001, Vítor Santos Costa |
And-Or Parallelism in Full Prolog with Paged Binding Arrays. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Costas Mourlas, Constantin Halatsis |
Extensions to a Parallel Prolog System to Support Real-Time Applications. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Baudouin Le Charlier, Pascal Van Hentenryck |
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Bart Demoen, André Mariën |
Implementation of Prolog as Binary Definite Programs. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Gustaf Neumann |
A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Evgeny L. Kitaev |
Processing of Ground Regular Terms in PROLOG. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Dan Sahlin |
Finding the Least Fixed Point Using Wait-Declarations in Prolog. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Serge Le Huitouze |
A New Data Structure for Implementing Extensions to Prolog. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe |
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Egon Börger, Dean Rosenzweig |
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Egon Börger, Peter H. Schmitt |
A Formal Operational Semantics for Languages of Type Prolog III. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Antonio Brogi, Roberto Gorrieri |
A Distributed, Net Oriented Semantics for Delta Prolog. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Bogumil Hausman |
Pruning and Scheduling Speculative Work in Or-Parallel Prolog. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Jacques Chassin de Kergommeaux, Uri Baron, Wolfgang Rapp, Michael Ratcliffe |
Performance Analysis of a Parallel Prolog: A Correlated Approach. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Balkrishna Ramkumar, Laxmikant V. Kalé |
An Abstract Machine for the Reduce-OR Process Model for Parallel Prolog. |
KBCS |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Laurent Fribourg |
Functional Extensions to Prolog: Are they Needed? |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Jirí Polák, S. P. Guest |
A graphical representation of the Prolog programmer's knowledge. |
Informatics and Psychology Workshop |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Rainer Manthey, François Bry |
SATCHMO: A Theorem Prover Implemented in Prolog. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Joost N. Kok |
A Compositional Semantics for Concurrent Prolog. |
STACS |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Peter M. D. Gray, David S. Moffat, Norman W. Paton |
A Prolog Interface to a Functional Data Model Database. |
EDBT |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Zsuzsa Farkas |
LISTLOG - A Prolog Extension for List Processing. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure |
Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Paola Mello, Antonio Natali |
Objects as Communicating Prolog Units. |
ECOOP |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Hans Tebra |
Optimistic And-Parallelism in Prolog. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel |
Application of Prolog to Test Sets Generation from Algebraic Specifications. |
TAPSOFT, Vol.2 |
1985 |
DBLP DOI BibTeX RDF |
|
25 | 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 |
|
25 | Jiro Tanaka, Takashi Yokomori, Makoto Kishishita |
AND-OR Queuing in Extended Concurrent Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
24 | Jiro Naganuma, Takeshi Ogura |
A Highly OR-Parallel Inference Machine (Multi-ASCA) and Its Performance Evaluation: An Architecture and Its Load Balancing Algorithms. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
highly OR-parallel inference machine, Multi-ASCA, serial I/O links, modified mesh network, high-speed sequential Prolog processor, locally controlled activity, software simulator, inference tree, OR-parallel benchmarks, n-queens problem, copying method, high-performance artificial intelligence system, nonshared memory multiprocessor system, 20 Mbit/s, performance evaluation, performance evaluation, VLSI, resource allocation, parallel architectures, parallel architecture, virtual machines, PROLOG, parallel machines, inference mechanisms, trace-driven simulation, communication overhead, processing elements, local memory, local communication, load balancing algorithms |
24 | Gruia-Catalin Roman |
Formal Specification of Geographic Data Processing Requirements. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation |
24 | Y. C. Yang, M. C. Liu, Jeffery K. Cochran |
Knowledge-Based Scheduling for Flexible Manufacturing Systems. |
IEA/AIE (Vol. 2) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | Masanobu Matsuo, Ko Arima, Frederick E. Freiheit IV, Ken Hubbard |
Logic Programmable Natural Language Processor of a Knowledge-Base Management System. |
IEA/AIE (Vol. 2) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | S. S. Hyder, A. Khoujah |
Character Recognition of Cursive Scripts. |
IEA/AIE (Vol. 2) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | D. Vakil, Mehdi R. Zargham |
An Expert System for Channel Routing. |
IEA/AIE (Vol. 2) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | James Paul Vita |
An Object-Oriented Approach to Switching Circuit Minimization. |
IEA/AIE (Vol. 2) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
23 | Thomas J. Bensky, Catherine A. Taff |
Computer-Guided Solutions to Physics Problems Using Prolog. |
Comput. Sci. Eng. |
2010 |
DBLP DOI BibTeX RDF |
computer tutorial, Artificial intelligence, Prolog, physics, kinematics |
23 | Arthur C. Fleck |
Prolog as the first programming language. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
first programming language, logic programming, prolog |
23 | Tim Menzies, Lindsay Mason |
Some prolog macros for rule-based programming: why? how? |
ACM SIGPLAN Workshop on Rule-Based Programming |
2002 |
DBLP DOI BibTeX RDF |
prolog, history, rule-based programming |
23 | Aliy Fowler |
Web-based CALL using prolog. |
ITiCSE |
2001 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Mária Bieliková, Pavol Návrat |
Learning Programming in Prolog Using Schemata. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Fatima Z. Mansouri, Colin A. Higgins |
Prolog: An Annotated Bibliography. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
Prolog |
23 | David J. Russomanno |
The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
AI Tools, Graphics Migration, AM/FM, PROLOG, Data Migration |
23 | Koenraad De Bosschere, Paul Tarau |
High performance continuation passing style Prolog-to-C mapping. |
SAC |
1994 |
DBLP DOI BibTeX RDF |
binary logic programs, continuation based compilation, Prolog, program transformation |
23 | Alireza Azem, Fevzi Belli |
Reliability Prediction of Prolog Programs. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
23 | Kelly G. Price, Kai H. Chang, William B. Day |
DDL: A Parallel Implementation of Prolog. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
23 | Alan Finlay, Lloyd Allison |
A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Richard Rankin, Ralph W. Wilkerson |
Finding Fixed Point Combinators Using Prolog. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Maurizio Proietti, Alberto Pettorossi |
Semantics Preserving Transformation Rules for Prolog. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Dan Sahlin |
Determinacy Analysis for Full Prolog. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Vítor Santos Costa, David H. D. Warren, Rong Yang |
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. |
PPoPP |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
23 | John Van Tassel, David Hemmendinger |
Specifying and Automatically Generating Ada Tasks in Prolog. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
Ada, Prolog |
23 | Marwan A. Jabri |
BREL - a Prolog Knowledge-based System Shell for VLSI CAD. |
DAC |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Peter Van Roy |
A useful extension to Prolog's definite clause grammar notation. |
ACM SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Andreas Zell, Thomas Bräunl |
An alternative Prolog search strategy. |
IEA/AIE (2) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Victor B. Schneider |
A pedagogic expert system shell in Prolog. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
23 | David Hemmendinger |
The 'Hamming' in Prolog. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
23 | David Hemmendinger |
The "Hamming problem" in Prolog. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Alexander C. Papaspyrdis |
A Prolog-Based Connectivity Verification Tool. |
DAC |
1988 |
DBLP BibTeX RDF |
Prolog |
23 | Thomas W. Jerardi |
Puzzles, PROLOG amd Logic. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Gregers Koch |
Prolog in the automation of the semantic component. |
SIGCSE |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Ashok Kumar, Vishv M. Malhotra |
A Look-Ahead Interpreter for Sequential Prolog and Its Implementation. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
Prolog, Interpreter, Look-ahead |
23 | José A. Riaza |
Tau Prolog: A Prolog Interpreter for the Web. |
Theory Pract. Log. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
23 | José Antonio Riaza Valverde |
Tau Prolog: A Prolog interpreter for the Web. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Sibylle Schwarz, Mario Wenzel |
ev3dev-prolog - Prolog API for LEGO EV3. |
GI-Jahrestagung (Workshops) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Afroditi Stathaki, Haridimos Kondylakis, Emmanouil I. Marakakis, Michael Kalogerakis |
i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog. |
ArtsIT/DLI |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Theofrastos Mantadelis |
Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren). (PDF / PS) |
|
2012 |
RDF |
|
23 | Tzanko Golemanov, Kostadin Kratchanov, Emilia Golemanova |
Spider vs. Prolog: simulating Prolog in Spider. |
CompSysTech |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero |
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog. |
Theory Pract. Log. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | François Gobert |
Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs. |
|
2008 |
RDF |
|
23 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog |
CoRR |
2007 |
DBLP BibTeX RDF |
|
23 | Tom Schrijvers, Alexander Serebrenik |
Improving Prolog Programs: Refactoring for Prolog |
CoRR |
2004 |
DBLP BibTeX RDF |
|
Displaying result #401 - #500 of 3802 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|