Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword stable model semantics / yhteensä: 7

viitteet: 1-7 / 7

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Modular Answer Set Programming	2006	Oikarinen, Emilia
2.	Solving Boolean Equation Systems	2005	Keinänen, Misa
3.	Logic Programming with Cardinality Constraints	2003	Syrjänen, Tommi
4.	Testing the Equivalence of Disjunctive Logic Programs	2003	Oikarinen, Emilia
5.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo
6.	A Rule-Based Formal Model for Software Configuration	1999	Syrjänen, Tommi
7.	Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics	1997	Simons, Patrik

« edellinen sivu | seuraava sivu »

INSSI