Author of the publication

A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.

, , , , and . ICTAI, page 445-452. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning., , and . TIME, volume 147 of LIPIcs, page 14:1-14:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks., , and . IJCAI, page 1202-1208. IJCAI/AAAI Press, (2016)Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks., , , , and . AIMSA, volume 9883 of Lecture Notes in Computer Science, page 247-258. Springer, (2016)On Redundancy in Linked Geospatial Data., , and . LDQ@ESWC, volume 1376 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning., , and . Inf. Comput., (2021)Exploring Directional Path-Consistency for Solving Constraint Networks., , and . Comput. J., 61 (9): 1338-1350 (2018)Neuro-Symbolic Spatio-Temporal Reasoning., , , , , and . Compendium of Neurosymbolic Artificial Intelligence, volume 369 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2023)Architecture for the heterogeneous federation of Future Internet experimentation facilities., , , , , , , , , and 7 other author(s). Future Network & Mobile Summit, page 1-11. IEEE, (2013)Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks.. TIME, volume 278 of LIPIcs, page 12:1-12:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks., , , , and . ICTAI, page 445-452. IEEE Computer Society, (2015)