@inproceedings{a33382f4b3ec411c9bb93d5738ca3b9c,
title = "Qu-Prolog: An implementation language for agents with advanced reasoning capabilities",
abstract = "Qu-Prolog is an extension of Prolog that was initially designed as an implementation language for interactive theorem provers. It provides built-in support for quantifiers, substitutions and object variables. Recently, Qu-Prolog has been further extended to support multiple threads and high-level communication. The combination of these features makes it ideal as an implementation language for intelligent agents with advanced reasoning capabilities.",
author = "Robinson, {Peter J.} and Mike Hinchey and Keith Clark",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; 2nd International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002 ; Conference date: 29-10-2002 Through 31-10-2002",
year = "2003",
doi = "10.1007/978-3-540-45133-4_14",
language = "English",
series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",
publisher = "Springer Verlag",
pages = "162--172",
editor = "Hinchey, {Michael G.} and Rash, {James L.} and Truszkowski, {Walter F.} and Christopher Rouff and Diana Gordon-Spears",
booktitle = "Formal Approaches to Agent-Based Systems",
}