Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Joanna Chimiak-Opoka, Michael Felderer, Chris Lenz, Christian Lange 0001	Querying UML Models using OCL and Prolog: A Performance Study.	ICST Workshops	2008	DBLP DOI BibTeX RDF
11	Ulrich Neumerkel, Markus Triska, Jan Wielemaker	Declarative language extensions for prolog courses.	FDPE@ICFP	2008	DBLP DOI BibTeX RDF
11	Sandeep Chintabathina	Towards Answer Set Prolog Based Architectures for Intelligent Agents.	AAAI	2008	DBLP BibTeX RDF
11	Jürgen Sorg	Breitensuche in Prolog.	Informatiktage	2008	DBLP BibTeX RDF
11	Daniela Briola, Viviana Mascardi, Maurizio Martelli, Gabriele Arecco, Riccardo Caccia, Carlo Milani	A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments.	WOA	2008	DBLP BibTeX RDF
11	Subrata Das, Scott Harrison	PROLOG: A multiagent toolkit for logistics planning in netcentric environments.	FUSION	2008	DBLP BibTeX RDF
11	Grzegorz J. Nalepa, Igor Wojnicki	ARD+ Design and Visualization Tool-Chain Prototype in Prolog.	FLAIRS	2008	DBLP BibTeX RDF
11	Grzegorz J. Nalepa, Igor Wojnicki	Concept of an Interactive Web Portal for Teaching Prolog.	FLAIRS	2008	DBLP BibTeX RDF
11	Peter Schneider-Kamp	Static termination analysis for prolog using term rewriting and SAT solving.		2008	RDF
11	Marbod Hopfner	Source code analysis, management, and visualization for PROLOG.		2008	RDF
11	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
11	Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	Functions and Lazy Evaluation in Prolog.	PROLE	2007	DBLP DOI BibTeX RDF
11	Joséphine M. P. Tchétagni, Roger Nkambou, Jacqueline Bourdeau	Explicit Reflection in Prolog-Tutor.	Int. J. Artif. Intell. Educ.	2007	DBLP BibTeX RDF
11	Yoshihiro Adachi, Yudai Furusawa	Logichart: A Prolog Program Diagram and its Layout.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2007	DBLP DOI BibTeX RDF
11	Grigoris Antoniou, Antonis Bikakis	DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Semantic Web reasoning, Rules, nonmonotonic reasoning
11	Jan Wielemaker, Zhisheng Huang, Lourens van der Meij	SWI-Prolog and the Web	CoRR	2007	DBLP BibTeX RDF
11	Pierre Deransart, Mireille Ducassé, Gérard Ferrand	Observational semantics of the Prolog Resolution Box Model	CoRR	2007	DBLP BibTeX RDF
11	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)	CoRR	2007	DBLP BibTeX RDF
11	Jan Wielemaker, Anjo Anjewierden	PIDoc: Wiki style Literate Programming for Prolog	CoRR	2007	DBLP BibTeX RDF
11	Francçois Gobert, Baudouin Le Charlier	Source-to-source optimizing transformations of Prolog programs based on abstract interpretation	CoRR	2007	DBLP BibTeX RDF
11	Ken Samuel, Leo Obrst, Suzette Stoutenburg, Karen Fox, Paul Franklin, Adrian Johnson, Kenneth J. Laskey, Deborah Nichols, Steve Lopez, Jason Peterson	Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs	CoRR	2007	DBLP BibTeX RDF
11	Carsten Pontow, Florian Dazinger, Rainer Schubert	A framework in prolog for computing structural relationships.	Data Knowl. Eng.	2007	DBLP DOI BibTeX RDF
11	Howard Falk	Prolog to Multi-User MIMO-OFDM for Next-Generation Wireless.	Proc. IEEE	2007	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Synchronization Techniques for Orthogonal Frequency Division Multiple Access (OFDMA): A Tutorial Review.	Proc. IEEE	2007	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Rethinking Components: From Hardware and Software to Systems.	Proc. IEEE	2007	DBLP DOI BibTeX RDF
11	Attila Csenki	Rotations in the plane and Prolog.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
11	Ruben Vandeginste, Bart Demoen	Incremental copying garbage collection for WAM-based Prolog systems.	Theory Pract. Log. Program.	2007	DBLP DOI BibTeX RDF
11	Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta 0001	PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.	Theory Pract. Log. Program.	2007	DBLP DOI BibTeX RDF
11	Susana Muñoz-Hernández, Claudio Vaucheret	Fuzzy Prolog: Default Values to Represent Missing Information.	Computational Intelligence Based on Lattice Theory	2007	DBLP DOI BibTeX RDF
11	Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann	Automatic Incrementalization of Prolog Based Static Analyses.	PADL	2007	DBLP DOI BibTeX RDF
11	Vítor Santos Costa	Prolog Performance on Larger Datasets.	PADL	2007	DBLP DOI BibTeX RDF
11	Rongyu He, Zheng Qin, Fei Huaping	PROLOG for the Implementation of Student Module in ICAIP system.	IMECS	2007	DBLP BibTeX RDF
11	Enrico Pontelli	ASP-PROLOG: Composition and Interoperation of Rules.	ALPSWS	2007	DBLP BibTeX RDF
11	Girish Keshav Palshikar	Representation and Execution of a Graph Grammar in Prolog.	ICLP	2007	DBLP DOI BibTeX RDF
11	Jan Wielemaker, Michiel Hildebrand, Jacco van Ossenbruggen	Prolog as the Fundament for Applications on the Semantic Web.	ALPSWS	2007	DBLP BibTeX RDF
11	Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski	HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners.	ALPSWS	2007	DBLP BibTeX RDF
11	Susana Muñoz-Hernández, Wiratna Sari Wiguna	Fuzzy Prolog as Cognitive Layer in RoboCupSoccer.	CIG	2007	DBLP DOI BibTeX RDF
11	Arthur C. Fleck	Prolog as the First Programming Language.	FECS	2007	DBLP BibTeX RDF
11	Marcello Balduccini	Learning Action Descriptions with A-Prolog: Action Language C.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
11	Harald Störrle	A PROLOG-based Approach to Representing and Querying Software Engineering Models.	VLL	2007	DBLP BibTeX RDF
11	Luc De Raedt, Angelika Kimmig, Hannu Toivonen	ProbLog: A Probabilistic Prolog and Its Application in Link Discovery.	IJCAI	2007	DBLP BibTeX RDF
11	Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez	Planning using situation calculus, prolog and a mobile robot.	LA-NMR	2007	DBLP BibTeX RDF
11	Ruben Vandeginste	Copying garbage collection for WAM-based prolog systems.		2007	RDF
11	Andrea Passerini, Paolo Frasconi, Luc De Raedt	Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.	J. Mach. Learn. Res.	2006	DBLP BibTeX RDF
11	Anna Sasak	Prolog, Mercury and the termination problem.	Ann. UMCS Informatica	2006	DBLP BibTeX RDF
11	José Luis Sierra, Alfredo Fernández-Valmayor	A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars.	LDTA@ETAPS	2006	DBLP DOI BibTeX RDF
11	Yousef Al-Ohali, AbdulMalik Al-Salman, Said A. Al-Ghamidi, Sameer I. Arif	Interlog: An International Prolog Language.	Egypt. Comput. Sci. J.	2006	DBLP BibTeX RDF
11	Seref Mirasyedioglu, Tolga Güyer	A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
11	Attila Csenki	Enigma 1225: Prolog-assisted solution of a puzzle using discrete mathematics.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
11	Thierry Despeyroux	Developing efficient parsers in Prolog: the CLF manual (v1.0)	CoRR	2006	DBLP BibTeX RDF
11	Erik Braun, Rainer Lütticke, Ingo Glöckner, Hermann Helbig	Interactive Problem Solving in Prolog	CoRR	2006	DBLP BibTeX RDF
11	Alin Suciu, Kalman Pusztai	Efficient Compression of Prolog Programs	CoRR	2006	DBLP BibTeX RDF
11	Alin Suciu, Kalman Pusztai, Andrei Vancea	Prolog Server Pages	CoRR	2006	DBLP BibTeX RDF
11	Ruben Vandeginste, Bart Demoen	Incremental copying garbage collection for WAM-based Prolog systems	CoRR	2006	DBLP BibTeX RDF
11	Alin Suciu, Kalman Pusztai, Andrei Diaconu	Enhanced Prolog Remote Predicate Call Protocol	CoRR	2006	DBLP BibTeX RDF
11	Seng Wai Loke	Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog.	J. Syst. Softw.	2006	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to A Survey on Mix Networks and Their Secure Applications.	Proc. IEEE	2006	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Wafer Direct Bonding: From Advance Substrate Engineering to Future Applications in Micro/Nanoelectronics.	Proc. IEEE	2006	DBLP DOI BibTeX RDF
11	Howard Falk	Prolog to Substrate Noise Coupling in SoC Design: Modeling, Avoidance, and Validation.	Proc. IEEE	2006	DBLP DOI BibTeX RDF
11	Pierre Nugues	An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German		2006	DBLP DOI BibTeX RDF
11	Guillaume Autran, Xining Li	Implementation of Tag Representation in Prolog Virtual Machine.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
11	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	A Base for Achieving Semantics for Prolog with Cut for Correct Observables.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
11	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics.	SEKE	2006	DBLP BibTeX RDF
11	James D. Jones	A Meta-Interpreter in Prolog for Extended Logic Programs.	CATA	2006	DBLP BibTeX RDF
11	Cláudio Silva 0001, Ricardo Rocha 0001, Ricardo Lopes	An External Module for Implementing Linear Tabling in Prolog.	ICLP	2006	DBLP DOI BibTeX RDF
11	Volker Gruhn, Ralf Laue 0001	Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG.	EPK	2006	DBLP BibTeX RDF
11	Grzegorz J. Nalepa, Antoni Ligeza	Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach.	FLAIRS	2006	DBLP BibTeX RDF
11	Analía Amandi, Marcelo Campo, Alejandro Zunino	JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming.	Comput. Lang. Syst. Struct.	2005	DBLP DOI BibTeX RDF
11	Susana Muñoz-Hernández, Claudio Vaucheret	Extending Prolog with Incomplete Fuzzy Information	CoRR	2005	DBLP BibTeX RDF
11	Richard O'Donnell	Prolog to An Overview of Twenty-Five Years of Electrical and Electronics Engineering in the Proceedings of the IEEE, 1963-1987.	Proc. IEEE	2005	DBLP DOI BibTeX RDF
11	Howard Falk	Prolog to Active Harmonic Filters.	Proc. IEEE	2005	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Data-Hiding Codes.	Proc. IEEE	2005	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Reactive Power Compensation Technologies.	Proc. IEEE	2005	DBLP DOI BibTeX RDF
11	Enrico Denti, Andrea Omicini, Alessandro Ricci	Multi-paradigm Java-Prolog integration in tuProlog.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
11	Bart Demoen	Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8.	Theory Pract. Log. Program.	2005	DBLP DOI BibTeX RDF
11	Frédéric Mesnard, Roberto Bagnara	cTI: A constraint-based termination inference tool for ISO-Prolog.	Theory Pract. Log. Program.	2005	DBLP DOI BibTeX RDF
11	Max Bramer	Logic Programming with Prolog		2005	DOI RDF
11	Andrea Passerini, Paolo Frasconi, Luc De Raedt	Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.	Probabilistic, Logical and Relational Learning	2005	DBLP BibTeX RDF
11	M. R. K. Krishna Rao	Learning Recursive Prolog Programs with Local Variables from Examples.	AAIP	2005	DBLP BibTeX RDF
11	Andrea Passerini, Paolo Frasconi, Luc De Raedt	Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.	AAIP	2005	DBLP BibTeX RDF
11	Susana Muñoz-Hernández, Claudio Vaucheret	Extending Prolog with Incomplete Fuzzy Information.	WLPE	2005	DBLP BibTeX RDF
11	Marbod Hopfner, Dietmar Seipel, Joachim Baumeister	A PROLOG Tool for Slicing Source Code.	W(C)LP	2005	DBLP BibTeX RDF
11	Antonis Bikakis, Grigoris Antoniou	DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web.	AAAI	2005	DBLP BibTeX RDF
11	Susana Muñoz-Hernández, Claudio Vaucheret	Incomplete Fuzzy Information in Prolog.	EUSFLAT Conf.	2005	DBLP BibTeX RDF
11	Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo	Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
11	Andrea Passerini, Paolo Frasconi	Kernels on Prolog Ground Terms.	IJCAI	2005	DBLP BibTeX RDF
11	Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis	Service Brokerage in Prolog.	ICEIS (3)	2005	DBLP BibTeX RDF
11	Stephen-John Craig	Practicable Prolog specialisation.		2005	RDF
11	Elio Giovannetti	Type Inference for Mobile Ambients in Prolog.	CATS	2004	DBLP DOI BibTeX RDF
11	Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini	A Prolog Simulator for Deterministic P Systems with Active Membranes.	New Gener. Comput.	2004	DBLP DOI BibTeX RDF
11	Keith L. Clark, Peter J. Robinson 0001, Richard Hagen	Multi-Threading And Message Communication In Qu-Prolog	CoRR	2004	DBLP BibTeX RDF
11	Andrew W. Appel, Amy P. Felty	Polymorphic lemmas and definitions in Lambda Prolog and Twelf	CoRR	2004	DBLP BibTeX RDF
11	Seng Wai Loke, Andrew Davison	Secure Prolog-Based Mobile Code	CoRR	2004	DBLP BibTeX RDF
11	Jun Hong 0009	Guided programming and automated error analysis in an intelligent Prolog tutor.	Int. J. Hum. Comput. Stud.	2004	DBLP DOI BibTeX RDF
11	Sergio Guadarrama, Susana Muñoz-Hernández, Claudio Vaucheret	Fuzzy Prolog: a new approach using soft constraints propagation.	Fuzzy Sets Syst.	2004	DBLP DOI BibTeX RDF
11	Chia-Chu Chiang	Automated rapid prototyping of TUG specifications using Prolog.	Inf. Softw. Technol.	2004	DBLP DOI BibTeX RDF
11	Alexander Serebrenik, Danny De Schreye	Inference of termination conditions for numerical loops in Prolog.	Theory Pract. Log. Program.	2004	DBLP DOI BibTeX RDF
11	Andrew W. Appel, Amy P. Felty	Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf.	Theory Pract. Log. Program.	2004	DBLP DOI BibTeX RDF
11	Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe	Offline specialisation in Prolog using a hand-written compiler generator.	Theory Pract. Log. Program.	2004	DBLP DOI BibTeX RDF
11	Jonathan J. Cook	P#: a concurrent Prolog for the .NET framework.	Softw. Pract. Exp.	2004	DBLP DOI BibTeX RDF