Show abstracts (where available) BibTeX entries | ||
2018 | ||
[15] |
2018. Variations on Jaśkowski’s Discursive Logic. In Ángel GarridoUrszula Wybraniec-Skardowska, editor, The Lvov-Warsaw School. Past and Present, pages 485–497. In series: Studies in Universal Logic #??. Birkhäuser. ISBN: 9783319654294, 9783319654300. DOI: 10.1007/978-3-319-65430-0_34. |
.
|
[14] |
2018. Signed Dual Tableaux for Kleene Answer Set Programs. In Golińska-Pilarek J., Zawidzki M., editors, Ewa Orłowska on Relational Methods in Logic and Computer Science, pages 233–252. In series: Outstanding Contributions to Logic #17. Springer. ISBN: 9783319978789, 9783319978796. DOI: 10.1007/978-3-319-97879-6_9. |
.
|
2015 | ||
[13] |
2015. A New Perspective on Goals. In Sujata Ghosh and Jakub Szymanik, editors, The Facts Matter: Essays on Logic and Cognition in Honour of Rineke Verbrugge, pages 50–66. College Publications. ISBN: 978-1-84890-173-5. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-1-8... |
.
|
[12] |
2015. Stability, Supportedness, Minimality and Kleene Answer Set Programs. In Thomas Eiter, Hannes Strass, Mirosław Truszczynski, Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 125–140. In series: Lecture Notes in Computer Science #9060. Springer. ISBN: 978-3-319-14725-3, 978-3-319-14726-0. DOI: 10.1007/978-3-319-14726-0_9. Link to full text: http://www.ida.liu.se/divisions/aiics/pu... fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
|
2013 | ||
[11] |
2013. Taming Complex Beliefs. In Ngoc Thanh Nguyen, editor, Transactions on Computational Collective Intelligence XI, pages 1–21. In series: Lecture Notes in Computer Science #8065. Springer. ISBN: 978-3-642-41775-7, 978-3-642-41776-4. DOI: 10.1007/978-3-642-41776-4_1. |
.
|
[10] |
2013. Logic-Based Roughification. In Andrzej Skowron, Zbigniew Suraj, editors, Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam (vol. I), pages 517–543. In series: Intelligent Systems Reference Library #42. Springer Berlin/Heidelberg. ISBN: 978-3-642-30343-2. DOI: 10.1007/978-3-642-30344-9_19. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13601690 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/title/rough-sets... |
.
|
2012 | ||
[9] |
2012. Paraconsistent Reasoning for Semantic Web Agents. In Ngoc Thanh Nguyen, editor, Transactions on Computational Collective Intelligence VI, pages 36–55. In series: Lecture Notes in Computer Science #7190. Springer Berlin/Heidelberg. ISBN: 978-3-642-29355-9, 978-3-642-29356-6. DOI: 10.1007/978-3-642-29356-6_2. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13481193 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?q=Transac... |
.
|
[8] |
2012. Agents in Approximate Environments. In Jan Ejick and Rineke Verbrugge, editors, Games, Actions and Social Software: Multidisciplinary Aspects, pages 141–163. In series: Lecture Notes in Computer Science #7010. Springer. ISBN: 978-3-642-29325-2, 978-3-642-29326-9. DOI: 10.1007/978-3-642-29326-9_8. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13428777 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?q=Games%2... |
.
|
2009 | ||
[7] |
2009. Paraconsistent Reasoning with Words. In Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday, pages 43–58. In series: Lecture Notes in Computer Science #5070. Springer. ISBN: 978-3-642-04734-3. DOI: 10.1007/978-3-642-04735-0_2. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/11741557 |
.
|
2007 | ||
[6] |
2007. A Four-Valued Logic for Rough Set-Like Approximate Reasoning. In James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska and Lech Polkowski, editors, Transactions on Rough Sets VI, pages 176–190. In series: Lecture Notes in Computer Science #4374/2007. Springer. ISBN: 3-540-71198-8, 978-3-540-71198-8. DOI: 10.1007/978-3-540-71200-8_11. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/11381912 |
.
|
2004 | ||
[5] |
2004. Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases. In Andrzej Skowron,Lech Polkowski ,Sankar K Pal, editors, Rough-Neural Computing: Techniques for Computing with Words, pages 219–250. In series: Cognitive Technologies #??. Springer. ISBN: 9783540430599. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/14144444 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/title/rough-neur... |
.
|
[4] |
2004. Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge. In Andrzej Skowron,Lech Polkowski ,Sankar K Pal, editors, Rough-Neural Computing: Techniques for Computing with Words, pages 189–218. In series: Cognitive Technologies #??. Springer. ISBN: 9783540430599, 3540430598. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/14144444 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?qt=worldc... |
.
|
2001 | ||
[3] |
2001. On a Static Approach to Verification of Integrity Constraints in Relational Databases. In Eva Orlowska, Andrzej Szalas, editors, Relational Methods for Computer Science Applications, pages 97–109. In series: Studies in Fuzziness and Soft Computing #65. Springer Physica-Verlag. ISBN: 3-7908-1365-6. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
.
|
1998 | ||
[2] |
1998. A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In Ewa Orlowska, editor, Logic at work: essays dedicated to the memory of Helena Rasiowa, pages 307–328. In series: Studies in Fuzziness and Soft Computing #24. Physica Verlag. ISBN: 3-7908-1164-5. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
.
|
1995 | ||
[1] |
1995. Temporal Logic: A Standard Approach. In Leonard Bolc, Andrzej Szalas, editors, Time And Logic: A Computational Approach, pages 1–50. UCL Press Ltd.. ISBN: 1-85728-233-7, 978-1857282337. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=1... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-185... |
.