Showing 1 - 20 results of 29 for search 'IJCAI', query time: 0.06s Refine Results
  1. 1
    Ontology reasoning with deep neural networks (extended abstract)

    Ontology reasoning with deep neural networks (extended abstract) by Hohenecker, P, Lukasiewicz, T

    Published 2020
    “…IJCAI…”
    Conference item
  2. 2
    Temporal datalog with existential quantification

    Temporal datalog with existential quantification by Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA

    Published 2023
    “…IJCAI…”
    Conference item
  3. 3
    Most probable explanations for probabilistic database queries

    Most probable explanations for probabilistic database queries by Ceylan, I, Borgwardt, S, Lukasiewicz, T

    Published 2017
    “…IJCAI…”
    Conference item
  4. 4
    Reformulating queries: theory and practice

    Reformulating queries: theory and practice by Benedikt, M, Kostylev, E, Mogavero, F, Tsamoura, E

    Published 2017
    “…IJCAI…”
    Conference item
  5. 5
    Probabilistic strategy logic

    Probabilistic strategy logic by Aminof, B, Kwiatkowska, M, Maubert, B, Murano, A, Rubin, S

    Published 2019
    “…IJCAI…”
    Conference item
  6. 6
    The condorcet principle for multiwinner elections: from shortlisting to proportionality

    The condorcet principle for multiwinner elections: from shortlisting to proportionality by Aziz, H, Elkind, E, Faliszewski, P, Lackner, M, Skowron, P

    Published 2017
    “…IJCAI…”
    Conference item
  7. 7
    Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees

    Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees by Shao, D, Kwiatkowska, M

    Published 2023
    “…IJCAI…”
    Conference item
  8. 8
    Explanations for negative query answers under existential rules

    Explanations for negative query answers under existential rules by Ceylan, I, Lukasiewicz, T, Malizia, E, Molinaro, C, Vaicenavicius, A

    Published 2020
    “…IJCAI Organization…”
    Conference item
  9. 9
    Efficient Rule-Based Inferencing for OWL EL.

    Efficient Rule-Based Inferencing for OWL EL. by Krötzsch, M

    Published 2011
    “…IJCAI/AAAI…”
    Conference item
  10. 10
    Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics.

    Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. by Abramsky, S, Gottlob, G, Kolaitis, P

    Published 2013
    “…IJCAI/AAAI…”
    Conference item
  11. 11
    Finitely materialisable Datalog programs with metric temporal operators

    Finitely materialisable Datalog programs with metric temporal operators by Wałęga, PA, Zawidzki, M, Cuenca Grau, B

    Published 2021
    “…IJCAI Organization…”
    Conference item
  12. 12
    IJCAI 2011‚ Proceedings of the 22nd International Joint Conference on Artificial Intelligence‚ Barcelona‚ Catalonia‚ Spain‚ July 16−22‚ 2011

    IJCAI 2011‚ Proceedings of the 22nd International Joint Conference on Artificial Intelligence‚ Barcelona‚ Catalonia‚ Spain‚ July 16−22‚ 2011

    Published 2011
    “…IJCAI/AAAI…”
    Conference item
  13. 13
    DatalogMTL with negation under stable models semantics

    DatalogMTL with negation under stable models semantics by Wałęga, PA, Tena Cucala, DJ, Kostylev, EV, Cuenca Grau, B

    Published 2021
    “…IJCAI Organization…”
    Conference item
  14. 14
    Reasoning-Supported Interactive Revision of Knowledge Bases.

    Reasoning-Supported Interactive Revision of Knowledge Bases. by Nikitina, N, Rudolph, S, Glimm, B

    Published 2011
    “…IJCAI/AAAI…”
    Conference item
  15. 15
    On the correspondence between monotonic max-sum GNNs and Datalog

    On the correspondence between monotonic max-sum GNNs and Datalog by Tena Cucala, D, Cuenca Grau, B, Motik, B, Kostylev, EV

    Published 2023
    “…IJCAI Organization…”
    Conference item
  16. 16
    Faithful approaches to rule learning

    Faithful approaches to rule learning by Tena Cucala, DJ, Cuenca Grau, B, Motik, B

    Published 2022
    “…IJCAI Organization…”
    Conference item
  17. 17
    IJCAI 2013‚ Proceedings of the 23rd International Joint Conference on Artificial Intelligence‚ Beijing‚ China‚ August 3−9‚ 2013

    IJCAI 2013‚ Proceedings of the 23rd International Joint Conference on Artificial Intelligence‚ Beijing‚ China‚ August 3−9‚ 2013

    Published 2013
    “…IJCAI/AAAI…”
    Conference item
  18. 18
    Monotone rewritability and the analysis of queries, views, and rules

    Monotone rewritability and the analysis of queries, views, and rules by Benedikt, M, Kikot, S, Marti, J, Nawelaja-Ostropolski, P

    Published 2024
    “…IJCAI Organization…”
    Conference item
  19. 19
    Externalities in Cake Cutting

    Externalities in Cake Cutting by Brânzei, S, Procaccia, A, Zhang, J

    Published 2013
    “…IJCAI/AAAI…”
    Conference item
  20. 20
    Incentive Engineering for Boolean Games.

    Incentive Engineering for Boolean Games. by Endriss, U, Kraus, S, Lang, J, Wooldridge, M

    Published 2011
    “…IJCAI/AAAI…”
    Journal article

Search Tools: