Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)
Number of pages	14
Place of Publication	MIMOS BERHAD
Publication date	2010
Pages	42-55
ISBN (Print)	9789834137151
Publication status	Published - 2010
Event	CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010 - Kuching, Malaysia Duration: 26 Jul 2010 → …

Conference	CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010
Country/Territory	Malaysia
City	Kuching
Period	26/07/2010 → …

AUB Link

@inbook{b0897d641b94439eaab624cd59eefc87,

title = "Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching",

author = "Peter {\O}hrstr{\o}m and Ulrik Sandborg-Petersen and Thomas Ploug",

year = "2010",

language = "English",

isbn = "9789834137151",

pages = "42--55",

booktitle = "Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)",

note = "CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010 ; Conference date: 26-07-2010",

}

TY - CHAP

T1 - Syllogistics with PrologPlusCG: Syllog - A Tool for Logic Teaching

AU - Øhrstrøm, Peter

AU - Sandborg-Petersen, Ulrik

AU - Ploug, Thomas

PY - 2010

Y1 - 2010

M3 - Book chapter

SN - 9789834137151

SP - 42

EP - 55

BT - Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010)

CY - MIMOS BERHAD

T2 - CS-LTA 2010 The First Conceptual Structures - Learning, Teaching and Assessment workshop at ICCS 2010

Y2 - 26 July 2010

ER -