Language: English

圖資館首頁

Login

Jump To : Overview Titles Subjects

Logic in AI.

Overview

Works:	115 works in 115 publications in 115 languages

Titles

Tools and algorithms for the construction and analysis of systems25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part II / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (Electronic resources)

Representation theorems in computer sciencea treatment in logic engineering / by: (Electronic resources)

Language, logic, and computation12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers / by: (Electronic resources)

Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II / by: (Electronic resources)

Developments in language theory23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings / by: (Electronic resources)

Formal grammar24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings / by: (Electronic resources)

Formal methods teachingthird International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings / by: (Electronic resources)

Fundamentals of software engineering8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (Electronic resources)

Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings / by: (Electronic resources)

Show more

Subjects

Mathematical Logic and Formal Languages.

Theory of Computation.

Software Engineering.

Computer logic.

Data structures (Computer science)

Natural Language Processing (NLP)

Software engineering

Signal, Image and Speech Processing.

Image Processing and Computer Vision.

Mathematical Logic and Foundations.

Artificial intelligence

Input/Output and Data Communications.

Computer security.

User interfaces (Computer systems)

Communications Engineering, Networks.

Algebraic logic

Law

Logic.

Information visualization.

Computer Vision.

Data Structures and Information Theory.

Declarative programming

Chatbots

Philosophy of Technology.

Digital Humanities.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Computer algorithms

Electronic data processing

Systems engineering

Computational complexity.

Logic, Symbolic and mathematical.

Knowledge representation (Information theory)

Information Systems and Communication Service.

Computational intelligence.

Signal processing.

Computers, Pipeline.

Mathematics of Computing.

Natural language processing (Computer science)

Online chat groups

Calculus.

Business and Management.

Computer and Information Systems Applications.

Programming Language.

Emotion.

Computer software

Algorithm Analysis and Problem Complexity.

Computer simulation.

Database Management.

Mathematical linguistics

Programming Techniques.

Control Structures and Microprogramming.

Information Systems Applications (incl. Internet)

Data Structures.

Computer systems

Legislative and Executive Politics.

Robotics.

Engineering Mathematics.

Logic programming

Machine translating.

Logic

Cyber-physical systems, IoT.

Business

Control and Systems Theory.

Description logics.

Ethics of Technology.

Information Storage and Retrieval.

Programming languages (Electronic computers)

Software engineering.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer programming

Special Purpose and Application-Based Systems.

Knowledge based Systems.

Computer Appl. in Administrative Data Processing.

Neural networks (Computer science)

User Interfaces and Human Computer Interaction.

Multiprocessors.

Graph algorithms.

Computer Science Logic and Foundations of Programming.

Philosophy of Law.

Declarative programming languages

Instant messaging

Computer Application in Social and Behavioral Sciences.

Numeric Computing.

Data Mining and Knowledge Discovery.

Formal languages

Mathematical and Computational Engineering.

Database management.

Internet

Computational Intelligence.

Multiprogramming (Electronic computers)

Rule-based programming

Language and logic

Big Data.

Legal Aspects of Computing.

Computer vision.

Computer Engineering and Networks.

Coding and Information Theory.

Computer simulation

Database Management System.

Discrimination.

Business Analytics.

Governance and Government.

The Computing Profession.

Computer programs

Computer science

Machine Learning.

Big data.

Business Information Systems.

Combinatorial analysis

Word problems (Mathematics)

Computer Imaging, Vision, Pattern Recognition and Graphics.

Grammar, Comparative and general

Machine learning

Wireless communication systems.

Artificial Intelligence.

Relation algebras

Formal Languages and Automata Theory.

Propositional calculus.

System Performance and Evaluation.

Spatial systems.

Computational linguistics

Probability and Statistics in Computer Science.

Computer science.

Simulation and Modeling.

Computer Systems Organization and Communication Networks.

Computer Communication Networks.

Machine learning.

Discrete Mathematics in Computer Science.

Computer System Implementation.

Application software.

Logic, Symbolic and mathematical

Computer Appl. in Social and Behavioral Sciences.

Systems and Data Security.

Mathematical Modeling and Industrial Mathematics.

Office practice

Knowledge Based Systems.

Decidability (Mathematical logic)

Design and Analysis of Algorithms.

Computer Hardware.

Application software

Computer networks

Computer Science.

Natural Language Processing (NLP).

System analysis

Information theory.

Artificial intelligence.

Computer network architectures.

Mathematical Models of Cognitive Processes and Neural Networks.

Computer Applications.

Robotics

Internet of things.

Computers and Education.

Computer software.

Business Strategy and Leadership.

Theories of Law, Philosophy of Law, Legal History.

Temporal automata

Compilers and Interpreters.

Human-computer interaction

Computer Application in Administrative Data Processing.

Change password

Login