Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics



Title:	Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics Logiikkaohjelmien stabiilien mallien semantiikkaan perustuva rajoiteohjelmointi
Author(s):	Simons, Patrik
Date:	1997
Language:	en
Pages:	49
Department:	Tietotekniikan osasto
Major/Subject:	Digitaalitekniikka
Supervising professor(s):	Ojala, Leo
Thesis advisor(s):	Niemelä, Ilkka
Keywords:	stable model semantics, logic programming, nonmonotonic reasoning, automatic theorem proving
	OEVS yes
» Show full item record
Permanent link to this item: http://urn.fi/URN:NBN:fi:aalto-202104144997 Email this Export to RefWorks QR Code Print BibTex Tweet