English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse
  1. Item Summary / 
  2. View item

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Neuro-Symbolic Verification of Deep Neural Networks

Xie, X., Kersting, K., & Neider, D. (2022). Neuro-Symbolic Verification of Deep Neural Networks. In L. de Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 3622-3628). IJCAI. doi:10.24963/ijcai.2022/503.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-000A-9AE8-3 Version Permalink: https://hdl.handle.net/21.11116/0000-000C-6F6D-F
Genre: Conference Paper

Files

show Files
hide Files
:
arXiv:2203.00938.pdf (Preprint), 283KB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-000A-9AEA-1
Name:
arXiv:2203.00938.pdf
Description:
File downloaded from arXiv at 2022-06-17 09:38
OA-Status:
Not specified
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Locators

show

Creators

show
hide
 Creators:
Xie, Xuan1, Author           
Kersting, Kristian2, Author
Neider, Daniel1, Author           
Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              
2External Organizations, ou_persistent22              

Content

show
hide
Free keywords: Computer Science, Artificial Intelligence, cs.AI,Computer Science, Learning, cs.LG,Computer Science, Logic in Computer Science, cs.LO
 Abstract: -

Details

show
hide
Language(s): eng - English
 Dates: 2022-03-022022
 Publication Status: Published online
 Pages: 11 p.
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: XieIJCAI22
DOI: 10.24963/ijcai.2022/503
 Degree: -

Event

show
hide
Title: Thirty-First International Joint Conference on Artificial Intelligence
Place of Event: Vienna, Austria
Start-/End Date: 2022-07-23 - 2022-07-29

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
  Abbreviation : IJCAI 2022
  Subtitle : IJCAI-22
Source Genre: Proceedings
 Creator(s):
de Raedt, Luc1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: IJCAI
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 3622 - 3628 Identifier: ISBN: 978-1-956792-00-3