On prime scenarios in qualitative spatial and temporal reasoning. (English) Zbl 07922688
MSC:
68Qxx
Found 34 Documents (Results 1–34)
On the commutative diagrams among Galois connections involved in closure structures. (English) Zbl 07786581
Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 49-63 (2023).
Computational complexity of hybrid interval temporal logics. (English) Zbl 1512.03029
Reviewer: Giacomo Lenzi (Fisciano)
Fuzzy closure relations. (English) Zbl 1522.06025
Characterization of the infimum of classes induced by an attribute reduction in FCA. (English) Zbl 1471.68275
Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 73-79 (2022).
MSC:
68T30
Dynamic branching in qualitative constraint-based reasoning via counting local models. (English) Zbl 1518.68352
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. (English) Zbl 1518.68351
Dynamic branching in qualitative constraint networks via counting local models. (English) Zbl 07760482
Muñoz-Velasco, Emilio (ed.) et al., 27th international symposium on temporal representation and reasoning. TIME 2020, September 23–25, 2020, Bozen-Bolzano, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 178, Article 12, 15 p. (2020).
MSC:
68-XX
Signed dual tableaux for Kleene answer set programs. (English) Zbl 07908128
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 233-252 (2018).
Dual tableau-based decision procedures for fragments of the logic of binary relations. (English) Zbl 07908126
Golińska-Pilarek, Joanna (ed.) et al., Ewa Orłowska on relational methods in logic and computer science. Cham: Springer. Outst. Contrib. Log. 17, 169-202 (2018).
Extracting interval temporal logic rules: a first approach. (English) Zbl 1487.68192
Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 7, 15 p. (2018).
On sub-propositional fragments of modal logic. (English) Zbl 1453.03016
MSC:
03B45
Computational complexity of a hybridized Horn fragment of Halpern-Shoham logic. (English) Zbl 1485.03044
Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 224-238 (2017).
A multimodal logic for closeness. (English) Zbl 1398.03087
MSC:
03B45
On the expressive power of sub-propositional fragments of modal logic. (English) Zbl 1478.03034
Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 91-104 (2016).
MSC:
03B45
Tableau reductions: towards an optimal decision procedure for the modal necessity. (English) Zbl 1436.03132
A logic framework for reasoning with movement based on fuzzy qualitative representation. (English) Zbl 1315.68241
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. (English) Zbl 1317.03017
Reviewer: Nail Zamov (Kazan)
On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility. (English) Zbl 1361.68230
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 255-266 (2012).
On the existence and unicity of stable models in normal residuated logic programs. (English) Zbl 1238.68045
Implementing a relational theorem prover for modal logic K. (English) Zbl 1229.03019
MSC:
03B45
68T15
A PDL approach for qualitative velocity. (English) Zbl 1214.68380
MSC:
68T27
Filter Results by …
Document Type
- Journal Articles (25)
- Collection Articles (9)
all
top 5
Author
- Muñoz-Velasco, Emilio (17)
- Burrieza, Alfredo (6)
- Ojeda-Aciego, Manuel (6)
- Sciavicco, Guido (5)
- Cabrera, Inma P. (4)
- Cordero, Pablo (4)
- Golińska-Pilarek, Joanna (4)
- Sioutis, Michael (4)
- Bresolin, Davide (3)
- Pérez de Guzmán, Inmaculada (3)
- Ojeda-Hernández, Manuel (3)
- Madrid, Nicolás (2)
- Mora, Angel (2)
- Stan, Ionel Eduard (2)
- Wolter, Diedrich (2)
- Aragón, Roberto G. (1)
- Balbiani, Philippe (1)
- Cantone, Domenico (1)
- Chlebowski, Szymon (1)
- Cominato, Enrico (1)
- Conradie, Willem (1)
- De Baets, Bernard (1)
- Della Monica, Dario (1)
- Doherty, Patrick (1)
- Fortes, Inmaculada (1)
- Gnani, Simone (1)
- Huuskonen, Taneli (1)
- Ignaszak, Mateusz (1)
- Janhunen, Tomi (1)
- Leszczyńska-Jasion, Dorota (1)
- Medina, Jesús (1)
- Nicolosi Asmundo, Marianna (1)
- Paparrizou, Anastasia (1)
- Pelegrín, Mercedes (1)
- Ramírez-Poussa, Eloisa (1)
- Sala, Pietro (1)
- Salhi, Yakoub (1)
- Szałas, Andrzej (1)
- Wałęga, Przemysław Andrzej (1)
- Zawidzki, Michał (1)
all
top 5
Serial
- Inf. Comput. (4)
- Fuzzy Sets Syst. (3)
- Int. J. Comput. Math. (3)
- Math. Methods Appl. Sci. (2)
- Ann. Pure Appl. Logic (2)
- Math. Log. Q. (2)
- J. Appl. Log. (2)
- Artif. Intell. (1)
- Stud. Log. (1)
- Theor. Comput. Sci. (1)
- Int. J. Approx. Reasoning (1)
- J. Appl. Non-Class. Log. (1)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (1)
- Log. Methods Comput. Sci. (1)
