2014 |
- BOOKTITLE:
- Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning
- PAGES:
- 634--637
|
- BOOKTITLE:
- 21st European Conference on Artificial Intelligence
- PAGES:
- 351--356
|
- BOOKTITLE:
- Logics in Artificial Intelligence
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 8761
- PAGES:
- 166--180
|
- BOOKTITLE:
- Declarative Programming and Knowledge Management
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 8439
- PAGES:
- 118--135
|
- BOOKTITLE:
- Logics in Artificial Intelligence
- SERIES:
- Lecture Notes in Artificial Intelligence
- VOLUME:
- 8761
- PAGES:
- 137--151
|
2013 |
- BOOKTITLE:
- Advances in Neural Information Processing Systems
- SERIES:
- Advances in Neural Information Processing Systems
- VOLUME:
- 26
- PAGES:
- 1349--1357
|
- BOOKTITLE:
- Logic Programming and Nonmonotonic Reasoning
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 8148
- PAGES:
- 187--199
|
- BOOKTITLE:
- Applications of Declarative Programming and Knowledge Management
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7773
- PAGES:
- 95--113
|
2012 |
- BOOKTITLE:
- Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR)
- PAGES:
- 32--42
|
- 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:
- Proceedings of the 6th International Conference on Web Reasoning and Rule Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7497
- PAGES:
- 106--121
|
|
2011 |
- 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:
- Proceedings of 4th Conference on Smart Spaces
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6869
- PAGES:
- 87--98
|
- 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
- SERIES:
- TU Wien, INFSYS Research Report
- VOLUME:
- 1843-11-06
- PAGES:
- 105--116
|
2010 |
|
- BOOKTITLE:
- the 3rd International Workshop on Logic and Search
|
- BOOKTITLE:
- Proceedings of the 19th European Conference on Artificial Intelligence
- PAGES:
- 951--956
|
- BOOKTITLE:
- Technical Communications of the 26th International Conference on Logic Programming
- SERIES:
- Leibniz International Proceedings in Informatics (LIPIcs)
- VOLUME:
- 7
- PAGES:
- 94--103
|
2009 |
- BOOKTITLE:
- Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5753
- PAGES:
- 155--168
|
- BOOKTITLE:
- Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2009)
|
- JOURNAL:
- Journal of Logic and Computation
- VOLUME:
- 19
- PAGES:
- 591--613
|
- BOOKTITLE:
- Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5753
- PAGES:
- 142--154
|
- JOURNAL:
- Journal of Artificial Intelligence Research
- VOLUME:
- 35
- PAGES:
- 813--857
|
|
2008 |
- BOOKTITLE:
- Proceedings of the 12th International Workshop on Nonmonotonic Reasoning
- PAGES:
- 150--159
|
- JOURNAL:
- Theory and Practice of Logic Programming
- VOLUME:
- 8
- PAGES:
- 717--761
|
- BOOKTITLE:
- Proceedings of the 2nd International Workshop on Logic and Search
- PAGES:
- 16--30
|
- BOOKTITLE:
- Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications
- PAGES:
- 167--180
|
- BOOKTITLE:
- Proceedings of the 18th European Conference on Artificial Intelligence
- PAGES:
- 75--79
|
- BOOKTITLE:
- Proceedings of the 24th International Conference on Logic Programming
- PAGES:
- 729--733
|
2007 |
- BOOKTITLE:
- Proceedings of the 23rd International Conference on Logic Programming
- PAGES:
- 440--441
|
- BOOKTITLE:
- Proceedings of the 4th International Workshop on Answer Set Programming
- PAGES:
- 255--269
|
- JOURNAL:
- Theory and Practice of Logic Programming
- VOLUME:
- 7
- PAGES:
- 697--744
|
- BOOKTITLE:
- Proceedings of the 1st International Workshop on Software Engineering for Answer Set Programming
- SERIES:
- Deparment of Computer Science, University of Bath, Technical Report Series
- PAGES:
- 12--25
|
- BOOKTITLE:
- Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 175--187
|
|
|
2006 |
- BOOKTITLE:
- Proceedings of the 17th European Conference on Artificial Intelligence
- PAGES:
- 412--416
|
- BOOKTITLE:
- Proceedings of the 11th International Workshop on Nonmonotonic Reasoning
- PAGES:
- 10--18
|
- AUTHORS:
- Gressmann Jean,
-
Janhunen Tomi,
- Mercer Robert,
- Schaub Torsten,
- Thiele Sven,
- Tichy Richard
- BOOKTITLE:
- Proceedings of the 17th European Conference on Artificial Intelligence
- PAGES:
- 392--396
|
- AUTHORS:
- Gressmann Jean,
-
Janhunen Tomi,
- Mercer Robert,
- Schaub Torsten,
- Thiele Sven,
- Tichy Richard
- BOOKTITLE:
- Proceedings of the 11th International Workshop on Nonmonotonic Reasoning
- PAGES:
- 30--38
|
- JOURNAL:
- Journal of Applied Non-Classical Logics
- VOLUME:
- 16
- PAGES:
- 35--86
|
- JOURNAL:
- ACM Transactions on Computational Logic
- VOLUME:
- 7
- PAGES:
- 1--37
|
- BOOKTITLE:
- Proceedings of the 17th European Conference on Artificial Intelligence
- PAGES:
- 769--770
|
|
2005 |
- BOOKTITLE:
- Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 405--409
|
- AUTHORS:
- Gressmann Jean,
-
Janhunen Tomi,
- Mercer Robert,
- Schaub Torsten,
- Thiele Sven,
- Tichy Richard
- BOOKTITLE:
- Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 227--239
|
2004 |
- BOOKTITLE:
- Proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04
- PAGES:
- 134--146
|
- BOOKTITLE:
- Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 331--335
|
|
- BOOKTITLE:
- Proceedings of the 16th European Conference on Artificial Intelligence
- PAGES:
- 358--362
|
- BOOKTITLE:
- Proceedings of the 4th Finnish/Baltic Sea Conference on Computer Science Education
- PAGES:
- 85--94
|
- BOOKTITLE:
- Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 180--193
|
- BOOKTITLE:
- Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
- PAGES:
- 336--340
|
2003 |
- BOOKTITLE:
- Answer Set Programming: Advances in Theory and Implementation
- PAGES:
- 166--180
|
- JOURNAL:
- Artificial Intelligence
- VOLUME:
- 144
- PAGES:
- 233--250
|
|
|
|
2002 |
- BOOKTITLE:
- Logics in Artificial Intelligence, Proceedings of the 8th European Conference
- PAGES:
- 493--504
|
|
2001 |
- BOOKTITLE:
- Logic Programming and Nonmonotonic Reasoning, Proceedings of the 6th International Conference
- PAGES:
- 93--106
|
- BOOKTITLE:
- Working Notes of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications
- PAGES:
- 102--113
|
2000 |
- BOOKTITLE:
- Logics in Artificial Intelligence, European Workshop, JELIA 2000
- PAGES:
- 102--117
|
- BOOKTITLE:
- Computational Logic, First International Conference
- PAGES:
- 852--866
|
|
- BOOKTITLE:
- Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala
- PAGES:
- 33--46
|
- BOOKTITLE:
- Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference
- PAGES:
- 411--419
|
1999 |
- BOOKTITLE:
- Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'99
- PAGES:
- 19--33
|
- JOURNAL:
- Annals of Mathematics and Artificial Intelligence
- VOLUME:
- 27
- PAGES:
- 79--128
|
1998 |
|
|
- BOOKTITLE:
- Proceedings of the 6th European Workshop on Logics in Artificial Intelligence, JELIA'98
- PAGES:
- 216--232
|
1997 |
- BOOKTITLE:
- Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'97
- PAGES:
- 132--151
|
1996 |
- BOOKTITLE:
- Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems
- PAGES:
- 29-31
|
- BOOKTITLE:
- Proceedings of the 12th European Conference on Artificial Intelligence, ECAI'96
- PAGES:
- 70--74
|
1995 |
- BOOKTITLE:
- Proceedings of the Third International Workshop on Deductive Databases and Logic Programming
- PAGES:
- 25--39
|
1994 |
- BOOKTITLE:
- Proceedings of the Seventh Finnish Symposium on Computer Science
- PAGES:
- 33--46
|
|
|
1993 |
- BOOKTITLE:
- Computational Logic and Proof Theory, Proceedings of the Third Kurt Gödel Colloquium, KGC'93
- PAGES:
- 211--222
|
|
- AUTHORS:
-
Varpaaniemi Kimmo,
- Helander Johannes,
-
Janhunen Tomi,
- Kangas Ismo,
- Nurmela Kari,
- Oksanen Kenneth,
- Pesonen Olavi,
- Rauhamaa Marko,
- Reilly James,
- Suonsivu Heikki,
- Valkealahti Kimmo,
- Väisänen Pauli,
- Grönberg Peter,
- Halme Jaakko,
- Hiekkanen Kari,
- Pyssysalo Tino,
- Tiusanen Mikko
|
|
|
1992 |
- BOOKTITLE:
- Proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV
- PAGES:
- 293--307
|