2014 |
- BOOKTITLE:
- Declarative Programming and Knowledge Management
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 8439
- PAGES:
- 118--135
|
2013 |
- BOOKTITLE:
- 13th International Conference on Application of Concurrency to System Design (ACSD)
- PAGES:
- 216--225
|
- BOOKTITLE:
- Logic Programming and Automated Reasoning, 19th International Conference, LPAR 2013, Stellenbosch, South Africa, December 15-19, 2013, Proceedings
- SERIES:
- Advanced Research in Computing and Software Science, LNCS ARCoSS
|
- BOOKTITLE:
- Applications of Declarative Programming and Knowledge Management
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7773
- PAGES:
- 95--113
|
- BOOKTITLE:
- Kiel Declarative Programming Days 2013
- SERIES:
- Technical Report
- VOLUME:
- 1306
- PAGES:
- 93--107
|
2012 |
- JOURNAL:
- Journal of Computer and System Sciences
- VOLUME:
- 78
- PAGES:
- 430-440
|
- JOURNAL:
- Reliability Engineering & System Safety (RESS)
- VOLUME:
- 105
- PAGES:
- 104-113
|
- BOOKTITLE:
- Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR)
- PAGES:
- 32--42
|
- BOOKTITLE:
- Formal Techniques for Distributed Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7273
- PAGES:
- 84--100
|
- BOOKTITLE:
- Principles and Practice of Constraint Programming - CP 2012
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7514
- PAGES:
- 357--372
|
- BOOKTITLE:
- Theory and Applications of Satisfiability Testing - SAT 2012
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7317
- PAGES:
- 383--396
|
- BOOKTITLE:
- Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7265
- PAGES:
- 363--379
|
- BOOKTITLE:
- ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence
|
- BOOKTITLE:
- Formal Modeling and Analysis of Timed Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7595
- PAGES:
- 171--187
|
2011 |
- BOOKTITLE:
- Proceedings of the 41st IEEE International Symposium on the Multiple-Valued Logic (ISMVL 2011)
- PAGES:
- 139--141
|
- BOOKTITLE:
- Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6565
- PAGES:
- 111--130
|
- BOOKTITLE:
- ICTAI 2011 - 23rd IEEE International Conference on Tools with Artificial Intelligence
- PAGES:
- 649-658
|
- BOOKTITLE:
- CP 2011
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6876
- PAGES:
- 385--399
|
- BOOKTITLE:
- Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
- PAGES:
- 75-80
|
- BOOKTITLE:
- Proceedings of the 11th International Conference on Application of Concurrency to System Design, ACSD 2011
- PAGES:
- 185-194
|
|
- JOURNAL:
- Fundamenta Informaticae
- VOLUME:
- 107
- PAGES:
- 289--311
|
- BOOKTITLE:
- Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6645
- PAGES:
- 242--247
|
- BOOKTITLE:
- Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6645
- PAGES:
- 161--173
|
- BOOKTITLE:
- Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management
- PAGES:
- 105--116
|
2010 |
|
- BOOKTITLE:
- Proceedings of the 4th International Semantic Web Rule Symposium, RuleML~2010
- SERIES:
- Lecture Notes in Computer Science (LNCS)
- VOLUME:
- 6403
- PAGES:
- 89--103
|
- BOOKTITLE:
- Proceedings of the 16th International SPIN Workshop on Model Checking of Software~SPIN 2010
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6349
- PAGES:
- 22--39
|
- BOOKTITLE:
- Proceedings of the 19th European Conference on Artificial Intelligence, ECAI~2010
- SERIES:
- Frontiers in Artificial Intelligence and Applications
- VOLUME:
- 215
- PAGES:
- 21--26
|
|
- BOOKTITLE:
- Reliability, Risk and Safety---Back to the Future
- PAGES:
- 2056--2063
|
- BOOKTITLE:
- Proceedings of the 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010
|
- BOOKTITLE:
- Proceedings of the 19th European Conference on Artificial Intelligence, ECAI~2010
- SERIES:
- Frontiers in Artificial Intelligence and Applications
- VOLUME:
- 215
- PAGES:
- 951--956
|
- BOOKTITLE:
- Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR~2010
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6397
- PAGES:
- 372--386
|
- JOURNAL:
- ATS Ydintekniikka
- VOLUME:
- 39
- PAGES:
- 6--8
|
2009 |
- BOOKTITLE:
- Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5753
- PAGES:
- 155-168
|
- BOOKTITLE:
- Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5753
- PAGES:
- 142--154
|
- BOOKTITLE:
- Automaatio XVIII 2009 Seminaari
|
- JOURNAL:
- Journal on Satisfiability, Boolean Modeling and Computation
- VOLUME:
- 6
- PAGES:
- 223--244
|
- BOOKTITLE:
- Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5753
- PAGES:
- 3
|
|
|
|
- BOOKTITLE:
- Proceedings of the 11th Conference of the Italian Association for Artificial Intelligence, AI*IA 2009
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5883
- PAGES:
- 243--252
|
- BOOKTITLE:
- Proceedings of the 9th International Workshop on Runtime Verification, RV2009
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5779
- PAGES:
- 93-100
|
- BOOKTITLE:
- Proceedings of the Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009
|
2008 |
- BOOKTITLE:
- Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5366
- PAGES:
- 88--92
|
- BOOKTITLE:
- Proceedings of the 2nd International Workshop on Logic and Search
- PAGES:
- 16--30
|
- BOOKTITLE:
- Enlarged Halden Programme Group Meeting -- Proceedings of the Man-Technology-Organisation Sessions
- PAGES:
- C4.2
|
- BOOKTITLE:
- Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008)
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5253
- PAGES:
- 247--261
|
- BOOKTITLE:
- Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'08)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5330
- PAGES:
- 31--46
|
- BOOKTITLE:
- Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
- PAGES:
- 535--539
|
|
|
|
- JOURNAL:
- AI Magazine
- VOLUME:
- 29
- PAGES:
- 69--78
|
- JOURNAL:
- Theory and Practice of Logic Programming
- VOLUME:
- 8
- PAGES:
- 167--199
|
- JOURNAL:
- Annals of Mathematics and Artificial Intelligence
- VOLUME:
- 53
- PAGES:
- 313--329
|
- BOOKTITLE:
- Proceedings of the Tenth International Symposium on Artificial Intelligence and Mathematics
- PAGES:
- 5 p.
|
- BOOKTITLE:
- Proceedings of the 9th Conference on Artificial Intelligence and Symbolic Computation (AISC 2008)
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 5144
- PAGES:
- 125--140
|
- JOURNAL:
- Journal of Algorithms: Algorithms in Cognition, Informatics, and Logic
- VOLUME:
- 63
- PAGES:
- 90--113
|
2007 |
|
2006 |
- BOOKTITLE:
- Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT 2006)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4121
- PAGES:
- 430--435
|
- BOOKTITLE:
- Proceedings of the 10th European Conference on Logics in Artificial Intelligence
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 4160
- PAGES:
- 15--18
|
- BOOKTITLE:
- Proceedings of the ICLP 2006 Workshop on Search and Logic: Answer Set Programming and SAT
- PAGES:
- 35
|
- BOOKTITLE:
- Proceedings of the CAV'06 Workshop on Bounded Model Checking (BMC06)
- PAGES:
- 9
|
- JOURNAL:
- Journal on Satisfiability, Boolean Modeling and Computation
- VOLUME:
- 2
- PAGES:
- 27--64
|
- JOURNAL:
- Artificial Intelligence
- VOLUME:
- 170
- PAGES:
- 1031--1080
|
- JOURNAL:
- ACM Transactions on Computational Logic
- VOLUME:
- 7
- PAGES:
- 1--37
|
2005 |
|
- JOURNAL:
- International Journal on Software Tools for Technology Transfer
- VOLUME:
- 7
- PAGES:
- 89--101
|
|
- BOOKTITLE:
- Proceedings of the Twentieth National Conference on Artificial Intelligence
- PAGES:
- 596--601
|
- BOOKTITLE:
- Applications of Declarative Programming and Knowledge Management
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 3392
- PAGES:
- 134--148
|
- JOURNAL:
- Annals of Mathematics and Artificial Intelligence
- VOLUME:
- 44
- PAGES:
- 373--399
|
2004 |
- BOOKTITLE:
- Proceedings of the Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systemisation and Automation
|
- BOOKTITLE:
- Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 331--335
|
- JOURNAL:
- Computational Intelligence
- VOLUME:
- 20
- PAGES:
- 333--357
|
|
- BOOKTITLE:
- Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA'04)
- SERIES:
- Lecture Notes in Artificial Intelligence 3229
- PAGES:
- 307--319
|
- SERIES:
- Lecture Notes in Artificial Intelligence 2923
|
- BOOKTITLE:
- Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 154--166
|
- BOOKTITLE:
- Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004)
- SERIES:
- Technical Report
- VOLUME:
- 327
- PAGES:
- 255--264
|
|
- BOOKTITLE:
- AI&M 2004, 8th International Symposium on Artificial Intelligence and Mathematics
|
2003 |
- AUTHORS:
- Tiihonen Juha,
- Soininen Timo,
-
Niemelä Ilkka,
- Sulonen Reijo
- BOOKTITLE:
- Proceedings of the 14th International Conference on Engineering Design
- PAGES:
- 1290--1299
|
- BOOKTITLE:
- Proceedings of the 18th International Joint Conference on Artificial Intelligence
- PAGES:
- 867--872
|
- BOOKTITLE:
- Proceedings of CADE-19 Workshop on Model Computation --- Principles, Algorithms, Applications
|
- BOOKTITLE:
- Proceedings of the Eighth Scandinavian Conference on Artificial Intelligence
- PAGES:
- 189--191
|
- BOOKTITLE:
- Proceedings of the first International Workshop on Bounded Model Checking
- SERIES:
- ENTCS
- VOLUME:
- 89
|
- JOURNAL:
- Theory and Practice of Logic Programming
- VOLUME:
- 3
- PAGES:
- 519--550
|
2002 |
- AUTHORS:
- Tiihonen Juha,
- Soininen Timo,
-
Niemelä Ilkka,
- Sulonen Reijo
- BOOKTITLE:
- ECAI 2002 Configuration Workshop
- PAGES:
- 17-22
|
- JOURNAL:
- Artificial Intelligence
- VOLUME:
- 138
- PAGES:
- 181--234
|
- BOOKTITLE:
- Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02)
- PAGES:
- 444--455
|
- BOOKTITLE:
- Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence
- PAGES:
- 59--66
|
2001 |
- BOOKTITLE:
- Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning
- PAGES:
- 90--96
|
- BOOKTITLE:
- Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 200--212
|
|
- AUTHORS:
- Brass Stefan,
- Dix Jurgen,
-
Niemelä Ilkka,
- Przymusinski T.C.
- JOURNAL:
- Theoretical Computer Science
- VOLUME:
- 258
- PAGES:
- 523--553
|
- AUTHORS:
- Soininen Timo,
-
Niemelä Ilkka,
- Tiihonen Juha,
- Sulonen Reijo
- BOOKTITLE:
- Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming
- PAGES:
- 195--201
|
- BOOKTITLE:
- Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 434--438
|
2000 |
- BOOKTITLE:
- Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073)
|
|
|
|
|
- BOOKTITLE:
- Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (cs.AI/0003073)
|
|
- BOOKTITLE:
- Proceedings of the First International Conference on Computational Logic, Automated Deduction: Putting Theory into Practice
- PAGES:
- 553--567
|
- BOOKTITLE:
- Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning
- PAGES:
- 411--419
|
- AUTHORS:
- Soininen Timo,
-
Niemelä Ilkka,
- Tiihonen Juha,
- Sulonen Reijo
- BOOKTITLE:
- Workshop Notes of the ECAI'2000 Configuration Workshop
- PAGES:
- 79--84
|
- AUTHORS:
- Soininen Timo,
-
Niemelä Ilkka,
- Tiihonen Juha,
- Sulonen Reijo
|
1999 |
- BOOKTITLE:
- Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming
- PAGES:
- 419--433
|
|
- BOOKTITLE:
- Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
- PAGES:
- 305--319
|
- BOOKTITLE:
- Arpakannus 1/99 - Special Issue on Networks'99
|
- JOURNAL:
- Annals of Mathematics and Artificial Intelligence
- VOLUME:
- 25
- PAGES:
- 241--273
|
- BOOKTITLE:
- Proceedings of the FLoC Workshop on Complexity-Theoretic and Recursion-Theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory
- PAGES:
- 38-47
|
- BOOKTITLE:
- Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 317--331
|
1998 |
- BOOKTITLE:
- Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning
- PAGES:
- 74--85
|
|
- BOOKTITLE:
- Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning
- PAGES:
- 72--79
|
|
- AUTHORS:
- (Ed.) Ilkka Niemelä
|
|
|
- JOURNAL:
- AI Magazine
- VOLUME:
- 19
- PAGES:
- 139
|
1997 |
- BOOKTITLE:
- Proceedings of the Third Dutch-German Workshop on Nonmonotonic Reasoning
- PAGES:
- 37--42
|
- JOURNAL:
- Computational Logic
- VOLUME:
- 3
|
|
- JOURNAL:
- AI Communications
- VOLUME:
- 10
- PAGES:
- 151--165
|
- BOOKTITLE:
- Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning
- PAGES:
- 341--352
|
- BOOKTITLE:
- Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning
- PAGES:
- 420--429
|
1996 |
|
- BOOKTITLE:
- Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods
- PAGES:
- 278--294
|
|
|
- BOOKTITLE:
- Proceedings of the Joint International Conference and Symposium on Logic Programming
- PAGES:
- 289--303
|
|
|
- BOOKTITLE:
- Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA'96)
- PAGES:
- 1--17
|
- BOOKTITLE:
- Proceedings of the European Conference on Artificial Intelligence
- PAGES:
- 80--84
|
|
- AUTHORS:
- Aravindan C.,
- Baumgartner P.,
- Dix J.,
- Furbach U.,
- Neugebauer G.,
-
Niemelä Ilkka,
- Schäfer D.,
- Stolzenburg F.
- BOOKTITLE:
- Proceedings of the Poster Session at JICSLP'96
- PAGES:
- 99--122
|
- AUTHORS:
- Aravindan C.,
- Baumgartner P.,
- Dix J.,
- Furbach U.,
- Neugebauer G.,
-
Niemelä Ilkka,
- Schäfer D.,
- Stolzenburg F.
- BOOKTITLE:
- Proceedings of the Joint International Conference and Symposium on Logic Programming
- PAGES:
- 546
|
|
- AUTHORS:
- Niemelä (Ed.) Ilkka
|
1995 |
- JOURNAL:
- Journal of Automated Reasoning
- VOLUME:
- 14
- PAGES:
- 3--42
|
|
- BOOKTITLE:
- Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada
- PAGES:
- 66--72
|
- BOOKTITLE:
- Proceedings of the 14th International Joint Conference on Artificial Intelligence
- PAGES:
- 312--318
|
|
1994 |
- BOOKTITLE:
- Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning
- PAGES:
- 473--484
|
|
- JOURNAL:
- Tie\-to\-jen\-kä\-sit\-tely\-tiede
- VOLUME:
- 6
- PAGES:
- 15--25
|
|
- JOURNAL:
- Journal of Applied Non-Classical Logics
- VOLUME:
- 4
- PAGES:
- 141--179
|
|
1993 |
- BOOKTITLE:
- Automated Deduction in Nonstandard Logics --- Papers from the 1993 Fall Symposium
- PAGES:
- 97--104
|
- BOOKTITLE:
- Proceedings of the 3rd Kurt Gödel Colloquium on Computational Logic and Proof Theory
- PAGES:
- 211--222
|
|
|
|
1992 |
- BOOKTITLE:
- Proceedings of the Finnish Artificial Intelligence Conference
- PAGES:
- 202--211
|
- BOOKTITLE:
- Proceedings of the 10th European Conference on Artificial Intelligence
- PAGES:
- 334--338
|
|
|
- JOURNAL:
- Fundamenta Informaticae
- VOLUME:
- 17
- PAGES:
- 117--155
|
- BOOKTITLE:
- Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning
- PAGES:
- 627--638
|
1991 |
|
- BOOKTITLE:
- Proceedings of the 12th International Joint Conference on Artificial Intelligence
- PAGES:
- 399--404
|
1990 |
- BOOKTITLE:
- Proceedings of the Finnish Artificial Intelligence Symposium
- PAGES:
- 64--73
|
|
- BOOKTITLE:
- Proceedings of the European Workshop on Logics in Artificial Intelligence---JELIA'90
- PAGES:
- 428--443
|
1989 |
|
|
- BOOKTITLE:
- Proceedings of the Workshop on Alternatives of Logic Programming
- PAGES:
- 174--188
|
1988 |
- BOOKTITLE:
- Proceedings of the 8th European Conference on Artificial Intelligence
- PAGES:
- 595--600
|
- BOOKTITLE:
- Proceedings of the 9th International Conference on Automated Deduction
- PAGES:
- 675--684
|
- BOOKTITLE:
- Proceedings of the Finnish Artificial Intelligence Symposium
- PAGES:
- 418--427
|
- BOOKTITLE:
- Proceedings of the 2nd Workshop on Computer Science Logic
- PAGES:
- 226--239
|
1987 |
|
|
1986 |
|
- BOOKTITLE:
- Proceedings of the Finnish Artificial Intelligence Symposium, Volume 2
- PAGES:
- 44--53
|