In Book or Collection
| Show abstracts (where available) BibTeX entries | ||
| 2013 | ||
| [12] |
.
2013. Logic-Based Roughification. In A. Skowron and Z. 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. |
|
| [11] |
.
2013. Distributed Paraconsistent Belief Fusion. In Giancarlo Fortino , Costin Badica , Michele Malgeri and Rainer Unland, editors, Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012, pages 59–69. In series: Studies in Computational Intelligence #446. Springer Berlin/Heidelberg. ISBN: 978-3-642-32523-6. DOI: 10.1007/978-3-642-32524-3_9. |
|
| 2012 | ||
| [10] |
.
2012. Epistemic Profiles and Belief Structures. In Gordan Jezic , Mario Kusek , Ngoc-Thanh Nguyen , Robert J. Howlett and Lakhmi C. Jain, editors, Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings, pages 360–369. In series: Lecture Notes in Computer Science #7327. Springer Berlin/Heidelberg. ISBN: e- 978-3-642-30947-2. DOI: 10.1007/978-3-642-30947-2_40. |
|
| [9] |
.
2012. Paraconsistent Reasoning for Semantic Web Agents. In Ngoc Thanh Nguyen, editor, Transactions on Compuational Collective Intelligence VI, pages 36–55. In series: Lecture Notes in Computer Science #7190. Springer Berlin/Heidelberg. ISBN: e-978-3-642-29356-6. DOI: 10.1007/978-3-642-29356-6_2. |
|
| [8] |
.
2012. Agents in Approximate Environments. In Jan Ejick and Rineke Verbrugge, editors, Games, Actions and Social Software, pages 141–163. In series: LNCS #7010. Springer. DOI: 10.1007/978-3-642-29326-9_8. |
|
| 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. |
|
| 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 Commemorating the Life and Work of Zdzislaw Pawlak, Part I. DOI: 10.1007/978-3-540-71200-8, pages 176–190. In series: Lecture Notes in Computer Science #4374/2007. Springer. ISBN: 978-3-540-71198-8. DOI: 10.1007/978-3-540-71200-8_11. |
|
| 2003 | ||
| [5] |  |
.
2003. Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases. In Rough-Neural Computing: Techniques for Computing with Words, pages 219–250. In series: Cognitive Technologies #??. Springer. ISBN: 978-3-540-43059-9. |
| [4] | |
.
2003. Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge. In Rough-Neural Computing: Techniques for Computing with Words, pages 189–218. In series: Cognitive Technologies #??. Springer. |
| 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. |
|
| 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. |
|
| 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: 978-1857282337. |
|
