Top-down computation of the semantics of weighted fuzzy logic programs

Chortaras, A; Stamou, G; Stafylopatis, A

dc.contributor.author	Chortaras, A	en
dc.contributor.author	Stamou, G	en
dc.contributor.author	Stafylopatis, A	en
dc.date.accessioned	2014-03-01T02:44:59Z
dc.date.available	2014-03-01T02:44:59Z
dc.date.issued	2007	en
dc.identifier.issn	03029743	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/32071
dc.subject	Fuzzy Logic Programming	en
dc.subject	Query Answering	en
dc.subject	Top Down	en
dc.subject.other	Computation theory	en
dc.subject.other	Fuzzy logic	en
dc.subject.other	Graph theory	en
dc.subject.other	Query processing	en
dc.subject.other	Query answering-oriented semantics	en
dc.subject.other	Top-down computation	en
dc.subject.other	Weighted fuzzy logic programs	en
dc.subject.other	Semantics	en
dc.title	Top-down computation of the semantics of weighted fuzzy logic programs	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1007/978-3-540-72982-2_32	en
heal.identifier.secondary	http://dx.doi.org/10.1007/978-3-540-72982-2_32	en
heal.publicationDate	2007	en
heal.abstract	We describe a procedural, query answering-oriented semantics for weighted fuzzy logic programs. The computation of the semantics combines resolution with tabling methodologies and is done by constructing and evaluating an appropriate resolution graph. © Springer-Verlag Berlin Heidelberg 2007.	en
heal.journalName	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	en
dc.identifier.doi	10.1007/978-3-540-72982-2_32	en
dc.identifier.volume	4524 LNCS	en
dc.identifier.spage	364	en
dc.identifier.epage	366	en