Search Results - "Logic in AI."
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 7
- Artificial intelligence 6
- Logic in AI 6
- Logic programming 6
- Computer networking & communications 4
- Computer programming / software development 4
- Computer Engineering and Networks 3
- Computer engineering 3
- Computer networks 3
- Discrete mathematics 3
- Software Engineering 3
- Software engineering 3
- Business mathematics & systems 2
- Computer Science Logic and Foundations of Programming 2
- Control Structures and Microprogramming 2
- Databases 2
- Formal Languages and Automata Theory 2
- Information retrieval 2
- Machine theory 2
- Mathematical foundations 2
- Microprogramming 2
- Programming & scripting languages: general 2
- Public administration 2
- Theory of Computation 2
- Algorithms 1
- Application software 1
- Business Information Systems 1
- Business information services 1
- Coding and Information Theory 1
- Coding theory 1
-
1
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…Logic in AI.…”
Link to Metadata
Electronic eBook -
2
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Logic in AI.…”
Link to Metadata
Electronic eBook -
3
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic in AI.…”
Link to Metadata
Electronic eBook -
4
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…Logic in AI.…”
Link to Metadata
Electronic eBook -
5
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Subjects: “…Logic in AI.…”
Link to Metadata
Electronic eBook -
6
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: “…Logic in AI.…”
Link to Metadata
Electronic eBook -
7
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic in AI…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…Logic in AI…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic in AI…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
10
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…Logic in AI…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: “…Logic in AI…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: “…Logic in AI…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter