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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings, pp. 81-88, 2008, IEEE Computer Society, 978-0-7695-3388-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ulrich Neumerkel, Markus Triska, Jan Wielemaker |
Declarative language extensions for prolog courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 73-78, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sandeep Chintabathina |
Towards Answer Set Prolog Based Architectures for Intelligent Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, pp. 1843-1844, 2008, AAAI Press, 978-1-57735-368-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Jürgen Sorg |
Breitensuche in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2008 - Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 41-44, 2008, GI, 978-3-88579-440-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOA ![In: Proceedings of the 9th Workshop `From Objects to Agents`, Palermo, Italy, July 17-18, 2008, pp. 11-18, 2008, Seneca Edizioni Torino, 978-88-6122-122-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Subrata Das, Scott Harrison |
PROLOG: A multiagent toolkit for logistics planning in netcentric environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 11th International Conference on Information Fusion, FUSION 2008, Cologne, Germany, June 30 - July 3, 2008, pp. 1-8, 2008, IEEE, 978-3-00-024883-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Grzegorz J. Nalepa, Igor Wojnicki |
ARD+ Design and Visualization Tool-Chain Prototype in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA, pp. 373-374, 2008, AAAI Press, 978-1-57735-365-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Grzegorz J. Nalepa, Igor Wojnicki |
Concept of an Interactive Web Portal for Teaching Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA, pp. 240-244, 2008, AAAI Press, 978-1-57735-365-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Peter Schneider-Kamp |
Static termination analysis for prolog using term rewriting and SAT solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
11 | Marbod Hopfner |
Source code analysis, management, and visualization for PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
11 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 85-101, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Functions and Lazy Evaluation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 153-174, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Joséphine M. P. Tchétagni, Roger Nkambou, Jacqueline Bourdeau |
Explicit Reflection in Prolog-Tutor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Educ. ![In: Int. J. Artif. Intell. Educ. 17(2), pp. 169-215, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Yoshihiro Adachi, Yudai Furusawa |
Logichart: A Prolog Program Diagram and its Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(2), pp. 233-245, 2007. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0711.0917, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Pierre Deransart, Mireille Ducassé, Gérard Ferrand |
Observational semantics of the Prolog Resolution Box Model ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0711.4071, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0711.0345, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Jan Wielemaker, Anjo Anjewierden |
PIDoc: Wiki style Literate Programming for Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0711.0618, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Francçois Gobert, Baudouin Le Charlier |
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0710.5895, 2007. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0711.3419, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Carsten Pontow, Florian Dazinger, Rainer Schubert |
A framework in prolog for computing structural relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 62(2), pp. 308-326, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Howard Falk |
Prolog to Multi-User MIMO-OFDM for Next-Generation Wireless. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 95(7), pp. 1428-1429, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Synchronization Techniques for Orthogonal Frequency Division Multiple Access (OFDMA): A Tutorial Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 95(7), pp. 1392-1393, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Rethinking Components: From Hardware and Software to Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 95(7), pp. 1470-1472, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Attila Csenki |
Rotations in the plane and Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 66(2), pp. 154-161, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Ruben Vandeginste, Bart Demoen |
Incremental copying garbage collection for WAM-based Prolog systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 7(5), pp. 505-536, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 7(6), pp. 633-695, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Susana Muñoz-Hernández, Claudio Vaucheret |
Fuzzy Prolog: Default Values to Represent Missing Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence Based on Lattice Theory ![In: Computational Intelligence Based on Lattice Theory, pp. 287-308, 2007, Springer, 978-3-540-72686-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
Automatic Incrementalization of Prolog Based Static Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 109-123, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Vítor Santos Costa |
Prolog Performance on Larger Datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 185-199, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Rongyu He, Zheng Qin, Fei Huaping |
PROLOG for the Implementation of Student Module in ICAIP system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMECS ![In: Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, IMECS 2007, March 21-23, 2007, Hong Kong, China, pp. 127-130, 2007, Newswood Limited, 978-988-98671-4-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Enrico Pontelli |
ASP-PROLOG: Composition and Interoperation of Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPSWS ![In: Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Girish Keshav Palshikar |
Representation and Execution of a Graph Grammar in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 442-443, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Jan Wielemaker, Michiel Hildebrand, Jacco van Ossenbruggen |
Prolog as the Fundament for Applications on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPSWS ![In: Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski |
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPSWS ![In: Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Susana Muñoz-Hernández, Wiratna Sari Wiguna |
Fuzzy Prolog as Cognitive Layer in RoboCupSoccer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIG ![In: Proceedings of the 2007 IEEE Symposium on Computational Intelligence and Games, CIG 2007, Honolulu, Hawaii, USA, 1-5 April, 2007, pp. 340-345, 2007, IEEE, 1-4244-0709-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Arthur C. Fleck |
Prolog as the First Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FECS ![In: Proceedings of the 2007 International Conference on Frontiers in Education: Computer Science & Computer Engineering, FECS 2007, June 25-28, 2007, Las Vegas, Nevada, USA, pp. 374-380, 2007, CSREA Press, 1-60132-046-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Marcello Balduccini |
Learning Action Descriptions with A-Prolog: Action Language C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning ![In: Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007, pp. 13-18, 2007, AAAI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Harald Störrle |
A PROLOG-based Approach to Representing and Querying Software Engineering Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLL ![In: Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, Idaho, USA, 23rd September 2007 as part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07, pp. 71-83, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Luc De Raedt, Angelika Kimmig, Hannu Toivonen |
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 2462-2467, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez |
Planning using situation calculus, prolog and a mobile robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-NMR ![In: Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Ruben Vandeginste |
Copying garbage collection for WAM-based prolog systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
11 | Andrea Passerini, Paolo Frasconi, Luc De Raedt |
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mach. Learn. Res. ![In: J. Mach. Learn. Res. 7, pp. 307-342, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Anna Sasak |
Prolog, Mercury and the termination problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. UMCS Informatica ![In: Ann. UMCS Informatica 5(1), pp. 79-86, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDTA@ETAPS ![In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2006, Vienna, Austria, April 1, 2006, pp. 19-36, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Yousef Al-Ohali, AbdulMalik Al-Salman, Said A. Al-Ghamidi, Sameer I. Arif |
Interlog: An International Prolog Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Egypt. Comput. Sci. J. ![In: Egypt. Comput. Sci. J. 28(3), pp. 34-46, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Seref Mirasyedioglu, Tolga Güyer |
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 176(1), pp. 65-75, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Attila Csenki |
Enigma 1225: Prolog-assisted solution of a puzzle using discrete mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 52(3-4), pp. 383-400, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Thierry Despeyroux |
Developing efficient parsers in Prolog: the CLF manual (v1.0) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0612082, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Erik Braun, Rainer Lütticke, Ingo Glöckner, Hermann Helbig |
Interactive Problem Solving in Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0611014, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Alin Suciu, Kalman Pusztai |
Efficient Compression of Prolog Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0603100, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Alin Suciu, Kalman Pusztai, Andrei Vancea |
Prolog Server Pages ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0603101, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Ruben Vandeginste, Bart Demoen |
Incremental copying garbage collection for WAM-based Prolog systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0601003, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Alin Suciu, Kalman Pusztai, Andrei Diaconu |
Enhanced Prolog Remote Predicate Call Protocol ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0603102, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Seng Wai Loke |
Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 79(4), pp. 523-536, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to A Survey on Mix Networks and Their Secure Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 94(12), pp. 2139-2141, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Wafer Direct Bonding: From Advance Substrate Engineering to Future Applications in Micro/Nanoelectronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 94(12), pp. 2058-2059, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Howard Falk |
Prolog to Substrate Noise Coupling in SoC Design: Modeling, Avoidance, and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 94(12), pp. 2107-2108, 2006. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
DBLP DOI BibTeX RDF |
|
11 | Guillaume Autran, Xining Li |
Implementation of Tag Representation in Prolog Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2, pp. 883-889, 2006, CSREA Press, 1-932415-91-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2, pp. 664-670, 2006, CSREA Press, 1-932415-91-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006, pp. 359-362, 2006, 1-891706-18-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | James D. Jones |
A Meta-Interpreter in Prolog for Extended Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: 21st International Conference on Computers and Their Applications, CATA-2006, Seattle, Washington, USA, March 23-25, 2006, Proceedings, pp. 356-359, 2006, ISCA, 1-880843-58-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Cláudio Silva 0001, Ricardo Rocha 0001, Ricardo Lopes |
An External Module for Implementing Linear Tabling in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 429-430, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Volker Gruhn, Ralf Laue 0001 |
Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPK ![In: 5. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises `Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)`, Wien, 30. November - 01. Dezember 2006, pp. 69-84, 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Grzegorz J. Nalepa, Antoni Ligeza |
Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006, pp. 426-431, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 31(1), pp. 17-33, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Susana Muñoz-Hernández, Claudio Vaucheret |
Extending Prolog with Incomplete Fuzzy Information ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0508091, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 93(12), pp. 2165-2169, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Howard Falk |
Prolog to Active Harmonic Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 93(12), pp. 2127, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Data-Hiding Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 93(12), pp. 2081-2082, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Reactive Power Compensation Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 93(12), pp. 2142-2143, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Enrico Denti, Andrea Omicini, Alessandro Ricci |
Multi-paradigm Java-Prolog integration in tuProlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 57(2), pp. 217-250, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 5(3), pp. 391-395, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Frédéric Mesnard, Roberto Bagnara |
cTI: A constraint-based termination inference tool for ISO-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 5(1-2), pp. 243-257, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Max Bramer |
Logic Programming with Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
DOI RDF |
|
11 | Andrea Passerini, Paolo Frasconi, Luc De Raedt |
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic, Logical and Relational Learning ![In: Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January - 4. February 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | M. R. K. Krishna Rao |
Learning Recursive Prolog Programs with Local Variables from Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIP ![In: Workshop on Approaches and Applications of Inductive Programming, AAIP 2005, to be held in conjunction with the 22nd International Conference on Machine Learning (ICML 2005), Bonn, Germany, August 7, 2005., pp. 51-57, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Andrea Passerini, Paolo Frasconi, Luc De Raedt |
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIP ![In: Workshop on Approaches and Applications of Inductive Programming, AAIP 2005, to be held in conjunction with the 22nd International Conference on Machine Learning (ICML 2005), Bonn, Germany, August 7, 2005., pp. 37-48, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Susana Muñoz-Hernández, Claudio Vaucheret |
Extending Prolog with Incomplete Fuzzy Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 77-93, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Marbod Hopfner, Dietmar Seipel, Joachim Baumeister |
A PROLOG Tool for Slicing Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W(C)LP ![In: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, pp. 17-28, 2005, Universität Ulm, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Antonis Bikakis, Grigoris Antoniou |
DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 1594-1595, 2005, AAAI Press / The MIT Press, 1-57735-236-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Susana Muñoz-Hernández, Claudio Vaucheret |
Incomplete Fuzzy Information in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, Barcelona, Spain, September 7-9, 2005, pp. 787-792, 2005, Universidad Polytecnica de Catalunya, 84-7653-872-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers, pp. 80-97, 2005, Springer, 3-540-32654-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Andrea Passerini, Paolo Frasconi |
Kernels on Prolog Ground Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, pp. 1626-1627, 2005, Professional Book Center, 0938075934. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis |
Service Brokerage in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005, pp. 409-412, 2005, 972-8865-19-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Stephen-John Craig |
Practicable Prolog specialisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
11 | Elio Giovannetti |
Type Inference for Mobile Ambients in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Proceedings of Computing: The Australasian Theory Symposium, CATS 2004, Dunedin, New Zealand, January 19-20, 2004, pp. 96-115, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 22(4), pp. 349-363, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Keith L. Clark, Peter J. Robinson 0001, Richard Hagen |
Multi-Threading And Message Communication In Qu-Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0404052, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Andrew W. Appel, Amy P. Felty |
Polymorphic lemmas and definitions in Lambda Prolog and Twelf ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0403010, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Seng Wai Loke, Andrew Davison |
Secure Prolog-Based Mobile Code ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0406012, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Jun Hong 0009 |
Guided programming and automated error analysis in an intelligent Prolog tutor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 61(4), pp. 505-534, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Sergio Guadarrama, Susana Muñoz-Hernández, Claudio Vaucheret |
Fuzzy Prolog: a new approach using soft constraints propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 144(1), pp. 127-150, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Chia-Chu Chiang |
Automated rapid prototyping of TUG specifications using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 46(13), pp. 857-873, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Serebrenik, Danny De Schreye |
Inference of termination conditions for numerical loops in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 4(5-6), pp. 719-751, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Andrew W. Appel, Amy P. Felty |
Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 4(1-2), pp. 1-39, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 4(1-2), pp. 139-191, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jonathan J. Cook |
P#: a concurrent Prolog for the .NET framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 34(9), pp. 815-845, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|