| ||
26. | Towards Approximate BGI Systems
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 4696 r. 2007, str. 277-287 (Artyku³ konferencyjny) Barbara Dunin-Kêplicz, Andrzej Sza³as | |
27. | On the Fixpoint Theory of Equality and its Applications
LECTURE NOTES IN COMPUTER SCIENCE Tom 4136 r. 2006, str. 388-401 (Artyku³ konferencyjny) Andrzej Sza³as, Jerzy Tyszkiewicz | |
28. | Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
INTERNATIONAL JOINT CONFERENCE ON ARTIFFICIAL INTELIGENCE r. 2001, str. 145-151 (Artyku³) P. Doherty, Witold £ukaszewicz, Andrzej Sza³as | |
29. | Efficient reasoning using the local closed-world assumption
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 1904 r. 2000, str. 49-58 (Artyku³) Witold £ukaszewicz, Andrzej Sza³as, P. Dohery | |
30. | Meta-queries on deductive databases
FUNDAMENTA INFORMATICAE Tom 40 Nr 1 r. 1999, str. 17-30 (Artyku³) Andrzej Sza³as, P Doherty, J Kachniarz | |
| ||
31. | Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications
College Publications, London, r. 2008 (Ksi±¿ka) Andrzej Sza³as, Dov M. Gabbay, Renate Schmidt | |
32. | Knowledge Representation Techniques: Rough Set Approach
Springer, r. 2006 (Ksi±¿ka) Patrick Doherty, Witold £ukaszewicz, Andrzej Skowron, Andrzej Sza³as | |
33. | Relational Methods for Computer Science Applications
Springer Physica Verlag, r. 2001 (Ksi±¿ka) E. Or³owska, Andrzej Sza³as (Redaktor) | |
| ||
34. | A bisimulation-based method of concept learning for knowledge bases in description logics
w: SoICT 2012 - Proceedings of the Third International Symposium on Information and Communication Technology, str. 241-249, Association of Computing Machinery, r. 2012 (Artyku³ konferencyjny) Quang-Thuy Ha, Thi-Lan-Giao Hoang, Hung Son Nguyen, Andrzej Sza³as, Thanh-Luong Tran, Anh Linh Nguyen | |
35. | A Paraconsistent Approach to Speech Acts
w: ArgMAS'2012: 9th International Workshop on Argumentation in Multi-Agent Systems, str. 59-78, r. 2012 (Artyku³ konferencyjny) Barbara Dunin-Kêplicz, Alina Strachocka, Andrzej Sza³as, Rineke Verbrugge | |
36. | Agents in Approximate Environments
w: Games, Actions and Social Software, str. 141-163, Springer-Verlag, r. 2012 (Esej lub rozdzia³ w ksi±¿ce) Barbara Dunin-Kêplicz, Andrzej Sza³as | |
37. | Concept learning for description logic-based snformation systems
w: KSE 2012 - International Conference on Knowledge and Systems Engineering, str. 65-73, Institute of Electrical and Electronics Engineers, r. 2012 (Artyku³ konferencyjny) Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Hung Son Nguyen, Andrzej Sza³as, Anh Linh Nguyen | |
38. | Epistemic Profiles and Belief Structures
w: KES-AMSTA, str. 360-369, Springer-Verlag, r. 2012 (Artyku³ konferencyjny) Barbara Dunin-Kêplicz, Andrzej Sza³as | |
39. | Temporal Composite Actions with Constraints
w: KR: International Conference on the Principles of Knowledge Representation and Reasoning, str. 478-488, AAAI Press, r. 2012 (Artyku³ konferencyjny) Patrick Doherty, Jonas Kvarnström, Andrzej Sza³as | |
40. | Tractable Model Checking for Fragments of Higher-Order Coalition Logic
w: AAMAS'11: 10th International Conference on Autonomous Agents and Multiagent Systems, str. 743-750, r. 2011 (Artyku³ konferencyjny) Patrick Doherty, Barbara Dunin-Kêplicz, Andrzej Sza³as | |
41. | WORL: a Web Ontology Rule Language
w: KSE 2011 - International Conference on Knowledge and Systems Engineering, str. 32-39, r. 2011 (Artyku³ konferencyjny) Son Thanh Cao, Linh Anh Nguyen, Andrzej Sza³as | |
42. | Graded Beliefs, Goals and Intentions
w: LAMAS, str. , r. 2010 (Artyku³ konferencyjny) Barbara Dunin-Kêplicz, Linh Anh Nguyen, Andrzej Sza³as | |
43. | An Optimal Tableau Decision Procedure for Converse-PDL
w: KSE 2009, 1st International Conference on Knowlegde and Systems Engineering, str. 207-214, IEEE Computer Society, r. 2009 (Artyku³ konferencyjny) Linh Anh Nguyen, Andrzej Sza³as | |
44. | Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
w: CS&P 2009, the 18th Concurrency, Specification and Programming Workshop, str. 431-442, r. 2009 (Artyku³ konferencyjny) Linh Anh Nguyen, Andrzej Sza³as | |
45. | Fusing Approximate Knowledge from Distributed Sources
w: IDC 2009, 3rd International Symposium on Intelligent Distributed Computing, str. 75-86, Springer-Verlag, r. 2009 (Artyku³ konferencyjny) Barbara Dunin-Kêplicz, Linh Anh Nguyen, Andrzej Sza³as | |
46. | Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription.
w: KR, str. 560-570, r. 2008 (Artyku³ konferencyjny) Patrick Doherty, Andrzej Sza³as | |
47. | Approximate transducers and trees: a technique for combining rough and crisp knowledge
w: Rough-Neural Computing: Techniques for Computing with Words, Cognitive Technologies, In: S. K. Pal, L. Polkowski, A. Skowron (Eds.), str. 189-218, Springer, r. 2004 (Esej lub rozdzia³ w ksi±¿ce) P. Doherty, W. £ukaszewicz, Andrzej Skowron, Andrzej Sza³as | |
48. | On a Static Verification of Integrity Constraints in Relational Databases
w: Relational Methods for Computer Science Applications, E. Or³owska A. Sza³as, str. 97-109, Springer Physica Verlag, r. 2001 (Esej lub rozdzia³ w ksi±¿ce) J. Kachniarz, Andrzej Sza³as | |
49. | On rule-based approach to the construction of logical transformers
w: First International Workshop on Rule-Based Programming, str. 57-71, ACM, r. 2000 (Artyku³ konferencyjny) Andrzej Sza³as, J Kachniarz |