Prolog - researchr tag

researchr

You are not signed in
Sign in
Sign up

2011

A Prolog-based Query Language for OWLJesús Manuel Almendros-Jiménez. ENTCS, 271:3-22, 2011. [doi]

BAAC: A Prolog System for Action Description and Agents CoordinationAgostino Dovier, Andrea Formisano, Enrico Pontelli. ICLP 2011: 187-197 [doi]

Compiling Prolog to Idiomatic JavaMichael Eichberg. ICLP 2011: 84-94 [doi]

An Algebraic Prolog for Reasoning about Possible WorldsAngelika Kimmig, Guy Van den Broeck, Luc De Raedt. AAAI 2011: [doi]

RedAlert: Determinacy inference for PrologJael Kriener, Andy King. tplp, 11(4-5):537-553, 2011. [doi]

RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over PrologSusana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Strass. isci, 181(10):1951-1970, 2011. [doi]

ASP-Prolog for Negotiation among Dishonest AgentsNgoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama. lpnmr 2011: 331-344 [doi]

PROTON: A Prolog Reasoner for Temporal ONtologies in OWLNikos Papadakis, Kostas Stravoskoufos, Evdoxios Baratis, Euripides G. M. Petrakis, Dimitris Plexousakis. eswa, 38(12):14660-14667, 2011. [doi]

A structured alternative to Prolog with simple compositional semanticsAntónio Porto. tplp, 11(4-5):611-627, 2011. [doi]

Coordination and Concurrency in Multi-engine PrologPaul Tarau. coordination 2011: 157-171 [doi]

Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!)Paul Tarau. POPL 2011: 55-64 [doi]

Integrated symbol table, engine and heap memory management in multi-engine prologPaul Tarau. iwmm 2011: 129-138 [doi]

On the Portability of Prolog ApplicationsJan Wielemaker, Vítor Santos Costa. padl 2011: 69-83 [doi]

Development of an Expert System for Dust Explosion Risk Management Based on ASP.Net and PrologQian Zhang, Shengjun Zhong, Guanyu Jiang. jsw, 6(9):1857-1865, 2011. [doi]

Static Type Checking for the Q Functional Language in PrologZsolt Zombori, János Csorba, Péter Szeredi. ICLP 2011: 62-72 [doi]

2010

Natural language processing: a prolog perspectiveChristian Bitter, David A. Elizondo, Yingjie Yang. air, 33(1-2):151-173, 2010. [doi]

Towards a jitting VM for prolog executionCarl Friedrich Bolz, Michael Leuschel, David Schneider. ppdp 2010: 99-108 [doi]

Pierre M. Nugues. ::::An Introduction to Language Processing with Perl and Prolog::::. Springer-Verlag 2006Ilyas Cicekli. nle, 16(2):193-195, 2010. [doi]

DTProbLog: A Decision-Theoretic Probabilistic PrologGuy Van den Broeck, Ingo Thon, Martijn Van Otterlo, Luc De Raedt. AAAI 2010: [doi]

Reasoning for Smart Space Application: Comparing Three Reasoning Engines CLIPS, Jess and Win-prologEkaterina Gilman, Iván Sánchez, Timo Saloranta, Jukka Riekki. IEEEcit 2010: 1340-1345 [doi]

A Pearl on SAT Solving in PrologJacob M. Howe, Andy King. FLOPS 2010: 165-174 [doi]

Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate ReasoningPascual Julián Iranzo, Clemente Rubio-Manzano. ijcci 2010: 93-98

A Programming Environment for Bousi-PrologPascual Julián Iranzo, Clemente Rubio-Manzano. icai 2010: 36-42

Instantiating General Games Using Prolog or Dependency GraphsPeter Kissmann, Stefan Edelkamp. ki 2010: 255-262 [doi]

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationLeuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.

Applying Prolog to develop distributed systemsNuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko, Atul Singh. tplp, 10(4-6):691-707, 2010. [doi]

Pedro: a publish/subscribe server using Prolog technologyPeter J. Robinson, Keith L. Clark. SPE, 40(4):313-329, 2010. [doi]

Subsumer: A Prolog theta-subsumption engineJose Santos, Stephen Muggleton. ICLP 2010: 172-181 [doi]

UML Model Migration with PETEBernhard Schaetz. TTC 2010:

Static Termination Analysis for Prolog Using Term Rewriting and SAT SolvingPeter Schneider-Kamp. ki, 24(1):79-81, 2010. [doi]

ActionScript In-Lined Reference Monitoring in PrologMeera Sridhar, Kevin W. Hamlen. padl 2010: 149-151 [doi]

2009

An Encoding of XQuery in PrologJesÃºs Manuel Almendros-JimÃ©nez. xsym 2009: 145-155 [doi]

Splitting a CR-Prolog ProgramMarcello Balduccini. lpnmr 2009: 17-29 [doi]

CR-Prolog as a Specification Language for Constraint Satisfaction ProblemsMarcello Balduccini. lpnmr 2009: 402-408 [doi]

Formative evaluation of a didactic software for acquiring problem solving abilities using PrologPierpaolo Di Bitonto, Teresa Roselli, Veronica Rossano. acmidc 2009: 154-157 [doi]

Towards Just-In-Time Partial Evaluation of PrologCarl Friedrich Bolz, Michael Leuschel, Armin Rigo. LOPSTR 2010: 158-172 [doi]

Impementation of Map, Reduce and Filter Prolog Predicates on the Cell Broadband Engine ArchitectureMark Chernault. pdpta 2009: 803-807

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling RulesHenning Christiansen. japll, 7(3):341-362, 2009. [doi]

On Just in Time Indexing of Dynamic Predicates in PrologVÃtor Santos Costa. epia 2009: 126-137 [doi]

Agents reasoning using TIL-Script and PrologMartina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík. ejc 2010: 135-154 [doi]

Software Pipelining in Nested Loops with Prolog-Epilog MergingMohammed Fellahi, Albert Cohen. hipeac 2009: 80-94 [doi]

Spider vs. Prolog: simulating Prolog in SpiderTzanko Golemanov, Kostadin Kratchanov, Emilia Golemanova. compsystech 2009: 22 [doi]

Spider vs. Prolog: computation controlEmilia Golemanova, Kostadin Kratchanov, Tzanko Golemanov. compsystech 2009: 23 [doi]

Decompilation of Java bytecode to Prolog by partial evaluationMiguel GÃ³mez-Zamalloa, Elvira Albert, GermÃ¡n Puebla. INFSOF, 51(10):1409-1427, 2009. [doi]

jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent SystemsMagnus Hjelmblom, Jan Odelstad. kesamsta 2009: 110-119 [doi]

Learning Hereditary and Reductive Prolog Programs from EntailmentShahid Hussain, M. R. K. Krishna Rao. icic 2009: 546-555 [doi]

Bousi~Prolog: a Prolog Extension Language for Flexible Query AnsweringPascual JuliÃ¡n Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero. ENTCS, 248:131-147, 2009. [doi]

A declarative semantics for Bousi~PrologPascual JuliÃ¡n Iranzo, Clemente Rubio-Manzano. ppdp 2009: 149-160 [doi]

A Similarity-Based WAM for Bousi~PrologPascual Julián Iranzo, Clemente Rubio-Manzano. iwann 2009: 245-252 [doi]

Local Query Mining in a Probabilistic PrologAngelika Kimmig, Luc De Raedt. IJCAI 2009: 1095-1100 [doi]

Efficient description logic reasoning in Prolog: The DLog systemGergely LukÃ¡csy, PÃ©ter Szeredi. tplp, 9(3):343-414, 2009. [doi]

Representation of Uzbek Morphology in PrologGayrat Matlatipov, Zygmunt Vetulani. BIRTHDAY 2009: 83-110 [doi]

Two novel prolog assignmentsJonathan Mohr. iticse 2009: 350 [doi]

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and ReusePaulo Moura. ICLP 2009: 23 [doi]

A New Operational Semantics for PrologKaninda Musumbu. iicai 2009: 251-260

Prolog Intelligent Training EnvironmentSerghei Pelin. csreaEEE 2009: 107-111

Using Grammarware Languages to Define Operational Semantics of Modelled LanguagesDaniel A. Sadilek, Guido Wachsmuth. TOOLS 2009: [doi]

Planning for Multiagent Using ASP-PrologTran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen. clima 2010: 1-21 [doi]

Implementing Thread Cancellation in Multithreaded Prolog SystemsAtef Suleiman, John Miller. padl 2009: 122-136 [doi]

Answering Questions from Natural Language Using A-PrologYana Todorova. ICLP 2009: 544-546 [doi]

Typed DatalogDavid Zook, Emir Pasalic, Beata Sarna-Starosta. padl 2009: 168-182 [doi]

2008

Agent architecture for building Robocode players with SWI-PrologVasile Alaiba, Armand Rotaru. imcsit 2008: 3-7 [doi]

The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic WebAntonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou. setn 2008: 345-351 [doi]

Detecting model inconsistency through operation-based model constructionXavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens. ICSE 2008: 511-520 [doi]

Extracting Structured House Information from BBS Based on PrologShengshuang Chen, Lijuan Wen, Lihua Xiao, Shijun Li. csse 2008: 500-503 [doi]

Towards Answer Set Prolog Based Architectures for Intelligent AgentsSandeep Chintabathina. AAAI 2008: 1843-1844

Integrating Java and Prolog through generic methods and type inferenceMaurizio Cimadamore, Mirko Viroli. SAC 2008: 198-205 [doi]

::::Learn Prolog Now!:::: Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pagesBart Demoen. tplp, 8(2):235-242, 2008. [doi]

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog InstructionBruria Haberman. informaticaLT, 19(1):17-30, 2008. [doi]

Prosper: Developing Web Applications Strongly Integrated with PrologLevente Hunyadi. actaC, 18(4):561-578, 2008. [doi]

Aspect-oriented Prolog in a language processing contextWolfgang Lohmann, Günter Riedewald, Guido Wachsmuth. iee, 2(3), 2008. [doi]

Prolog Based Description Logic ReasoningGergely Lukácsy, Péter Szeredi, Balázs Kádár. ICLP 2008: 455-469 [doi]

Prototype Prolog API for Mindstorms NXTGrzegorz J. Nalepa. ki 2008: 393-394 [doi]

Concept of an Interactive Web Portal for Teaching PrologGrzegorz J. Nalepa, Igor Wojnicki. flairs 2008: 240-244

ARD+ Design and Visualization Tool-Chain Prototype in PrologGrzegorz J. Nalepa, Igor Wojnicki. flairs 2008: 373-374

Proposal of a Prolog-based Knowledge WikiGrzegorz J. Nalepa, Igor Wojnicki. ki 2008: [doi]

The architecture and design of a malleable object-oriented prolog engineGiulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci. SAC 2008: 191-197 [doi]

A practical type analysis for verification of modular prolog programsPawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo. PEPM 2008: 61-70 [doi]

Compressing probabilistic Prolog programsLuc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen. ml, 70(2-3):151-168, 2008. [doi]

Functions and Lazy Evaluation in PrologJuan Rodríguez-Hortalá, Jaime Sánchez-Hernández. ENTCS, 206:153-174, 2008. [doi]

Translating OWL and semantic web rules into prolog: Moving toward description logic programsKen Samuel, Leo Obrst, Suzette Stoutenburg, Karen Fox, Paul Franklin, Adrian Johnson, Kenneth J. Laskey, Deborah Nichols, Steve Lopez, Jason Peterson. tplp, 8(3):301-322, 2008. [doi]

Towards Typed PrologTom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen. ICLP 2008: 693-697 [doi]

Uniting the Prolog CommunityTom Schrijvers, Bart Demoen. ICLP 2008: 7-8 [doi]

Improving Prolog programs: Refactoring for PrologAlexander Serebrenik, Tom Schrijvers, Bart Demoen. tplp, 8(2):201-215, 2008. [doi]

Breitensucne in PrologJürgen Sorg. informatiktage 2008: 41-44

A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive MapsAthanasios K. Tsadiras. setn 2008: 288-300 [doi]

SWI-Prolog and the webJan Wielemaker, Zhisheng Huang, Lourens van der Meij. tplp, 8(3):363-392, 2008. [doi]

Research on Packet Filter Rules of the Firewall Based on Visual PrologWang Yu-gang, Ge Yin-mao, Yang Jian-xin. csse 2008: 739-742 [doi]

Test frame updating in CPM testing of Prolog programsLingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai. sqj, 16(2):277-298, 2008. [doi]

2007

Logichart: A Prolog Program Diagram and its LayoutYoshihiro Adachi, Yudai Furusawa. eceasst, 7, 2007. [doi]

cr-models: An Inference Engine for CR-PrologMarcello Balduccini. lpnmr 2007: 18-30 [doi]

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language InputsChitta Baral, Juraj Dzifcak, Luis Tari. ICLP 2007: 1-21 [doi]

Prolog Performance on Larger DatasetsVítor Santos Costa. padl 2007: 185-199 [doi]

Rotations in the plane and PrologAttila Csenki. SCP, 66(2):154-161, 2007. [doi]

PROLOG for the Implementation of Student Module in ICAIP systemRongyu He, Zheng Qin, Fei Huaping. imecs 2007: 127-130

Fuzzy Prolog: Default Values to Represent Missing InformationSusana Muñoz-Hernández, Claudio Vaucheret. In Vassilis G. Kaburlasos, Gerhard X. Ritter, editors, Computational Intelligence Based on Lattice Theory. Volume 67 of Studies in Computational Intelligence, pages 287-308, Springer, 2007. [doi]

Planning using situation calculus, prolog and a mobile robotPilar Pozos Parra, Edgardo Yescas, Jacob Vásquez. lanmr 2007: [doi]

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clustersEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta. tplp, 7(6):633-695, 2007. [doi]

A framework in prolog for computing structural relationshipsCarsten Pontow, Florian Dazinger, Rainer Schubert. DKE, 62(2):308-326, 2007. [doi]

A Register-Free Abstract Prolog Machine with Jumbo InstructionsNeng-Fa Zhou. ICLP 2007: 455-457 [doi]

PreviousNext