|
|
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 |
14 | Weidong Chen 0005, David Scott Warren |
Query Evaluation under the Well Founded Semantics. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
14 | J. E. Heaton, Pavel Kocura |
Presenting a Pierce Logic Based Inference Engine and Theorem Prover for Conceptual Graphs. |
ICCS |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Jerzy Marcinkowski |
A Horn Clause that Implies and Undecidable Set of Horn Clauses. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Momigliano, Mario Ornaghi |
Regular Search Spaces as a Foundation of Logic Programming. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Krzysztof R. Apt, Alessandro Pellegrini 0002 |
Why the Occur-Check is Not a Problem. (long version: TOPLAS 16(3): 687-726 (1994)) |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini |
Techniques for Implementing Contexts in Logic Programming. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Marco Pellegrini 0001, Raimondo Sepe |
SetLog, a tool for experimenting with new semantics. |
ACM SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Egon Börger, Dean Rosenzweig |
WAM Algebras - A Mathematical Study of Implementation, Part 2. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Paul Y. Gloess |
U-Log, An Ordered Sorted Logic with Typed Attributes. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Zhuoan Jiao, Peter M. D. Gray |
Optimization of Methods in a Navigational Query Language. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Harold Boley |
Extended Logic-plus-Functional Programming. |
ELP |
1991 |
DBLP DOI BibTeX RDF |
|
14 | John Hannan |
Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages. |
ELP |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Mamdouh H. Ibrahim, Fred A. Cummins |
Objects with Logic. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Chung Chen-Hwa, Christos Nikolopoulos |
On Expert Database Systems (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Krall, Ulrich Neumerkel |
The Vienna Abstract Machine. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Peter Haastrup, Christian Gram |
Correctness in the Small. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Michel Kuntz |
Pasta-3: A Graphical Direct Manipulation Interface for Knowledge Base Management Systems. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Alfonseca 0001 |
Object Oriented Programming (Tutorial). |
APL |
1990 |
DBLP DOI BibTeX RDF |
APL, C++, Smalltalk |
14 | Miriam Leeser |
Reasoning about the function and timing of integrated circuits with interval temporal logic. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Eric Simon, Gerry Gaes |
ASSYST - Computer Support for Guideline Sentencing. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Liu Ning, Krzysztof J. Cios |
Knowledge Based Intelligent Tutoring System. |
ICCAL |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Akikazu Takeuchi, Kazuko Takahashi |
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Marc Andreoli, Remo Pareschi |
Logic Programming with Sequent Systems, A Linear Logic Approach. |
ELP |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Robert B. Terwilliger |
Please: a language combining imperative and logic programming. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
PLEASE |
14 | Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual |
CENTAUR: The System. |
Software Development Environments (SDE) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
14 | George Dayantis |
Types, Modularisation and Abstraction in Logic Programming. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Henning Christiansen 0001 |
Structure Sharing in Attribute Grammars. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
14 | W. P. Weijland |
Semantics for Logic Programs without Occur Check. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Wei Si Jiang, William G. Wee |
A frame-based approach to hardware verification (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz |
Manhattanville College expert academic advisor - preliminary report (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Enrique V. Kortright |
Expert-VSim (abstract only): an expert simulation environment. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Hideki Sato, Hitoshi Matsumoto, Hiroki Iciki |
Project management expert system (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
14 | M. C. Lee, Paul A. Samet |
Intelligent computer-based instruction. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
LOGO |
14 | Wlodzimierz Drabent, Jan Maluszynski |
Inductive Assertion Method for Logic Programs. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura |
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Wolfgang Schönfeld |
Interfacing a Logic Machine. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan D. Pincus, Alvin M. Despain |
Delay reduction using simulated annealing. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Daniel S. Barclay, James R. Armstrong |
A heuristic chip-level test generation algorithm. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
|
14 | Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya |
Software Prototyping with MENDEL. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Jeffrey Scott Vitter, Roger A. Simons |
Parallel algorithms for unification and other complete problems in p. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
|
12 | Selim Ciraci, Pim van den Broek, Mehmet Aksit |
Graph-based verification of static program constraints. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
constraint verification, program constraints, prolog, graph transformations |
12 | Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser |
Architecture optimisation with Currawong. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
optimization, prolog, optimisation, android, binary rewriting |
12 | Paul Tarau, Arun K. Majumdar |
Interoperating Logic Engines. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs |
12 | Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes |
On Preferring and Inspecting Abductive Models. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction |
12 | Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz |
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles. |
KI |
2009 |
DBLP DOI BibTeX RDF |
multi-agent systems, knowledge representation, Prolog, dynamic epistemic logic |
12 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Prolog, And-Parallelism |
12 | David Marshall Hansen, Joseph Bruce, David Harrison |
Give students a clue: a course-project for undergraduate artificial intelligence. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
Java, intelligent agent, PROLOG, course project |
12 | Andrey Nechypurenko, Egon Wuchner, Jules White, Douglas C. Schmidt |
Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
model completion, modeling, model checking, Prolog, automotive, constraint solver |
12 | Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
Backtracking, interleaving, and terminating monad transformers: (functional pearl). |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
control delimiters, logic programming, Prolog, streams, Haskell, continuations |
12 | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
Semi-naive evaluation in linear tabling. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization |
12 | J. Rajesh, D. Janakiram |
JIAD: a tool to infer design patterns in refactoring. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
facts-base, intent-aspects (IAs), predicate-templates, design pattern (DP), prolog, refactoring, object-oriented systems, rule-base, declarative programming |
12 | Cornelis Pronk, Martin Schönhacker |
Formal definition of programming language standards. |
ACM SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
Formal Definition Languages, VDM-SL, Prolog, Modula-2 |
12 | Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas |
Termination proofs for logic programs with tabling. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
prolog, tabling, SLG-resolution |
12 | Congxiao Lu, David J. Russomanno |
KAT: A Knowledge Acquisition Tool for Acquiring Functional Knowledge Based Upon the No-Causality-In-Functional Principle. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
functional knowledge acquistion, PROLOG, Windows NT, C/C++ |
12 | Mohammed Almulla, Tadeusz Szuba |
Toward a Computational Model of Collective Intelligence and its IQ Measure. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
IQ measure, nondeterministic model of computations, quasi-chaotic Brownian movements, PROLOG, collective intelligence, social structure |
12 | Neng-Fa Zhou |
Building Java Applets by Using DJ - A Java-based Constraint Language. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
DJ, Java, Prolog, Layout, Constraint programming, Applet |
12 | Paulo S. C. Alencar, Donald D. Cowan, Jing Dong 0005, Carlos José Pereira de Lucena |
A Pattern-Based Approach to Structural Design Composition. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
design transformation, design pattern, Prolog, software evolution, object-oriented design, design process, design reuse, Design component |
12 | Damon Stewart, R. Raymond Lang |
Explanation closure as a knowledge representation tool for automated story generation. |
ACM Southeast Regional Conference |
1998 |
DBLP DOI BibTeX RDF |
Prolog |
12 | David J. Russomanno |
An Automated Inference Approach to Network Derivation for AM/FM/GIS Systems. |
ACM-GIS |
1996 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Saumya K. Debray |
On the Complexity of Dataflow Analysis of Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
complexity, Prolog, program analysis |
12 | Lunjin Lu |
Type Analysis of Logic Programs in the Presence of Type Definitions. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Michael Leuschel, Danny De Schreye |
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
12 | L. Thorne McCarty |
An Implementation of Eisner v. Macomber. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Aspassia Daskalopulu, Marek J. Sergot |
A Constraint-Driven System for Contract Assembly. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Juris Reinfelds |
A three paradigm first course for CS majors. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Bruce K. Holmer |
A tool for processor instruction set design. |
EURO-DAC |
1994 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Luis Sánchez Fernández 0001, Peter T. Breuer, Carlos Delgado Kloos |
Proof theory and a validation condition generator for VHDL. |
EURO-DAC |
1994 |
DBLP BibTeX RDF |
Prolog, VHDL |
12 | Jussi Stader, Robert Inder, Paul W. H. Chung |
Transforming Databases for Experts. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
12 | Fevzi Belli, Oliver Jack |
An Environment for Self-Testing of Logic Programs. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
12 | Fevzi Belli, Alfried Pollmann, Radu Crisan |
Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
CS-PROLOG |
12 | Fevzi Belli, Javier Dreyer |
Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
12 | Saumya K. Debray, Nai-Wei Lin |
Cost Analysis of Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
complexity, PROLOG, program analysis |
12 | Michael F. Dunn, John C. Knight |
Automating the Detection of Reusable Parts in Existing Software. |
ICSE |
1993 |
DBLP BibTeX RDF |
Prolog, expert system, software reuse, reengineering, reusable components |
12 | John P. Gallagher |
Tutorial on Specialisation of Logic Programs. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
12 | L. Ümit Yalçinalp |
Ushell: An Environment for Introduction to Logic Programming. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Norman Neff |
A logic programming environment for teaching mathematical concepts of computer science. |
SIGCSE |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Marc Eisenstadt |
Human cognition research laboratory: the Open University (U.K.). |
INTERCHI |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
12 | M. Timmerman, Frank Gielen, Patrick Lambrix |
High Level Tools for the Debugging of Real-Time Multiprocessor Systems. |
Workshop on Parallel and Distributed Debugging |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Saumya K. Debray |
Efficient Dataflow Analysis of Logic Programs. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
PROLOG, program analysis |
12 | Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean |
Computer-Assisted Microanalysis of Parallel Programs. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
execution graph, microanalysis, Prolog, execution trace, speed up, event graph |
12 | Allen Van Gelder |
The Well-Founded Semantics of Aggregation. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Jichang Tan, I-Peng Lin |
Compiling Dataflow Analysis of Logic Programs. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Mariano P. Consens, Alberto O. Mendelzon, Arthur G. Ryman |
Visualizing and Querying Software Structures. |
ICSE |
1992 |
DBLP DOI BibTeX RDF |
G, Prolog |
12 | Miguel Felder, Angelo Morzenti |
Validating Real-Time Systems by History-Checking TRIO Specifications. |
ICSE |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Zhiyi Hwang, Shouren Hu, Chengzheng Sun, Yaoqing Gao |
Reduction of Code Space in Parallel Logic Programming Systems. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
mode inference, parallel processing, compile, logic programming, PROLOG, abstract interpretation, computer languages, AND-parallelism |
12 | Mariano P. Consens, Alberto O. Mendelzon, Arthur G. Ryman |
Visualizing and querying software structures. |
CASCON |
1991 |
DBLP BibTeX RDF |
4Thought, G+, GraphLog, graphical queries, theory-model paradigm, visualizations, software engineering, Prolog, software design, visual queries |
12 | Barnett Glickfeld |
Perpetuities Reasoning Captured and Automated in a Logic Program. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Ken Slonneger |
An exercise in denotational semantics. |
SIGCSE |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap |
A Methodology for Managing Hard Constraints in CLP Systems. |
PLDI |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa, Tomihisa Kamada |
A general framework for Bi-directional translation between abstract and pictorial data. |
UIST |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Gregory Butler, Sridhar S. Iyer, Susan H. Ley |
A Deductive Database of the Groups of Order Dividing 128. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Yoheved Dotan, Benjamin Arazi |
Concurrent Logic Programming as a Hardware Description Tool. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
hardware description tool, Flat Concurrent Prolog, parallel programming, logic programming, specification languages, concurrent logic programming |
12 | Ali Keskin |
Strategies for deductive databases. |
ACM Southeast Regional Conference |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
12 | John R. Talburt, David Roach |
RAP: relocation allowance planner, a rule-based expert system with self-defining documentation features. |
SIGDOC |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Luis Enrique Sucar, Duncan Fyfe Gillies |
Knowledge-based Assistant for Colonscopy. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
12 | E. Dennis Huthnance, Dan DiLorenzo |
Artificial Intelligence in the Treatment of Ventricular Tachycardia. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Fevzi Belli, Hinrich E. G. Bonin |
An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREX. |
IEA/AIE (Vol. 1) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Selmin Nurcan, Li Lei, Jacques Kouloumdjian |
Integrating Database Technology and Logic Programming Paradigm. |
IEA/AIE (Vol. 1) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
12 | Zhiyi Hwang, Shouren Hu |
A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
Compiling, Logic programming, Prolog, Data-dependence, Parallel execution, And-parallelism |
|
|