Centre for Artificial Intelligence of UNL

Browse our site

About

People

Research Areas

Projects

Publications

Seminars

News

You are here:

Publication details

Publication details

Main information

Title:	Terminating Evaluation of Logic Programs with Finite Three-Valued Models
Publication date:	2014
Citation:	RigS14
Abstract:	-

Journal

Authors:	Fabrizio Riguzzi, Terrance Swift
Journal:	Transactions on Computational Logic
Publisher:	-
Address:	-
Volume:	15
Number:	4
Pages:	-
ISBN:	-
ISSN:	-
Note:	-
Url address:	-

Export formats

Plain text:	Fabrizio Riguzzi and Terrance Swift, Terminating Evaluation of Logic Programs with Finite Three-Valued Models, Transactions on Computational Logic, Vol. 15, No. 4, 2014.
HTML:	<b>Fabrizio Riguzzi and <a href="/people/members/view.php?code=v175f8262e2ff877fba2ad77784cb9ca" class="author">Terrance Swift</a></b>, <u>Terminating Evaluation of Logic Programs with Finite Three-Valued Models</u>, Transactions on Computational Logic, Vol. 15, No. 4, 2014.
BibTeX:	@article {RigS14, author = {Fabrizio Riguzzi and Terrance Swift}, title = {Terminating Evaluation of Logic Programs with Finite Three-Valued Models}, journal = {Transactions on Computational Logic}, volume = {15}, number = {4}, year = {2014}, }

Publication's urls

Full url:	/publications/view.php?code=dd36ab6703179cf5b1ba9747f7807097
Friendly url:	/publications/view.php?code=RigS14

Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541