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

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 (2 szt.). Za kwotę 7 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (23)
  • Teksty w publikacjach pokonferencyjnych (11)
  • Publikacje książkowe (18)
  1. On directed simulations in description logics
    Autorzy:
    Ali Rezaei Divroodi, Linh Anh Nguyen
    Czasopismo:
    Journal of Logic and Computation (rok: 2017, tom: exx004, strony: 11689), Wydawca: Oxford Academic
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exx004 - link do publikacji
  2. Qualitative physics in Angry Birds
    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:
    Opublikowana
    Doi:
    10.1109/TCIAIG.2016.2561080 - link do publikacji
  3. A hybrid qualitative approach for relative movements
    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:
    Opublikowana
    Doi:
    10.1093/jigpal/jzv012 - link do publikacji
  4. A relational logic for spatial contact based on rough set approximation
    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:
    Opublikowana
    Doi:
    10.3233/FI-2016-1430 - link do publikacji
  5. Bisimilarity for paraconsistent description logics
    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:
    Opublikowana
    Doi:
    10.3233/JIFS-169120 - link do publikacji
  6. Discrete dualities for some algebras with relations
    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:
    Opublikowana
    Doi:
    10.1016/j.jlap.2014.02.006 - link do publikacji
  7. Discrete duality for rough relation algebras
    Autorzy:
    Ivo Düntsch, Ewa Orłowska
    Czasopismo:
    Fundamenta Informaticae (rok: 2013, tom: 127 (1-4), strony: 35-47), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2013-894 - link do publikacji
  8. Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
    Autorzy:
    Domenico Cantone, Pietro Ursino
    Czasopismo:
    Information and Computation (rok: 2014, tom: 237, strony: 215-242), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.ic.2014.02.005 - link do publikacji
  9. Non-monotonic spatial reasoning with answer set programming modulo theories
    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:
    Opublikowana
    Doi:
    10.1017/S1471068416000193 - link do publikacji
  10. Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
    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:
    Opublikowana
    Doi:
    10.1016/j.apal.2013.06.003 - link do publikacji
  11. A stable qualitative movement control system based on propositional dynamic logic
    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ęta do publikacji
    Doi:
    brak - link do publikacji
  12. Extending query-subquery nets for deductive databases under the well-founded semantics
    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:
    Opublikowana
    Doi:
    10.1080/01969722.2016.1276777 - link do publikacji
  13. A discrete representation for dicomplemented lattices
    Autorzy:
    Ivo Düntsch, Léonard Kwuida, Ewa Orłowska
    Czasopismo:
    Fundamenta Informaticae (rok: 2017, ), Wydawca: IOS Press
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  14. Hybrid logics for subject-oriented reasoning about location
    Autorzy:
    Michał Zawidzki, Przemysław Wałęga, Tomasz Lechowski
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2017, ), Wydawca: Taylor and Francis
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  15. (m, n)-rationalizable choices
    Autorzy:
    Domenico Cantone, Alfio Giarlotta, Salvatore Greco, Stephen Watson
    Czasopismo:
    Journal of Mathematical Psychology (rok: 2016, tom: 73, strony: 45653), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.jmp.2015.12.006 - link do publikacji
  16. Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras
    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:
    Opublikowana
    Doi:
    10.1016/j.fss.2014.09.014 - link do publikacji
  17. 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:
    Opublikowana
    Doi:
    10.1080/24751839.2017.1295664 - link do publikacji
  18. Tableau reductions: Towards an optimal decision procedure for the modal necessity
    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:
    Opublikowana
    Doi:
    10.1016/j.jal.2015.09.005 - link do publikacji
  19. 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:
    Opublikowana
    Doi:
    brak - link do publikacji
  20. An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ
    Autorzy:
    Linh Anh Nguyen, Joanna Golińska-Pilarek
    Czasopismo:
    Fundamenta Informaticae (rok: 2014, tom: 135, strony: 433-449), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2014-1133 - link do publikacji
  21. ExpTime tableaux with global caching for graded propositional dynamic logic
    Autorzy:
    Linh Anh Nguyen
    Czasopismo:
    Fundamenta Informaticae (rok: 2016, tom: 147(2-3), strony: 261-288), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2016-1408 - link do publikacji
  22. 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:
    Opublikowana
    Doi:
    10.1016/j.procs.2014.08.084 - link do publikacji
  23. 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ęta do publikacji
    Doi:
    brak - link do publikacji
  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:
    Opublikowana
  2. 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:
    Opublikowana
  3. 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:
    Opublikowana
  4. 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:
    Opublikowana
  5. 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:
    Opublikowana
  6. 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:
    Opublikowana
    Doi:
    link do publikacji
  7. 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:
    Opublikowana
  8. 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:
    Opublikowana
  9. 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:
    Opublikowana
  10. 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ęta do publikacji
  11. 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ęta do publikacji
  1. 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:
    Opublikowana
  2. 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:
    Opublikowana
  3. 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:
    Opublikowana
  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:
    Opublikowana
  5. 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:
    Opublikowana
  6. 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ęta do publikacji
  7. 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:
    Opublikowana
  8. Deterministic tableau-decision procedure via reductions for modal logic K
    Autorzy:
    Joanna Golińska-Pilarek, Emilio Munoz Velasco, Angel Mora
    Książka:
    Advances in Intelligent Systems and Computing: International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 (rok: 2014, tom: 239, strony: 429-438), Wydawca: Springer
    Status:
    Opublikowana
  9. 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: 45430), Wydawca: Université Paul Sabatier, Institut de Recherche en Informatique de Toulouse
    Status:
    Opublikowana
  10. 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ęta do publikacji
  11. 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:
    Opublikowana
  12. 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:
    Opublikowana
  13. 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:
    Opublikowana
  14. 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ęta do publikacji
  15. 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ęta do publikacji
  16. 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:
    Opublikowana
  17. 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:
    Opublikowana
  18. 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:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy