Search results for "Prolog"

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