references.bib

@book{Lloyd:1987:FLP:39279,
 author = {Lloyd, J. W.},
 title = {Foundations of Logic Programming; (2nd Extended Ed.)},
 year = {1987},
 isbn = {3-540-18199-7},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
}

@inproceedings{DBLP:conf/slp/Wadge91,
  author    = {William W. Wadge},
  editor    = {Vijay A. Saraswat and
               Kazunori Ueda},
  title     = {Higher-Order Horn Logic Programming},
  booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
               San Diego, California, USA, Oct. 28 - Nov 1, 1991},
  pages     = {289--303},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/Wadge91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/kr/CharalambidisR14,
  author    = {Angelos Charalambidis and
               Panos Rondogiannis},
  title     = {Constructive Negation in Extensional Higher-Order Logic Programming},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/kr/2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7995},
  timestamp = {Thu, 31 Jul 2014 10:35:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/CharalambidisR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/kr/2014,
  editor    = {Chitta Baral and
               Giuseppe De Giacomo and
               Thomas Eiter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/KR/kr14contents.php},
  isbn      = {978-1-57735-657-8},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kr/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/tocl/CharalambidisHRW13,
  author    = {Angelos Charalambidis and
               Konstantinos Handjopoulos and
               Panagiotis Rondogiannis and
               William W. Wadge},
  title     = {Extensional Higher-Order Logic Programming},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {14},
  number    = {3},
  pages     = {21:1--21:40},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2499937.2499942},
  doi       = {10.1145/2499937.2499942},
  timestamp = {Tue, 03 Jan 2017 11:47:03 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tocl/CharalambidisHRW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Chan88,
  author    = {David Chan},
  editor    = {Robert A. Kowalski and
               Kenneth A. Bowen},
  title     = {Constructive Negation Based on the Completed Database},
  booktitle = {Logic Programming, Proceedings of the Fifth International Conference
               and Symposium, Seattle, Washington, August 15-19, 1988 {(2} Volumes)},
  pages     = {111--125},
  publisher = {{MIT} Press},
  year      = {1988},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/Chan88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/slp/Chan89,
  author    = {David Chan},
  title     = {An Extension of Constructive Negation and its Application in Coroutining},
  booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
               Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
  pages     = {477--493},
  year      = {1989},
  crossref  = {DBLP:conf/slp/1989},
  timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/Chan89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/slp/1989,
  editor    = {Ewing L. Lusk and
               Ross A. Overbeek},
  title     = {Logic Programming, Proceedings of the North American Conference 1989,
               Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
  publisher = {{MIT} Press},
  year      = {1989},
  isbn      = {0-262-62064-2},
  timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/CharalambidisRT16,
  author    = {Angelos Charalambidis and
               Panos Rondogiannis and
               Antonis Troumpoukis},
  editor    = {James Cheney and
               Germ{\'{a}}n Vidal},
  title     = {Higher-order logic programming: an expressive language for representing
               qualitative preferences},
  booktitle = {Proceedings of the 18th International Symposium on Principles and
               Practice of Declarative Programming, Edinburgh, United Kingdom, September
               5-7, 2016},
  pages     = {24--37},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2967973.2968607},
  doi       = {10.1145/2967973.2968607},
  timestamp = {Wed, 07 Sep 2016 13:17:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ppdp/CharalambidisRT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@misc{1324952,
    title = "{WAM} extensions for implementing higher order logic languages",
    author = "Tasos, Alexandros",
    year = "2016",
    school = "School of Sciences, Department of Informatics and Telecommunications, National and Kapodistrian University of Athens"
}