Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Jael Kriener, Andy King	RedAlert: Determinacy inference for Prolog.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
11	António Porto	A structured alternative to Prolog with simple compositional semantics.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
11	Jan Wielemaker, Vítor Santos Costa	On the Portability of Prolog Applications.	PADL	2011	DBLP DOI BibTeX RDF
11	Paul Tarau	Integrated symbol table, engine and heap memory management in multi-engine prolog.	ISMM	2011	DBLP DOI BibTeX RDF
11	Neng-Fa Zhou, Agostino Dovier	A Tabled Prolog Program for Solving Sokoban.	CILC	2011	DBLP BibTeX RDF
11	Paul Tarau	Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!).	DAMP	2011	DBLP DOI BibTeX RDF
11	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	BAAC: A Prolog System for Action Description and Agents Coordination.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
11	Michael Eichberg	Compiling Prolog to Idiomatic Java.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
11	Zsolt Zombori, János Csorba, Péter Szeredi	Static Type Checking for the Q Functional Language in Prolog.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
11	Jatin Matani, Shivashankar B. Nair	Typhon - A Mobile Agents Framework for Real World Emulation in Prolog.	MIWAI	2011	DBLP DOI BibTeX RDF
11	Jesús Manuel Almendros-Jiménez	A Prolog library for OWL RL.	LID	2011	DBLP DOI BibTeX RDF
11	Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama	ASP-Prolog for Negotiation among Dishonest Agents.	LPNMR	2011	DBLP DOI BibTeX RDF
11	Angelika Kimmig, Guy Van den Broeck, Luc De Raedt	An Algebraic Prolog for Reasoning about Possible Worlds.	AAAI	2011	DBLP DOI BibTeX RDF
11	Chris Mungall	Posh - The Prolog OWL Shell.	OWLED	2011	DBLP BibTeX RDF
11	Neng-Fa Zhou, Agostino Dovier	A Tabled Prolog Program for Solving Sokoban.	ICTAI	2011	DBLP DOI BibTeX RDF
11	Paul Tarau	Coordination and Concurrency in Multi-engine Prolog.	COORDINATION	2011	DBLP DOI BibTeX RDF
11	Hiroshi Sakai, Michinori Nakata, Dominik Slezak	A NIS-Apriori Based Rule Generator in Prolog and Its Functionality for Table Data.	RSKT	2011	DBLP DOI BibTeX RDF
11	Zohaib Khai, Aamer Nadeem, Gang-soo Lee	A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
11	Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs	A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.	LOPSTR	2011	DBLP DOI BibTeX RDF
11		Prolog.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
11	Jesús Manuel Almendros-Jiménez	A Prolog-based Query Language for OWL.	PROLE	2010	DBLP DOI BibTeX RDF
11	Peter Schneider-Kamp	Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving.	Künstliche Intell.	2010	DBLP DOI BibTeX RDF
11	Lee Mondshein, Abdul Sattar 0002, Torben Lorenzen	Visualizing Prolog: a "jigsaw puzzle" approach.	Inroads	2010	DBLP DOI BibTeX RDF
11	Christian Bitter, David A. Elizondo, Yingjie Yang	Natural language processing: a prolog perspective.	Artif. Intell. Rev.	2010	DBLP DOI BibTeX RDF
11	Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh	Applying Prolog to Develop Distributed Systems	CoRR	2010	DBLP BibTeX RDF
11	Daniel Diaz 0001, Salvador Abreu, Philippe Codognet	On the Implementation of GNU Prolog	CoRR	2010	DBLP BibTeX RDF
11	Terrance Swift, David Scott Warren	XSB: Extending Prolog with Tabled Logic Programming	CoRR	2010	DBLP BibTeX RDF
11	Mats Carlsson, Per Mildner	SICStus Prolog -- the first 25 years	CoRR	2010	DBLP BibTeX RDF
11	Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager	SWI-Prolog	CoRR	2010	DBLP BibTeX RDF
11	Jan Wielemaker, Vítor Santos Costa	Portability of Prolog programs: theory and case-studies	CoRR	2010	DBLP BibTeX RDF
11	Ilyas Cicekli	Pierre M. Nugues. An Introduction to Language Processing with Perl and Prolog. Springer-Verlag 2006.	Nat. Lang. Eng.	2010	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Keeping the Energy Debate Clean: How Do We Supply the World's Energy Needs?	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Single Carrier Modulation With Nonlinear Frequency Domain Equalization: An Idea Whose Time Has Come - Again.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to A Survey of BGP Security Issues and Solutions.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Audiovisual Information Fusion in Human-Computer Interfaces and Intelligent Environments: A Survey.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to A Survey of Trust and Reputation Management Systems in Wireless Communications.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Parameter Variation Tolerance and Error Resiliency: New Design Paradigm for the Nanoscale Era.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to The Future of Integrated Circuits: A Survey of Nanoelectronics.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to A Systemized View of Superluminal Wave Propagation.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
11	Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh	Applying Prolog to develop distributed systems.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
11	Peter J. Robinson 0001, Keith L. Clark	Pedro: a publish/subscribe server using Prolog technology.	Softw. Pract. Exp.	2010	DBLP DOI BibTeX RDF
11	Meera Sridhar, Kevin W. Hamlen	ActionScript In-Lined Reference Monitoring in Prolog.	PADL	2010	DBLP DOI BibTeX RDF
11	L. Yohanes Stefanus, Ario Santoso	A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic.	IWIL@LPAR	2010	DBLP DOI BibTeX RDF
11	Alexander Ferrein	golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems.	Cognitive Robotics	2010	DBLP BibTeX RDF
11	Pascual Julián Iranzo, Clemente Rubio-Manzano	An efficient fuzzy unification method and its implementation into the Bousi~Prolog system.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
11	Peter Kissmann, Stefan Edelkamp	Instantiating General Games Using Prolog or Dependency Graphs.	KI	2010	DBLP DOI BibTeX RDF
11	Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi	Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti.	CILC	2010	DBLP BibTeX RDF
11	Ekaterina Gilman, Iván Sánchez Milara, Timo Saloranta, Jukka Riekki	Reasoning for Smart Space Application: Comparing Three Reasoning Engines CLIPS, Jess and Win-prolog.	CIT	2010	DBLP DOI BibTeX RDF	ubiquitous computing, reasoning
11	Pascual Julián Iranzo, Clemente Rubio-Manzano	Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning.	IJCCI (ICFC-ICNC)	2010	DBLP BibTeX RDF
11	Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano	PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology.	JSAI-isAI Workshops	2010	DBLP DOI BibTeX RDF
11	Jose Santos 0001, Stephen H. Muggleton	Subsumer: A Prolog theta-subsumption engine.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
11	Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt	DTProbLog: A Decision-Theoretic Probabilistic Prolog.	AAAI	2010	DBLP DOI BibTeX RDF
11	Gerlof Bouma	Syntactic Tree Queries in Prolog.	Linguistic Annotation Workshop	2010	DBLP BibTeX RDF
11	Gerlof Bouma	Querying Linguistic Corpora with Prolog.	KONVENS	2010	DBLP BibTeX RDF
11	Jacob M. Howe, Andy King	A Pearl on SAT Solving in Prolog.	FLOPS	2010	DBLP DOI BibTeX RDF
11	Alexander Ferrein	Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems.	AAAI Spring Symposium: Embedded Reasoning	2010	DBLP BibTeX RDF
11	Pascual Julián Iranzo, Clemente Rubio-Manzano	A Programming Environment for Bousi-Prolog.	IC-AI	2010	DBLP BibTeX RDF
11	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	On the Generation of Test Data for Prolog by Partial Evaluation	CoRR	2009	DBLP BibTeX RDF
11	Gergely Lukácsy, Péter Szeredi	Efficient Description Logic Reasoning in Prolog: The DLog system	CoRR	2009	DBLP BibTeX RDF
11	Markus Triska, Ulrich Neumerkel, Jan Wielemaker	Better Termination for Prolog with Constraints	CoRR	2009	DBLP BibTeX RDF
11	Yoshihiro Adachi	Prolog Visualization System Using Logichart Diagrams	CoRR	2009	DBLP BibTeX RDF
11	Xiaochu Qi	An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification	CoRR	2009	DBLP BibTeX RDF
11	Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider 0001	A Semantics-Aware Editing Environment for Prolog in Eclipse	CoRR	2009	DBLP BibTeX RDF
11	Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price	Coding Guidelines for Prolog	CoRR	2009	DBLP BibTeX RDF
11	Henning Christiansen 0001	Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.	J. Appl. Log.	2009	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Semiconductor Piezoresistance for Microsystems.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Solution Processed Quantum Dot Photodetectors.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Circuit Elements With Memory: Memristors, Memcapacitors, and Meminductors.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to On the Complexity of the Verification of the Costas Property.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to The Transition to Solid-State Lighting.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Analog Circuit Design in Nanoscale CMOS Technologies.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Ultra-High-Voltage Transmission in China: Developments, Current Status, and Future Prospects.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Achieving Competence-Based Curricula for Engineering Education in Spain.	Proc. IEEE	2009	DBLP DOI BibTeX RDF
11	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Decompilation of Java bytecode to Prolog by partial evaluation.	Inf. Softw. Technol.	2009	DBLP DOI BibTeX RDF
11	Gergely Lukácsy, Péter Szeredi	Efficient description logic reasoning in Prolog: The DLog system.	Theory Pract. Log. Program.	2009	DBLP DOI BibTeX RDF
11	Gayrat Matlatipov, Zygmunt Vetulani	Representation of Uzbek Morphology in Prolog.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
11	Emilia Golemanova, Kostadin Kratchanov, Tzanko Golemanov	Spider vs. Prolog: computation control.	CompSysTech	2009	DBLP DOI BibTeX RDF
11	Yana Todorova	Answering Questions from Natural Language Using A-Prolog.	ICLP	2009	DBLP DOI BibTeX RDF
11	Kaninda Musumbu	A New Operational Semantics for Prolog.	IICAI	2009	DBLP BibTeX RDF
11	Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík	Agents' reasoning using TIL-Script and Prolog.	EJC	2009	DBLP DOI BibTeX RDF
11	Serghei Pelin	Prolog Intelligent Training Environment.	CSREA EE	2009	DBLP BibTeX RDF
11	Mark Chernault	Impementation of Map, Reduce and Filter Prolog Predicates on the Cell Broadband Engine Architecture.	PDPTA	2009	DBLP BibTeX RDF
11	Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen	Planning for Multiagent Using ASP-Prolog.	CLIMA	2009	DBLP DOI BibTeX RDF
11	Robert Borrell	A Brute Force Approach to Solving the Knights Tour Problem Using Prolog.	IC-AI	2009	DBLP BibTeX RDF
11	Carl Friedrich Bolz, Michael Leuschel, Armin Rigo	Towards Just-In-Time Partial Evaluation of Prolog.	LOPSTR	2009	DBLP DOI BibTeX RDF
11	Angelika Kimmig, Luc De Raedt	Local Query Mining in a Probabilistic Prolog.	IJCAI	2009	DBLP BibTeX RDF
11	Wolfgang Lohmann, Günter Riedewald, Guido Wachsmuth	Aspect-oriented prolog in a language processing context.	IET Softw.	2008	DBLP DOI BibTeX RDF
11	Levente Hunyadi	Prosper: Developing Web Applications Strongly Integrated with Prolog.	Acta Cybern.	2008	DBLP BibTeX RDF
11	Paul Tarau	Executable Set Theory and Arithmetic Encodings in Prolog	CoRR	2008	DBLP BibTeX RDF
11	Paul Fodor, Adam Lally, David A. Ferrucci	The Prolog Interface to the Unstructured Information Management Architecture	CoRR	2008	DBLP BibTeX RDF
11	Paul Fodor	Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine	CoRR	2008	DBLP BibTeX RDF
11	Richard O'Donnell	Prolog to Modeling of Nanoscale Devices.	Proc. IEEE	2008	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to Energy Harvesting From Human and Machine Motion for Wireless Electronic Devices.	Proc. IEEE	2008	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to Self-Assembly at the Macroscopic Scale.	Proc. IEEE	2008	DBLP DOI BibTeX RDF
11	Bart Demoen	Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
11	Jan Wielemaker, Zhisheng Huang, Lourens van der Meij	SWI-Prolog and the web.	Theory Pract. Log. Program.	2008	DBLP DOI 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.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
11	Bruria Haberman	Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction.	Informatica	2008	DBLP BibTeX RDF
11	Vasile Alaiba, Armand Rotaru	Agent architecture for building Robocode players with SWI-Prolog.	IMCSIT	2008	DBLP DOI BibTeX RDF
11	Grzegorz J. Nalepa, Igor Wojnicki	Proposal of a Prolog-based Knowledge Wiki.	KESE	2008	DBLP BibTeX RDF