| ||
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 |