Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Logiki dla wnioskowań jakościowych

2011/02/A/HS1/00395

Słowa kluczowe:

wnioskowania jakościowe logika reprezentacja wiedzy systemy dual tableaux

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST1_1: Logika i podstawy matematyki
  • HS1_6: Natura ludzkiego umysłu (w tym: ewolucja umysłu, bio-psychologiczne uwarunkowania poznania, sztuczna inteligencja)

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia, m.in.:

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Joanna Golińska-Pilarek 

Liczba wykonawców projektu: 9

Konkurs: MAESTRO 1 - ogłoszony 2011-06-15

Przyznana kwota: 1 013 320 PLN

Rozpoczęcie projektu: 2012-05-29

Zakończenie projektu: 2017-05-29

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer przenośny. Za kwotę 7 000 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (23)
  • Teksty w publikacjach pokonferencyjnych (11)
  • Publikacje książkowe (17)
  1. Extending query-subquery nets for deductive databases under the well-founded semantics IF: ,888
    Autorzy:
    Son Thanh Cao, Linh Anh Nguyen, Ngoc Thanh Nguyen
    Czasopismo:
    Cybernetics and Systems (rok: 2017, tom: 48(3), strony: 249-266), Wydawca: Taylor and Francis
    Status:
    Opublikowane
    Doi:
    10.1080/01969722.2016.1276777 - link do publikacji
  2. Non-monotonic spatial reasoning with answer set programming modulo theories IF: 1,051
    Autorzy:
    Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt
    Czasopismo:
    Theory and Practice of Logic Programming (rok: 2017, tom: 17(2), strony: 205-225), Wydawca: Cambridge University Press
    Status:
    Opublikowane
    Doi:
    10.1017/S1471068416000193 - link do publikacji
  3. Overfitting problem in a virtual sensor obtained with W–M method
    Autorzy:
    Przemysław Wałęga
    Czasopismo:
    Procedia Computer Science (rok: 2014, tom: 35, strony: 54-62), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.procs.2014.08.084 - link do publikacji
  4. Tableau reductions: Towards an optimal decision procedure for the modal necessity IF: ,576
    Autorzy:
    Joanna Golińska-Pilarek, Emilio Munoz-Velasco, Angel Mora
    Czasopismo:
    Journal of Applied Logic (rok: 2016, tom: 17, strony: 14-24), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.jal.2015.09.005 - link do publikacji
  5. A hybrid qualitative approach for relative movements IF: ,53
    Autorzy:
    Joanna Golińska-Pilarek, Emilio Muñoz Velasco
    Czasopismo:
    Logic Journal of the IGPL (rok: 2015, tom: 23(3), strony: 410-420), Wydawca: Oxford University Press
    Status:
    Opublikowane
    Doi:
    10.1093/jigpal/jzv012 - link do publikacji
  6. An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ IF: ,479
    Autorzy:
    Linh Anh Nguyen, Joanna Golińska-Pilarek
    Czasopismo:
    Fundamenta Informaticae (rok: 2014, tom: 135, strony: 433-449), Wydawca: IOS Press
    Status:
    Opublikowane
    Doi:
    10.3233/FI-2014-1133 - link do publikacji
  7. Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras IF: 1,88
    Autorzy:
    Ivo Düntsch, Ewa Orłowska, Clint van Alten
    Czasopismo:
    Fuzzy Sets and Systems (rok: 2016, tom: 292, strony: 203-214), Wydawca: North Holland
    Status:
    Opublikowane
    Doi:
    10.1016/j.fss.2014.09.014 - link do publikacji
  8. Query–subquery nets for Horn knowledge bases in first-order logic
    Autorzy:
    Son Thanh Cao, Linh Anh Nguyen
    Czasopismo:
    Journal of Information and Telecommunication (rok: 2017, tom: 1(1), strony: 79-99), Wydawca: Taylor and Francis
    Status:
    Opublikowane
    Doi:
    10.1080/24751839.2017.1295664 - link do publikacji
  9. Relational dual tableau decision procedures and their applications to modal and intuitionistic logics IF: ,67
    Autorzy:
    Joanna Golińska-Pilarek, Taneli Huuskonen, Emilio Muñoz Velasco
    Czasopismo:
    Annals of Pure and Applied Logic (rok: 2014, tom: 165(2), strony: 409-427), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.apal.2013.06.003 - link do publikacji
  10. (m, n)-rationalizable choices IF: 2,656
    Autorzy:
    Domenico Cantone, Alfio Giarlotta, Salvatore Greco, Stephen Watson
    Czasopismo:
    Journal of Mathematical Psychology (rok: 2016, tom: 73, strony: 44557), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.jmp.2015.12.006 - link do publikacji
  11. A relational logic for spatial contact based on rough set approximation IF: ,717
    Autorzy:
    Ivo Düntsch, Ewa Orłowska, Michael Winter
    Czasopismo:
    Fundamenta Informaticae (rok: 2016, tom: 148(1-2), strony: 191-206), Wydawca: IOS Press
    Status:
    Opublikowane
    Doi:
    10.3233/FI-2016-1430 - link do publikacji
  12. Discrete duality for rough relation algebras IF: ,479
    Autorzy:
    Ivo Düntsch, Ewa Orłowska
    Czasopismo:
    Fundamenta Informaticae (rok: 2013, tom: 127 (1-4), strony: 35-47), Wydawca: IOS Press
    Status:
    Opublikowane
    Doi:
    10.3233/FI-2013-894 - link do publikacji
  13. Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate IF: ,604
    Autorzy:
    Domenico Cantone, Pietro Ursino
    Czasopismo:
    Information and Computation (rok: 2014, tom: 237, strony: 215-242), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.ic.2014.02.005 - link do publikacji
  14. Discrete dualities for some algebras with relations IF: ,479
    Autorzy:
    Ivo Düntsch, Ewa Orłowska
    Czasopismo:
    Journal of Logical and Algebraic Methods in Programming (rok: 2014, tom: 83(2), strony: 169-179), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.jlap.2014.02.006 - link do publikacji
  15. What does it mean to reason qualitatively?
    Autorzy:
    Przemysław Wałęga
    Czasopismo:
    Filozofia Nauki (rok: 2015, tom: 1(89), strony: 59-80), Wydawca: Instytut Filozofii Uniwersytetu Warszawskiego
    Status:
    Opublikowane
  16. Bisimilarity for paraconsistent description logics IF: 1,261
    Autorzy:
    Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc-Thanh Nguyen, Quang-Thuy Hae
    Czasopismo:
    Journal of Intelligent & Fuzzy Systems (rok: 2017, tom: 32, strony: 1203-1215), Wydawca: IOS Press
    Status:
    Opublikowane
    Doi:
    10.3233/JIFS-169120 - link do publikacji
  17. ExpTime tableaux with global caching for graded propositional dynamic logic IF: ,687
    Autorzy:
    Linh Anh Nguyen
    Czasopismo:
    Fundamenta Informaticae (rok: 2016, tom: 147(2-3), strony: 261-288), Wydawca: IOS Press
    Status:
    Opublikowane
    Doi:
    10.3233/FI-2016-1408 - link do publikacji
  18. On directed simulations in description logics IF: ,909
    Autorzy:
    Ali Rezaei Divroodi, Linh Anh Nguyen
    Czasopismo:
    Journal of Logic and Computation (rok: 2017, tom: exx004, strony: 11689), Wydawca: Oxford Academic
    Status:
    Opublikowane
    Doi:
    10.1093/logcom/exx004 - link do publikacji
  19. Qualitative physics in Angry Birds IF: 1,167
    Autorzy:
    Przemysław Wałęga, Michał Zawidzki, Tomasz Lechowski
    Czasopismo:
    IEEE Transactions on Computational Intelligence and AI in Games (rok: 2016, tom: 8(2), strony: 152-165), Wydawca: IEEE
    Status:
    Opublikowane
    Doi:
    10.1109/TCIAIG.2016.2561080 - link do publikacji
  20. Hybrid logics for subject-oriented reasoning about location
    Autorzy:
    Michał Zawidzki, Przemysław Wałęga, Tomasz Lechowski
    Status:
    Złożone
  21. Mixed algebras and their logics
    Autorzy:
    Ivo Düntsch, Ewa Orłowska, Tinko Tinchev
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2017, ), Wydawca: Taylor and Francis
    Status:
    Przyjęte
  22. A stable qualitative movement control system based on propositional dynamic logic IF: ,667
    Autorzy:
    Przemysław Wałęga, Emilio Munoz Velasco
    Czasopismo:
    Journal of Multiple-Valued Logic and Soft Computing (rok: 2017, ), Wydawca: Old City Publishing
    Status:
    Przyjęte
  23. A discrete representation for dicomplemented lattices IF: ,687
    Autorzy:
    Ivo Düntsch, Léonard Kwuida, Ewa Orłowska
    Czasopismo:
    Fundamenta Informaticae (rok: 2017, ), Wydawca: IOS Press
    Status:
    Przyjęte
  1. An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ
    Autorzy:
    Linh, Anh Nguyen, Joanna Golińska-Pilarek
    Konferencja:
    22nd International Workshop on Concurrency, Specification and Programming (rok: 2013, ), Wydawca: Białystok University of Technology
    Data:
    konferencja 25-27 września 2013
    Status:
    Opublikowane
  2. Hybridizing interval temporal logics: the first step
    Autorzy:
    Przemysław Wałęga
    Konferencja:
    Thirty-First AAAI Conference on Artificial Intelligence (rok: 2017, ), Wydawca: AAAI
    Data:
    konferencja 4-9.02.2017
    Status:
    Opublikowane
  3. On dual tableau-based decision procedures for relational fragments
    Autorzy:
    Domenico Cantone, Joanna Golińska-Pilarek, Marianna Nicolosi Asmundo
    Konferencja:
    Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT) affiliated at IJCAR'14 7th International Joint Conference on Automated Reasoning (rok: 2014, ), Wydawca: Vienna University of Technology and Kurt Godel Society
    Data:
    konferencja 18 lipiec 2014
    Status:
    Opublikowane
  4. On the efficiency of query-subquery nets: an experimental point of view
    Autorzy:
    Son Thanh Cao
    Konferencja:
    Fourth Symposium on Information and Communication Technology (rok: 2013, ), Wydawca: ACM
    Data:
    konferencja 5-6 grudnia 2013
    Status:
    Opublikowane
  5. Reasoning for moving blocks problem: formal representation and implementation
    Autorzy:
    Przemysław Wałęga
    Konferencja:
    Workshop on Knowledge Representation and Reasoning in Robotics / International Conference on Logic Programming (ICLP) (rok: 2013, ), Wydawca: KRR 2013
    Data:
    konferencja 25 sierpnia 2013
    Status:
    Opublikowane
  6. Default reasoning with propositional encoding of topological relations
    Autorzy:
    Przemysław Wałęga
    Konferencja:
    The joint NLPAR 2015 and LNMR 2015 workshops: 2ndWorkshop on Natural Language Processing and Automated Reasoning, and 2nd International Workshop on Learning and Nonmonotonic Reasoning (rok: 2015, ), Wydawca: University of Kentucky
    Data:
    konferencja 27 września 2015
    Status:
    Opublikowane
  7. Human-like spatial reasoning formalisms
    Autorzy:
    Przemysław Wałęga
    Konferencja:
    Thirty-First AAAI Conference on Artificial Intelligence (rok: 2017, ), Wydawca: AAAI
    Data:
    konferencja 4-9.02.2017
    Status:
    Opublikowane
  8. Qualitative physics in Angry Birds: first results
    Autorzy:
    Przemysław Wałęga, Tomasz Lechowski, Michał Zawidzki
    Konferencja:
    21st European Conference on Artificial Intelligence; Angry Birds AI Competition (rok: 2014, ), Wydawca: Australian National University
    Data:
    konferencja 20 sierpnia 2014
    Status:
    Opublikowane
  9. Reasoning about space and change with Answer Set Programming modulo theories
    Autorzy:
    Przemysław Wałęga
    Konferencja:
    Twenty-Fifth International Joint Conference on Artificial Intelligence (rok: 2016, ), Wydawca: AAAI Press / International Joint Conferences on Artificial Intelligence
    Data:
    konferencja 9-15 lipca 2016
    Status:
    Opublikowane
  10. Searching for well-behaved fragments of Halpern-Shoham logic
    Autorzy:
    Przemysław Wałęga
    Konferencja:
    International Joint Conference on Artificial Intelligence 2017 - Doctoral Consortium (rok: 2017, ), Wydawca: AAAI Press / International Joint Conferences on Artificial Intelligence
    Data:
    konferencja 19-25.08.2017
    Status:
    Przyjęte
  11. Qualitative evaluation of stability in disassembling block structures with robot manipulator
    Autorzy:
    Przemysław Wałęga, Michał Zawidzki, Jakub Możaryn
    Konferencja:
    International Workshop on Qualitative Reasoning (rok: 2017, ), Wydawca: Qualitative Reasoning Group, Northwestern University
    Data:
    konferencja 21.08.2017
    Status:
    Przyjęte
  1. A relational dual tableau decision procedure for multimodal and description logics
    Autorzy:
    Domenico Cantone, Joanna Golińska-Pilarek, Marianna Nicolosi Asmundo
    Książka:
    Lecture Notes in Computer Science: Hybrid Artificial Intelligence Systems 2014 (rok: 2014, tom: 8480, strony: 466-477), Wydawca: Springer
    Status:
    Opublikowane
  2. ASPMT(QS): Non-monotonic spatial reasoning with answer set programming modulo theories
    Autorzy:
    Przemysław Wałęga, Mehul Bhatt, Carl Schultz
    Książka:
    Logic Programming and Nonmonotonic Reasoning (Lecture Notes in Computer Science) (rok: 2015, tom: 9345, strony: 488-501), Wydawca: Springer
    Status:
    Opublikowane
  3. An empirical approach to query-subquery nets with tail-recursion elimination
    Autorzy:
    Son Thanh Cao, Linh Anh Nguyen
    Książka:
    Advances in Intelligent Systems and Computing: New Trends in Database and Information Systems II (rok: 2015, tom: 312, strony: 109-120), Wydawca: Springer
    Status:
    Opublikowane
  4. Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic
    Autorzy:
    Przemysław Wałęga
    Książka:
    Logic and Its Applications. ICLA 2017 (seria: Lecture Notes in Computer Science) (rok: 2017, tom: 10119, strony: 224-238), Wydawca: Springer
    Status:
    Opublikowane
  5. Query-subquery nets with stratified negation
    Autorzy:
    Son Thanh Cao
    Książka:
    Advanced Computational Methods for Knowledge Engineering (seria Advances in Intelligent Systems and Computing) (rok: 2015, tom: 358, strony: 355-366), Wydawca: Springer International Publishing
    Status:
    Opublikowane
  6. A Movement control system based on qualitative reasoning
    Autorzy:
    Przemysław Wałęga, Emilio Munoz Velasco
    Książka:
    10th International Conference on Soft Computing Models in Industrial and Environmental Applications ( Advances in Intelligent Systems and Computing) (rok: 2015, tom: 368, strony: 179-189), Wydawca: Springer
    Status:
    Opublikowane
  7. An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases
    Autorzy:
    Son Thanh Cao, Linh Anh Nguyen
    Książka:
    Advances in Intelligent Systems and Computing: Advanced Computational Methods for Knowledge Engineering (rok: 2014, tom: 282, strony: 281-295), Wydawca: Springer
    Status:
    Opublikowane
  8. Banishing ultrafilters from our consciousness
    Autorzy:
    Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
    Książka:
    Martin Davis on Computability, Computational Logic, and Mathematical Foundations (eds. E. G. Omodeo, A. Policriti), series: Outstanding Contributions to Logic (rok: 2016, tom: 10, strony: 255-283), Wydawca: Springer
    Status:
    Opublikowane
  9. Dualities for Structures of Applied Logics (monografia)
    Autorzy:
    Ewa Orlowska, Anna Maria Radzikowsa and Ingrid Rewitzky
    Książka:
    Dualities for Structures of Applied Logics (rok: 2015, tom: 56, strony: 396), Wydawca: College Publications
    Status:
    Opublikowane
  10. On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility
    Autorzy:
    Joanna Golińska-Pilarek
    Książka:
    Logics in Artificial Intelligence (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence) (rok: 2012, tom: 7519, strony: 255-266), Wydawca: Springer
    Status:
    Opublikowane
  11. A set-theoretic approach to ABox reasoning services
    Autorzy:
    Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
    Książka:
    Rules and Reasoning (eds. S. Costantini, E. Franconi, W. Van Woensel, R.Kontchakov, F. Sadri, D. Roman), series: Lecture Notes in Computer Science (rok: 2017, tom: 10364, strony: 87-102), Wydawca: Springer
    Status:
    Opublikowane
  12. Mixed algebras and their logics
    Autorzy:
    Ivo Düntsch, Ewa Orłowska, Tinko Tinchev
    Książka:
    Festschrift in Honour of Luis Farinas del Cerro (rok: 2016, tom: nie dotyczy, strony: 44334), Wydawca: Université Paul Sabatier, Institut de Recherche en Informatique de Toulouse
    Status:
    Opublikowane
  13. On the efficiency of query-subquery nets with right/tail-recursion elimination in evaluating queries to Horn knowledge bases
    Autorzy:
    Son Thanh Cao
    Książka:
    Advanced Computational Methods for Knowledge Engineering (seria Advances in Intelligent Systems and Computing) (rok: 2015, tom: 358, strony: 243-254), Wydawca: Springer International Publishing
    Status:
    Opublikowane
  14. Automatyczne systemy przetwarzania informacji – paradygmat logiczny
    Autorzy:
    Joanna Golińska-Pilarek
    Książka:
    Różne oblicza informacji (rok: 2017, ), Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
    Status:
    Przyjęte
  15. Dual tableau-based decision procedures for fragments of the logic of binary relations
    Autorzy:
    Domenico Cantone, Marianna Nicolosi Asmundo
    Książka:
    Ewa Orłowska on Relational Methods in Logic and Computer Science (seria: Outstanding Contributions to Logic) (rok: 2017, ), Wydawca: Springer
    Status:
    Przyjęte
  16. On expressiveness of Halpern-Shoham logic and its Horn fragments
    Autorzy:
    Przemysław Wałęga
    Książka:
    Proceedings of the 24th International Symposium on Temporal Representation and Reasoning TIME 2017 (rok: 2017, ), Wydawca: LIPIcs-Leibniz International Proceedings in Informatics
    Status:
    Przyjęte
  17. Post algebras in the work of Helena Rasiowa
    Autorzy:
    Ewa Orłowska
    Książka:
    Lvov-Warsaw School. Past and Present (seria: Studies in Universal Logic ) (rok: 2017, ), Wydawca: Springer/Birkhäsuer
    Status:
    Przyjęte