Showing 1 - 20 results of 41 for search '"computer science - artificial intelligence"', query time: 0.58s Refine Results
  1. 1
    Controller Synthesis for Timeline-based Games

    Controller Synthesis for Timeline-based Games by Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti

    Published 2024-08-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  2. 2
    The Data Complexity of Description Logic Ontologies

    The Data Complexity of Description Logic Ontologies by Carsten Lutz, Frank Wolter

    Published 2017-11-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  3. 3
    Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

    Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features by Bartosz Bednarczyk

    Published 2024-05-01
    Subjects:
    Get full text
    Article
  4. 4
    A first-order logic characterization of safety and co-safety languages

    A first-order logic characterization of safety and co-safety languages by Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

    Published 2023-08-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  5. 5
    Learning of Structurally Unambiguous Probabilistic Grammars

    Learning of Structurally Unambiguous Probabilistic Grammars by Dana Fisman, Dolav Nitay, Michal Ziv-Ukelson

    Published 2023-02-01
    Subjects:
    Get full text
    Article
  6. 6
    A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information

    A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information by Le-Chi Tuan, Chitta Baral, Tran Cao Son

    Published 2006-10-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  7. 7
    URSA: A System for Uniform Reduction to SAT

    URSA: A System for Uniform Reduction to SAT by Predrag Janicic

    Published 2012-09-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  8. 8
    Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning

    Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning by Joerg Hoffmann, Carla Gomes, Bart Selman

    Published 2007-02-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  9. 9
    Unification in the Description Logic EL

    Unification in the Description Logic EL by Franz Baader, Barbara Morawska

    Published 2010-09-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  10. 10
    Bringing AI to edge : from deep learning's perspective

    Bringing AI to edge : from deep learning's perspective by Liu, Di, Kong, Hao, Luo, Xiangzhong, Liu, Weichen, Subramaniam, Ravi

    Published 2022
    Subjects:
    Get full text
    Journal Article
  11. 11
    Exploiting the relationship between Kendall’s rank correlation and cosine similarity for attribution protection

    Exploiting the relationship between Kendall’s rank correlation and cosine similarity for attribution protection by Wang, Fan, Kong, Adams Wai Kin

    Published 2022
    Subjects:
    Get full text
    Get full text
    Conference Paper
  12. 12
    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction by Barnaby Martin, Manuel Bodirsky, Martin Hils

    Published 2012-09-01
    Subjects:
    Get full text
    Article
  13. 13
    Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

    Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems by Alexander Semenov, Ilya Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov

    Published 2020-03-01
    Subjects:
    Get full text
    Article
  14. 14
    Boolean proportions

    Boolean proportions by Christian Antić

    Published 2024-04-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  15. 15
    Measure Transformer Semantics for Bayesian Machine Learning

    Measure Transformer Semantics for Bayesian Machine Learning by Johannes Borgström, Andrew D Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael

    Published 2013-09-01
    Subjects:
    Get full text
    Article
  16. 16
    Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction

    Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction by Hubie Chen

    Published 2014-12-01
    Subjects:
    Get full text
    Article
  17. 17
    Probabilistic Algorithmic Knowledge

    Probabilistic Algorithmic Knowledge by Joseph Y. Halpern, Riccardo Pucella

    Published 2005-12-01
    Subjects: “…computer science - artificial intelligence…”
    Get full text
    Article
  18. 18
    The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

    The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns by Martin C. Cooper, Stanislav Živný

    Published 2017-12-01
    Subjects:
    Get full text
    Article
  19. 19
    The Completeness of Propositional Resolution: A Simple and Constructive Proof

    The Completeness of Propositional Resolution: A Simple and Constructive Proof by Jean Gallier

    Published 2006-11-01
    Subjects:
    Get full text
    Article
  20. 20
    Rerunning OCR: A Machine Learning Approach to Quality Assessment and Enhancement Prediction

    Rerunning OCR: A Machine Learning Approach to Quality Assessment and Enhancement Prediction by Pit Schneider, Yves Maurer

    Published 2022-11-01
    Subjects:
    Get full text
    Article

Search Tools: