Show simple item record

Classical methods in nonmonotonic reasoning

dc.contributor.authorDimopoulos, Yannisen
dc.contributor.editorRas Z.W.en
dc.contributor.editorZemankova M.en
dc.creatorDimopoulos, Yannisen
dc.date.accessioned2019-11-13T10:39:53Z
dc.date.available2019-11-13T10:39:53Z
dc.date.issued1994
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/53854
dc.description.abstractIn this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint satisfaction, and graph algorithms are considered. Central to our approach is the representation of a logic program by means of a graph. © Springer-Verlag Berlin Heidelberg 1994.en
dc.source8th International Symposium on Methodologies for Intelligent Systems, ISMIS 1994en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0348077906&partnerID=40&md5=28cb916c96b3a6f4a05ab5ebe972ef83
dc.subjectProblem solvingen
dc.subjectLinear programmingen
dc.subjectComputation theoryen
dc.subjectIntelligent systemsen
dc.subjectClassical problemsen
dc.subjectComputer circuitsen
dc.subjectLogic programmingen
dc.subjectFormal logicen
dc.subjectPropositional logicen
dc.subjectLogic programsen
dc.subjectPropositional satisfiabilityen
dc.subjectClassical methodsen
dc.subjectConstraint Satisfactionen
dc.subjectGraph algorithmsen
dc.subjectNon-monotonic reasoningen
dc.titleClassical methods in nonmonotonic reasoningen
dc.typeinfo:eu-repo/semantics/article
dc.description.volume869 LNAIen
dc.description.startingpage500
dc.description.endingpage510
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors: IBM, Charlotteen
dc.description.notesMITRE Corporationen
dc.description.notesOak Ridge National Laboratoryen
dc.description.notesOffice of Naval Researchen
dc.description.notesUNC, Charlotteen
dc.description.notesConference code: 171119en
dc.description.notesCited By :1</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidDimopoulos, Yannis [0000-0001-9583-9754]
dc.gnosis.orcid0000-0001-9583-9754


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record