Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword logic programming / yhteensä: 8

viitteet: 1-8 / 8

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Rule-based Metaprogramming for Smart Spaces	2015	Luukkala, Vesa
2.	University timetabling using answer set programming techniques	2010	Kylmälä, Lea
3.	Implementing an Inductive Logic Programming System with Uncertainty Handling Capabilities	2006	Turkulainen, Petri
4.	Logic Programming with Cardinality Constraints	2003	Syrjänen, Tommi
5.	Implementing a formal agent description language	2001	Pääkkönen, Rauni
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
8.	Investigations on Cautious Autoepistemic Reasoning	1994	Janhunen, Tomi

« edellinen sivu | seuraava sivu »

INSSI