Výsledky vyhľadávania - "35th International Conference on Logic Programming"

Upresniť hľadanie
  1. 1
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Preface Autor Bogaerts, Bart, Erdem, Esra, Fodor, Paul, Formisano, Andrea, Ianni, Giovambattista, Inclezan, Daniela, Vidal, Germán, Villanueva, Alicia, Vos, Marina De, Yang, Fangkai

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Digital Forensics and Investigations Meet Artificial Intelligence Autor Costantini, Stefania, De Gasperis, Giovanni, Olivieri, Raffaele

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Towards Computing Abstract Distances in Logic Programs Autor Casso, Ignacio, Morales, José F., López-García, Pedro, Hermenegildo, Manuel V.

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  4. 4
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Strong Equivalence for LPMLN Programs Autor Luo, Man

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  5. 5
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): ASP Applications for AI and Industry Autor Leone, Nicola, Manna, Marco, Ricca, Francesco

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  6. 6
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Pre-Mappable Constraints in Recursive Programs Autor Zaniolo, Carlo, Das, Ariyam, Gu, Jiaqi, Li, Mingda, Li, Youfu, Wang, Jin

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  7. 7
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Constraint Programming for Resource Management Autor Kadioglu, Serdar

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  8. 8
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): What Logic Can Do for AI Today Autor Darwiche, Adnan

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  9. 9
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Tractable Probabilistic Circuits Autor Broeck, Guy Van den

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  10. 10
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): On Improving Unit Testing in IDEs for ASP (Extended Abstract) Autor Amendola, Giovanni, Berei, Tobias, Ricca, Francesco

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  11. 11
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Towards Dynamic Answer Set Programming over Finite Traces Autor Cabalar, Pedro, Diéguez, Martín, Schaub, Torsten

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  12. 12
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Hybrid Answer Set Programming for Design Space Exploration Autor Haubelt, Christian, Neubauer, Kai, Schaub, Torsten, Wanko, Philipp

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  13. 13
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): LP Based Integration of Computing and Science Education in Middle Schools Autor Zhang, Yuanlin, Wang, Jianlan, Bolduc, Fox, Murray, William G

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  14. 14
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract Autor Faber, Wolfgang, Morak, Michael, Woltran, Stefan

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  15. 15
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Reasoning about Problems of Actual Causation Using an Action Language Approach Autor LeBlanc, Emily, Balduccini, Marcello, Vennekens, Joost

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  16. 16
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Knowledge Representation and Reasoning Issues in Natural Language Question Answering Autor Baral, Chitta

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  17. 17
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning Autor Lyu, Daoming, Yang, Fangkai, Liu, Bo, Gustafson, Steven

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  18. 18
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Founded Semantics and Constraint Semantics of Logic Rules: An Overview Autor Liu, Yanhong A., Stoller, Scott D.

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  19. 19
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics Autor Zangari, Jessica, Calimeri, Francesco, Perri, Simona

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  20. 20
    Obálka

    Proceedings 35th International Conference on Logic Programming (Technical Communications): Towards a General Framework for Static Cost Analysis of Parallel Logic Programs Autor Klemen, Maximiliano, López-García, Pedro, Gallagher, John P., Morales, José F., Hermenegildo, Manuel V.

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 19.09.2019
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: