The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ilkka Niemelä" ( http://dblp.L3S.de/Authors/Ilkka_Niemelä )

URL (Homepage):  http://www.tcs.hut.fi/~ini/  Author page on DBLP  Author page in RDF  Community of Ilkka Niemelä in ASPL-2

Publication years (Num. hits)
1988-1996 (19) 1997-2001 (19) 2002-2004 (15) 2005-2008 (24) 2009-2011 (24) 2012-2013 (16) 2014-2016 (4)
Publication types (Num. hits)
article(39) incollection(3) inproceedings(75) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 14 keywords

Results
Found 122 publication records. Showing 121 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tomi Janhunen, Ilkka Niemelä The Answer Set Programming Paradigm. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä Cumulativity Tailored for Nonmonotonic Reasoning. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Conflict-Driven XOR-Clause Learning (extended version). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Classifying and Propagating Parity Constraints (extended version). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä Bounded Model Checking of an MITL Fragment for Timed Automata Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Simulating Parity Reasoning (extended version). Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Simulating Parity Reasoning. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Tomi Janhunen, Ilkka Niemelä Introducing Real Variables and Integer Objective Functions to Answer Set Programming. Search on Bibsonomy KDPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä Bounded Model Checking of an MITL Fragment for Timed Automata. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jussi Lahtinen, J. Valkonen, K. Björkman, J. Frits, Ilkka Niemelä, Keijo Heljanko Model checking of safety-critical software in the nuclear engineering domain. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä Solving parity games by a reduction to SAT. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä SMT-based Induction Methods for Timed Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä Applying Visible Strong Equivalence in Answer-Set Program Transformations. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Conflict-Driven XOR-Clause Learning. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Extending Clause Learning SAT Solvers with Complete Parity Reasoning. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Classifying and Propagating Parity Constraints. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Tomi Janhunen, Ilkka Niemelä Answer Set Programming via Mixed Integer Programming. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä SMT-Based Induction Methods for Timed Systems. Search on Bibsonomy FORMATS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Partitioning Search Spaces of a Randomized Search. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mai Nguyen, Tomi Janhunen, Ilkka Niemelä Translating Answer-Set Programs into Bit-Vector Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski Origins of Answer-Set Programming - Some Background And Two Personal Accounts Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mai Nguyen, Tomi Janhunen, Ilkka Niemelä Translating Answer-Set Programs into Bit-Vector Logic. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You Strong Equivalence of Logic Programs with Abstract Constraint Atoms. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks. Search on Bibsonomy ACSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems. Search on Bibsonomy ISMVL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Equivalence Class Based Parity Reasoning with DPLL(XOR). Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Partitioning SAT Instances for Distributed Solving. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä Experimental Comparison of Concolic and Random Testing for Java Card Applets. Search on Bibsonomy SPIN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits On Testing Answer-Set Programs. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä Extending Clause Learning DPLL with Parity Reasoning. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä (eds.) Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vesa Luukkala, Ilkka Niemelä Enhancing a Smart Space with Answer Set Programming. Search on Bibsonomy RuleML The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Incorporating Clause Learning in Grid-Based Randomized SAT Solving. Search on Bibsonomy JSAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Rolf Drechsler, Tommi A. Junttila, Ilkka Niemelä Non-Clausal SAT and ATPG. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä The LIME Interface Specification Language and Runtime Monitoring Tool. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä A Module-Based Framework for Multi-language Constraint Modeling. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä Integrating Answer Set Programming and Satisfiability Modulo Theories. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev Computing Stable Models via Reductions to Difference Logic. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Partitioning Search Spaces of a Randomized Search. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski Nonmonotonic Reasoning. Search on Bibsonomy Handbook of Knowledge Representation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä Stable models and difference logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27
1Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski Preferences and Nonmonotonic Reasoning. Search on Bibsonomy AI Magazine The full citation details ... 2008 DBLP  BibTeX  RDF
1Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic programs with monotone abstract constraint atoms. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Ilkka Niemelä The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä Justification-Based Local Search with Adaptive Noise Strategies. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä Answer Set Programming without Unstratified Negation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä Justification-Based Non-Clausal Local Search for SAT. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Incorporating Learning in Grid-Based Randomized SAT Solving. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä Stable Models and Difference Logic. Search on Bibsonomy ISAIM The full citation details ... 2008 DBLP  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä Strategies for Solving SAT in Grids by Randomized Search. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Verónica Dahl, Ilkka Niemelä (eds.) Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding partiality and disjunctions in stable model semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
1Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä Planning as satisfiability: parallel plans and algorithms for plan search. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Harri Haanpää, Matti Järvisalo, Petteri Kaski, Ilkka Niemelä Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic programs with monotone abstract constraint atoms Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä A Distribution Method for Solving SAT in Grids. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä Answer Set Programming: A Declarative Approach to Solving Search Problems. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä Unrestricted vs restricted cut in a tableau method for Boolean circuits. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cut rule, satisfiability, proof complexity, Boolean circuits, DPLL
1Toni Jussila, Keijo Heljanko, Ilkka Niemelä BMC via on-the-fly determinization. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Verification, Labeled transition system, Bounded model checking
1Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (eds.) Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski 05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski Prioritized Component Systems. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen Logic Programs with Ordered Disjunction. Search on Bibsonomy Computational Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Ilkka Niemelä (eds.) Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä GNT - A Solver for Disjunctive Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic Programs With Monotone Cardinality Atoms. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Misa Keinänen, Ilkka Niemelä Solving Alternating Boolean Equation Systems in Answer Set Programming. Search on Bibsonomy INAP/WLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä Parallel Encodings of Classical Planning as Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. Search on Bibsonomy ISAIM The full citation details ... 2004 DBLP  BibTeX  RDF
1Toni Jussila, Keijo Heljanko, Ilkka Niemelä BMC via on-the-fly determinization. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding Partiality and Disjunctions in Stable Model Semantics Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Keijo Heljanko, Ilkka Niemelä Bounded LTL Model Checking with Stable Models Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic programs with monotone cardinality atoms Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Keijo Heljanko, Ilkka Niemelä Bounded LTL model checking with stable models. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski Answer Set Optimization. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Patrik Simons, Ilkka Niemelä, Timo Soininen Extending and implementing the stable model semantics. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski On the equivalence of the static and disjunctive well-founded semantics and its computation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Ulrich Furbach, Ilkka Niemelä, Gerd Brewka, Mirek Truszczynski Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tommi Syrjänen, Ilkka Niemelä The Smodels System. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Keijo Heljanko, Ilkka Niemelä Bounded LTL Model Checking with Stable Models. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen Representing Configuration Knowledge With Weight Constraint Rules. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Keijo Heljanko, Ilkka Niemelä Answer Set Programming and Bounded Model Checking. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Ilkka Niemelä, Patrik Simons, Tommi Syrjänen Smodels: A System for Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Maarit Hietalahti, Fabio Massacci, Ilkka Niemelä DES: a Challenge Problem for Nonmonotonic Reasoning Systems Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Tommi A. Junttila, Ilkka Niemelä Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You Unfolding Partiality and Disjunctions in Stable Model Semantics. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
1Ilkka Niemelä Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Timo Soininen, Ilkka Niemelä Developing a Declarative Rule Language for Applications in Product Configuration. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ilkka Niemelä, Patrik Simons, Timo Soininen Stable Model Semantics of Weight Constraint Rules. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Timo Soininen, Esther M. Gelle, Ilkka Niemelä A Fixpoint Definition of Dynamic Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä Report on the Seventh International Workshop on Nonmonotonic Reasoning. Search on Bibsonomy AI Magazine The full citation details ... 1998 DBLP  BibTeX  RDF
1Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä DisLoP: A Research Project on Disjunctive Logic Programming. Search on Bibsonomy AI Commun. The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 121 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license