Change language

Wyszukiwarka projektów

Logiki dla wnioskowań jakościowych

2011/02/A/HS1/00395

Słowa kluczowe

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 (22)

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

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

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

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

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

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

  7. (m, n)-rationalizable choices

    Autorzy:
    Domenico Cantone, Alfio Giarlotta, Salvatore Greco, Stephen Watson
    Czasopismo:
    Journal of Mathematical Psychology (rok: 2016, tom: 73, strony: 46383), Wydawca: Elsevier
    Status:
    Opublikowana
    DOI:
    10.1016/j.jmp.2015.12.006 – link do publikacji

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

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

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

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

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

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

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

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

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

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

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

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

  20. A stable qualitative movement control system based on propositional dynamic logic

    Autorzy:
    Przemysław Wałęga, Emilio Munoz Velasco
    Status:
    Przyjęta do publikacji

  21. Mixed algebras and their logics

    Autorzy:
    Ivo Düntsch, Ewa Orłowska, Tinko Tinchev
    Status:
    Przyjęta do publikacji

  22. A discrete representation for dicomplemented lattices

    Autorzy:
    Ivo Düntsch, Léonard Kwuida, Ewa Orłowska
    Status:
    Przyjęta do publikacji

Teksty w publikacjach pokonferencyjnych (11)

  1. 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, strony: 27-38), Wydawca: University of Kentucky
    Data:
    konferencja 27 września 2015
    Status:
    Opublikowana

  2. 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, strony: 4038-4039), Wydawca: AAAI Press / International Joint Conferences on Artificial Intelligence
    Data:
    konferencja 9-15 lipca 2016
    Status:
    Opublikowana

  3. Hybridizing interval temporal logics: the first step

    Autorzy:
    Przemysław Wałęga
    Konferencja:
    Thirty-First AAAI Conference on Artificial Intelligence (rok: 2017, strony: 4997–4998), Wydawca: AAAI
    Data:
    konferencja 4-9.02.2017
    Status:
    Opublikowana

  4. Human-like spatial reasoning formalisms

    Autorzy:
    Przemysław Wałęga
    Konferencja:
    Thirty-First AAAI Conference on Artificial Intelligence (rok: 2017, strony: 5054–5055), Wydawca: AAAI
    Data:
    konferencja 4-9.02.2017
    Status:
    Opublikowana

  5. 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, strony: 7), Wydawca: Australian National University
    Data:
    konferencja 20 sierpnia 2014
    Status:
    Opublikowana
    DOI:
    link do publikacji

  6. 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, strony: 148--157), Wydawca: ACM
    Data:
    konferencja 5-6 grudnia 2013
    Status:
    Opublikowana

  7. 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, strony: 58), Wydawca: Vienna University of Technology and Kurt Godel Society
    Data:
    konferencja 18 lipiec 2014
    Status:
    Opublikowana

  8. 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, strony: 296-308), Wydawca: Białystok University of Technology
    Data:
    konferencja 25-27 września 2013
    Status:
    Opublikowana

  9. 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, strony: 18-30), Wydawca: KRR 2013
    Data:
    konferencja 25 sierpnia 2013
    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, strony: 46030), Wydawca: Qualitative Reasoning Group, Northwestern University
    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, strony: 46024), Wydawca: AAAI Press / International Joint Conferences on Artificial Intelligence
    Status:
    Przyjęta do publikacji

Publikacje książkowe (18)

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

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

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

  4. 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: 46160), Wydawca: Université Paul Sabatier, Institut de Recherche en Informatique de Toulouse
    Status:
    Opublikowana

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

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

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

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

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

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

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

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

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

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

  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ęta do publikacji

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

  17. Automatyczne systemy przetwarzania informacji – paradygmat logiczny

    Autorzy:
    Joanna Golińska-Pilarek
    Książka:
    Różne oblicza informacji (rok: 2017, strony: 46038), Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
    Status:
    Przyjęta do publikacji

  18. 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, strony: 46042), Wydawca: LIPIcs-Leibniz International Proceedings in Informatics
    Status:
    Przyjęta do publikacji

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski