Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Jan Wielemaker, Keri Harris	Lock-free atom garbage collection for multithreaded Prolog - ERRATUM.	Theory Pract. Log. Program.	2018	DBLP DOI BibTeX RDF
11	Hiroshi Sakai, Kao-Yi Shen, Michinori Nakata	On Two Apriori-Based Rule Generators: Apriori in Prolog and Apriori in SQL.	J. Adv. Comput. Intell. Intell. Informatics	2018	DBLP DOI BibTeX RDF
11	Maria Eugenia Cornejo, Jesús Medina-Moreno, Clemente Rubio-Manzano	Towards a Full Fuzzy Unification in the Bousi Prolog system.	FUZZ-IEEE	2018	DBLP DOI BibTeX RDF
11	Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner	Measuring Coverage of Prolog Programs Using Mutation Testing.	WFLP	2018	DBLP DOI BibTeX RDF
11	Falco Nogatz, Jona Kalkus, Dietmar Seipel	Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description.	PPDP	2018	DBLP DOI BibTeX RDF
11	Fabrizio Riguzzi, Jan Wielemaker, Riccardo Zese	Probabilistic Inference in SWI-Prolog.	PLP@ILP	2018	DBLP BibTeX RDF
11		Prolog.	Encyclopedia of Machine Learning and Data Mining	2017	DBLP DOI BibTeX RDF
11	William Regli	Past as Prolog(ue): Humans, Machines, and 20 Years of Internet Computing.	IEEE Internet Comput.	2017	DBLP DOI BibTeX RDF
11	Wellington Moreira de Oliveira, Kary A. C. S. Ocaña, Daniel de Oliveira 0001, Vanessa Braganholo	Querying Provenance along with External Domain Data Using Prolog.	J. Inf. Data Manag.	2017	DBLP BibTeX RDF
11	Marco Gavanelli	SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX.	Intelligenza Artificiale	2017	DBLP DOI BibTeX RDF
11	Ricardo Gonçalves, Miguel Areias 0001, Ricardo Rocha 0001	On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems.	Inf.	2017	DBLP DOI BibTeX RDF
11	Francesco Orsini, Paolo Frasconi, Luc De Raedt	kProbLog: an algebraic Prolog for machine learning.	Mach. Learn.	2017	DBLP DOI BibTeX RDF
11	Samer Abdallah	More declarative tabling in Prolog using multi-prompt delimited control.	CoRR	2017	DBLP BibTeX RDF
11	Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro 0001	Source Code Verification for Embedded Systems using Prolog.	WLP / WFLP	2017	DBLP DOI BibTeX RDF
11	Falco Nogatz, Dietmar Seipel	Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts.	WLP / WFLP	2017	DBLP DOI BibTeX RDF
11	Clemente Rubio-Manzano, Martin Pereira-Fariña	On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications.	CoRR	2017	DBLP BibTeX RDF
11	Samer Abdallah	Automatic Differentiation using Constraint Handling Rules in Prolog.	CoRR	2017	DBLP BibTeX RDF
11	Miguel Areias 0001, Ricardo Rocha 0001	On scaling dynamic programming problems with a multithreaded tabling Prolog system.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
11	Sergio Castro, Kim Mens, Paulo Moura	JPC: A library for categorising and applying inter-language conversions between Java and Prolog.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
11	Clemente Rubio-Manzano, Martin Pereira-Fariña	Declarative computational perceptions networks for automatically generating excerpts in computer games by using Bousi Prolog.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
11	Pascual Julián Iranzo, Fernando Sáenz-Pérez	FuzzyDES or how DES Met Bousi-Prolog.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
11	Falco Nogatz, Jona Kalkus	Declarative XML Schema Validation with SWI-Prolog - System Description.	DECLARE	2017	DBLP DOI BibTeX RDF
11	Philipp Körner, Sebastian Krings	plspec - A Specification Language for Prolog Data.	DECLARE	2017	DBLP DOI BibTeX RDF
11	Paul Tarau	A Hitchhiker's Guide to Reinventing a Prolog Machine.	ICLP (Technical Communications)	2017	DBLP DOI BibTeX RDF
11	Carlos Lopes, Matthias Knorr 0001, João Leite 0001	NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.	LPNMR	2017	DBLP DOI BibTeX RDF
11	Nicos Angelopoulos, Jan Wielemaker	Accessing biological data as Prolog facts.	PPDP	2017	DBLP DOI BibTeX RDF
11	Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth	Using Rules to Animate Prolog Programs.	RuleML+RR (Supplement)	2017	DBLP BibTeX RDF
11	Ricardo Gonçalves, Miguel Areias 0001, Ricardo Rocha 0001	Towards an Automated Test Bench Environment for Prolog Systems.	SLATE	2017	DBLP DOI BibTeX RDF
11	Beniamino Di Martino, Antonio Esposito 0001, Salvatore Liguori, Francesco Ospedale, Salvatore Augusto Maisto, Stefania Nacchia	A Fuzzy Prolog and Ontology Driven Framework for Medical Diagnosis Using IoT Devices.	CISIS	2017	DBLP DOI BibTeX RDF
11	Ludwig Ostermayer	Integration of Prolog and Java with the Connector Architecture CAPJa.		2017	RDF
11	Jan Wielemaker, Wouter Beek, Michiel Hildebrand, Jacco van Ossenbruggen	ClioPatria: A SWI-Prolog infrastructure for the Semantic Web.	Semantic Web	2016	DBLP DOI BibTeX RDF
11	João Fabrício Filho, Anderson Faustino da Silva	Paralelismo em Prolog: Conceitos e Sistemas.	RITA	2016	DBLP DOI BibTeX RDF
11	Grzegorz Jaskiewicz	Prolog-Scripted Tactics Negotiation and Coordinated Team Actions for Counter-Strike Game Bots.	IEEE Trans. Comput. Intell. AI Games	2016	DBLP DOI BibTeX RDF
11	Amr Hany Saleh, Tom Schrijvers	Efficient Algebraic Effect Handlers for Prolog.	CoRR	2016	DBLP BibTeX RDF
11	João Santos 0004, Ricardo Rocha 0001	On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.	CoRR	2016	DBLP BibTeX RDF
11	Michael Frank 0002, Michael Codish	Logic Programming with Graph Automorphism: Integrating naut with Prolog (a Tool Paper).	CoRR	2016	DBLP BibTeX RDF
11	James Cheney, Alberto Momigliano, Matteo Pessina	Advances in Property-Based Testing for $α$Prolog.	CoRR	2016	DBLP BibTeX RDF
11	Günter Khyo	Multidimensional Predicates for Prolog.	CoRR	2016	DBLP BibTeX RDF
11	Jan Wielemaker, Keri Harris	Lock-free atom garbage collection for multithreaded Prolog.	CoRR	2016	DBLP BibTeX RDF
11	Amr Hany Saleh, Tom Schrijvers	Efficient algebraic effect handlers for Prolog.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
11	Michael Frank 0002, Michael Codish	Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description).	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
11	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Description and Optimization of Abstract Machines in a Dialect of Prolog.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
11	João Santos 0004, Ricardo Rocha 0001	On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
11	Jan Wielemaker, Keri Harris	Lock-free atom garbage collection for multithreaded Prolog.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
11	Hewen Chen, Yong Zhou, Xuefeng Yan	一种基于Prolog的时间约束业务流程验证方法 (Prolog Based Approach to Validate Time Constraints in Business Process).	计算机科学	2016	DBLP DOI BibTeX RDF
11	Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001	RDF Query and Inference in Prolog.	KESW	2016	DBLP DOI BibTeX RDF
11	Ki Yung Ahn, Andrea Vezzosi	Executable Relational Specifications of Polymorphic Type Systems Using Prolog.	FLOPS	2016	DBLP DOI BibTeX RDF
11	Markus Triska	The Boolean Constraint Solver of SWI-Prolog (System Description).	FLOPS	2016	DBLP DOI BibTeX RDF
11	James Cheney, Alberto Momigliano, Matteo Pessina	Advances in Property-Based Testing for \alpha Prolog.	TAP@STAF	2016	DBLP DOI BibTeX RDF
11	Hendrik Blockeel, Svetlana Valevich	A Simple Framework for Theta-Subsumption Testing in Prolog.	ILP (Short Papers)	2016	DBLP BibTeX RDF
11	Maria Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez-Poussa, Clemente Rubio-Manzano	Multi-adjoint Concept Lattices, Preferences and Bousi Prolog.	IJCRS	2016	DBLP DOI BibTeX RDF
11	Beniamino Di Martino, Antonio Esposito 0001, Salvatore D'Angelo, Alessandro Marrazzo, Angelo Capasso	Automatic Production of an Ontology with NLP: Comparison between a Prolog Based Approach and a Cloud Approach Based on Bluemix Watson Service.	CISIS	2016	DBLP DOI BibTeX RDF
11	Dmitry Ivanovich Popov, Olga Yurievna Lazareva	A Knowledge Testing Production Model Based on a Cognitive Map for SWI-Prolog Applications.	Int. J. Emerg. Technol. Learn.	2015	DBLP DOI BibTeX RDF
11	Daniela Inclezan	An Answer Set Prolog formalization of shikake principles and examples - Methodology and lessons learned.	AI Soc.	2015	DBLP DOI BibTeX RDF
11	Jan Wielemaker, Torbjörn Lager, Fabrizio Riguzzi	SWISH: SWI-Prolog for Sharing.	CoRR	2015	DBLP BibTeX RDF
11	Wei Lu 0011	Language Processing with Perl and Prolog: Theories, Implemetation, and Application Pierre M. Nugues (Lund University, Sweden) Springer (Cognitive technologies series, edited by A. Bundy et. al), 2014, Second Edition, xxv+662 pp; hardcover, ISBN 978-3-642-41463-3 $89.99; ebook, ISBN 978-3-642-41464-0, $69.99; doi 10.1007/978-3-642-41464-0.	Comput. Linguistics	2015	DBLP DOI BibTeX RDF
11	Sergii Dymchenko, Mariia Mykhailova	Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system.	SAC	2015	DBLP DOI BibTeX RDF
11	Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando 0001, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella	Computational thinking for beginners: A successful experience using Prolog.	CILC	2015	DBLP BibTeX RDF
11	George Anastassakis, Themis Panayiotopoulos	A tool for programming the behaviour of intelligent virtual agents in Prolog.	IISA	2015	DBLP DOI BibTeX RDF
11	Jan Rosecky, Filip Procházka, Barbora Buhnova	Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids.	ICLP (Technical Communications)	2015	DBLP BibTeX RDF
11	Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo 0001, Nuno Pedro Silva	SysML-based and Prolog-supported FMEA.	ISSRE Workshops	2015	DBLP DOI BibTeX RDF
11	Valérie Collec-Clerc	Mixed Prolog and NooJ Approach in Japanese Benefactive.	NooJ	2015	DBLP DOI BibTeX RDF
11	Francesco Orsini, Paolo Frasconi, Luc De Raedt	kProbLog: An Algebraic Prolog for Kernel Programming.	ILP	2015	DBLP DOI BibTeX RDF
11	Alexei A. Morozov, Alexander F. Polupanov, Olga S. Sushkova	A Translator of Actor Prolog to Java.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
11	Alexei A. Morozov, Alexander F. Polupanov, Olga S. Sushkova	An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
11	Gen Zou, Harold Boley	PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog.	RuleML	2015	DBLP DOI BibTeX RDF
11	Ludwig Ostermayer	Seamless Cooperation of Java and Prolog for Rule-Based Software Development.	Challenge+DC@RuleML	2015	DBLP BibTeX RDF
11	Cleyton M. O. Rodrigues, Fred Freitas, Ryan Ribeiro de Azevedo	OCIP - An OntoClean Evaluation System Based on a Constraint Prolog Extension Language.	ONTOBRAS	2015	DBLP BibTeX RDF
11	Clemente Rubio-Manzano, Pascual Julián Iranzo	A Fuzzy linguistic prolog and its applications.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
11	João Santos 0004, Ricardo Rocha 0001	A team-based scheduling model for interfacing or-parallel prolog engines.	Comput. Sci. Inf. Syst.	2014	DBLP DOI BibTeX RDF
11	Sergio Castro, Kim Mens, Paulo Moura	Customisable Handling of Java References in Prolog Programs.	CoRR	2014	DBLP BibTeX RDF
11	Sergii Dymchenko, Mariia Mykhailova	Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system.	CoRR	2014	DBLP BibTeX RDF
11	M. H. van Emden	Logic programming beyond Prolog.	CoRR	2014	DBLP BibTeX RDF
11	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Description and Optimization of Abstract Machines in a Dialect of Prolog.	CoRR	2014	DBLP BibTeX RDF
11	George Souza Oliveira, Anderson Faustino da Silva	Towards an Efficient Prolog System by Code Introspection.	CoRR	2014	DBLP BibTeX RDF
11	Md. Abdullah Al Mamun 0001, Christian Berger 0001, Jörgen Hansson	Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy.	CoRR	2014	DBLP BibTeX RDF
11	Mary Southern, Gopalan Nadathur	A Lambda Prolog Based Animation of Twelf Specifications.	CoRR	2014	DBLP BibTeX RDF
11	Pierre Nugues	Language Processing with Perl and Prolog - Theories, Implementation, and Application		2014	DOI RDF
11	Athanasios Tsadiras, Nick Bassiliades	Using RuleML for Representing and Prolog for Simulating Fuzzy Cognitive Maps.	Fuzzy Cognitive Maps for Applied Sciences and Engineering	2014	DBLP DOI BibTeX RDF
11	Tran Cao Son, Enrico Pontelli, Tiep Le	Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems.	PADL	2014	DBLP DOI BibTeX RDF
11	Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert	Exploiting Prolog for Projecting Agent Interaction Protocols.	CILC	2014	DBLP BibTeX RDF
11	Daniela Briola, Viviana Mascardi, Davide Ancona	Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog.	CILC	2014	DBLP BibTeX RDF
11	Arthur Nunes-Harwitt	From Naïve to Norvig On Deriving a PROLOG Compiler.	ILC	2014	DBLP DOI BibTeX RDF
11	Ludwig Ostermayer, Frank Flederer, Dietmar Seipel	PPI - A Portable Prolog Interface for Java.	WLP/WFLP	2014	DBLP BibTeX RDF
11	Maciej Swiechowski, Jacek Mandziuk	Prolog versus specialized logic inference engine in General Game Playing.	CIG	2014	DBLP DOI BibTeX RDF
11	Jean-Noël Vittaut, Jean Méhat	Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling.	ECAI	2014	DBLP DOI BibTeX RDF
11	Ludwig Ostermayer, Frank Flederer, Dietmar Seipel	CAPJA - A Connector Architecture for Prolog and Java.	KESE@ECAI	2014	DBLP BibTeX RDF
11	Jael Kriener, Andy King	Semantics for Prolog with Cut - Revisited.	FLOPS	2014	DBLP DOI BibTeX RDF
11	Cláudio Amaral, Mário Florido, Vítor Santos Costa	PrologCheck - Property-Based Testing in Prolog.	FLOPS	2014	DBLP DOI BibTeX RDF
11	Kenryo Indo	Parallel Possibility Results of Preference Aggregation and Strategy-proofness by using Prolog.	ICAART (2)	2014	DBLP DOI BibTeX RDF
11	Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha 0001	A hybrid mapreduce model for prolog.	ISIC	2014	DBLP DOI BibTeX RDF
11	José F. Morales 0001, Manuel V. Hermenegildo	Pre-indexed Terms for Prolog.	LOPSTR	2014	DBLP DOI BibTeX RDF
11	Germán Vidal	Concolic Execution and Test Case Generation in Prolog.	LOPSTR	2014	DBLP DOI BibTeX RDF
11	Jael E. Kriener	Towards a verified determinacy analysis for Prolog including cut.		2014	RDF
11	Neng-Fa Zhou, Agostino Dovier	A Tabled Prolog Program for Solving Sokoban.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
11	George Souza Oliveira, Anderson Faustino da Silva	Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações.	RITA	2013	DBLP DOI BibTeX RDF
11	Davide Ancona	Regular corecursion in Prolog.	Comput. Lang. Syst. Struct.	2013	DBLP DOI BibTeX RDF
11	Rui Vieira, Ricardo Rocha 0001, Fernando M. A. Silva	On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores	CoRR	2013	DBLP BibTeX RDF
11	Paul Tarau	A Prolog Specification of Giant Number Arithmetic.	CoRR	2013	DBLP BibTeX RDF
11	Jan Wielemaker, Michael Hendricks	Why It's Nice to be Quoted: Quasiquoting for Prolog.	CoRR	2013	DBLP BibTeX RDF