Prolog+CG 2.0

Our generous host:

Documentation overview

You can get information via:

• The manual in HTML and PDF versions.
• A Course in Knowledge Representation at Aalborg University.
  Module I introduces CGs.
  Module II introduces Prolog+CG.
• A number of articles (referenced below)
• The sourcecode

References

The following scholarly articles and theses concern Prolog+CG:

• Kabbaj, Adil, C. Frasson, M. Kaltenbach and J-Y Damien (1994): A Conceptual and Contextual Object-Oriented Logic Programming : The PROLOG++ language. In: Tepfenhart, William M. and Judith P. Dick and John F. Sowa (eds.): Conceptual Structures: Current Practices -- Second International Conference on Conceptual Structures, ICCS'94, College Park, Maryland, USA, August 1994, Proceedings. Springer Verlag, Berlin. Lecture Notes in Artificial Intelligence (LNAI) Volume 835. Pages 251-274.

• Kabbaj, Adil (1996): Un systeme multi-paradigme pour la manipulation des connaisances utilisant la theorie des graphes conceptuels. PhD thesis, Universite de Montreal, Canada.

• Kabbaj, Adil and Martin Janta-Polczynski (2000): From PROLOG++ to PROLOG+CG : A CG Object-Oriented Logic Programming Language. In: Ganter, Bernhard and Guy W. Mineau (eds.): Conceptual Structures: 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000, Proceedings. Springer Verlag, Berlin. Lecture Notes in Artificial Intelligence (LNAI) Volume 1867. Pages 540-554.

• Kabbaj, Adil, Bernard Moulin, Jeremi Gancet, David Nadeau and Olivier Rouleau (2001): Uses, Improvements, and Extensions of Prolog+CG : Case Studies. In: Delugach, Harry and Gerd Stumme (eds.): Conceptual Structures: 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July/August 2001, Proceedings. Springer Verlag, Berlin. Lecture Notes in Artificial Intelligence (LNAI) Volume 2120. Pages 346-359.

• Petersen, Ulrik. (2006) Prolog+CG: A Maintainer's Perspective. In: de Moor, Aldo, Polovina, Simon and Delugach, Harry (eds.): First Conceptual Structures Interoperability Workshop (CS-TIW 2006). Proceedings. Aalborg University Press, Denmark.

• Schärfe, H., Petersen, U., Øhrstrøm, P.: On teaching conceptual graphs. In Priss, a U., Corbett, D., Angelova, G., eds.: Proceedings of ICCS 2002. Volume 2393 of Lecture Notes in Artificial Intelligence (LNAI). Springer Verlag, Berlin (2002) 285-298

• Schärfe, H.: Reasoning with narratives. Master's thesis, Department of Communication, Aalborg University (2001). Possibly available on the web from Henrik Scharfe's website.

• Schärfe, H.: Computer Aided Narrative Analysis. PhD thesis, Faculty of Humanities, Aalborg University, Denmark (2004)

• Øhrstrøm, Peter, Sandborg-Petersen, Ulrik & Ploug, Thomas (2010) Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching In: Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010). MIMOS BERHAD pp. 42-55.

• Øhrstrøm, P. , Sandborg-Petersen, U. , Thorvaldsen, S. & Ploug, T. (2013). Classical Syllogisms in Logic Teaching. In: Lecture Notes in Artificial Intelligence (LNAI) Volume 7735. Springer Verlag.