Inssi

Helecon

Tenttu

search query: @keyword stable model semantics / total: 7

references: 3-7 / 7

« previous page | next page »

	title	year	author
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

« previous page | next page »

INSSI