Wyniki wyszukiwania

Parametry zapytania
  
Autor:Andrzej Szałas

                

Publikacja w czasopimie

26. Towards Approximate BGI Systems
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 4696 r. 2007, str. 277-287 (Artyku konferencyjny)
Barbara Dunin-Kplicz, Andrzej Szaas
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 Szaas, 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 Szaas
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 Szaas, P. Dohery
30. Meta-queries on deductive databases
FUNDAMENTA INFORMATICAE Tom 40 Nr 1 r. 1999, str. 17-30 (Artyku)
Andrzej Szaas, P Doherty, J Kachniarz

Ksika

31. Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications
College Publications, London, r. 2008 (Ksika)
Andrzej Szaas, Dov M. Gabbay, Renate Schmidt
32. Knowledge Representation Techniques: Rough Set Approach
Springer, r. 2006 (Ksika)
Patrick Doherty, Witold ukaszewicz, Andrzej Skowron, Andrzej Szaas
33. Relational Methods for Computer Science Applications
Springer Physica Verlag, r. 2001 (Ksika)
E. Orowska, Andrzej Szaas (Redaktor)

Publikacja w ksice

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 Szaas, 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-Kplicz, Alina Strachocka, Andrzej Szaas, Rineke Verbrugge
36. Agents in Approximate Environments
w: Games, Actions and Social Software, str. 141-163, Springer-Verlag, r. 2012 (Esej lub rozdzia w ksice)
Barbara Dunin-Kplicz, Andrzej Szaas
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 Szaas, Anh Linh Nguyen
38. Epistemic Profiles and Belief Structures
w: KES-AMSTA, str. 360-369, Springer-Verlag, r. 2012 (Artyku konferencyjny)
Barbara Dunin-Kplicz, Andrzej Szaas
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 Kvarnstrm, Andrzej Szaas
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-Kplicz, Andrzej Szaas
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 Szaas
42. Graded Beliefs, Goals and Intentions
w: LAMAS, str. , r. 2010 (Artyku konferencyjny)
Barbara Dunin-Kplicz, Linh Anh Nguyen, Andrzej Szaas
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 Szaas
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 Szaas
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-Kplicz, Linh Anh Nguyen, Andrzej Szaas
46. Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription.
w: KR, str. 560-570, r. 2008 (Artyku konferencyjny)
Patrick Doherty, Andrzej Szaas
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 ksice)
P. Doherty, W. ukaszewicz, Andrzej Skowron, Andrzej Szaas
48. On a Static Verification of Integrity Constraints in Relational Databases
w: Relational Methods for Computer Science Applications, E. Orowska A. Szaas, str. 97-109, Springer Physica Verlag, r. 2001 (Esej lub rozdzia w ksice)
J. Kachniarz, Andrzej Szaas
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 Szaas, J Kachniarz

<<< Poprzednie <<<