AIICS

Andrzej Szalas

In Book or Collection

Show abstracts (where available) BibTeX entries
2013
[12] Linh Anh Nguyen and Andrzej Szalas. 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] Barbara Dunin-Keplicz and Andrzej Szalas. 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] Barbara Dunin-Keplicz and Andrzej Szalas. 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: 978-3-642-30946-5, e- 978-3-642-30947-2.
DOI: 10.1007/978-3-642-30947-2_40.
[9] Linh Anh Nguyen and Andrzej Szalas. 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: 978-3-642-29355-9, e-978-3-642-29356-6.
DOI: 10.1007/978-3-642-29356-6_2.
[8] Barbara Dunin-Keplicz and Andrzej Szalas. 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 (print), 978-3-642-29326-9 (online).
DOI: 10.1007/978-3-642-29326-9_8.
2009
[7] Andrzej Szalas and Alicja Szalas. 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] Jan Maluszynski, Andrzej Szalas and Aida Vitoria. 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] Patrick Doherty, Jaroslaw Kachniarz and Andrzej Szalas. 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: 978-3-540-43059-9, 35-4043-059-8.
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] Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron and Andrzej Szalas. 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: 978-3-540-43059-9, 35-4043-059-8.
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] Jaroslaw Kachniarz and Andrzej Szalas. 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] Andreas Nonnengart and Andrzej Szalas. 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] Andrzej Szalas. 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...