Language: English

Login

Jump To : Overview Titles Subjects

Logic in AI.

Overview

Works:	112 works in 31 publications in 31 languages

Titles

Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings / by: (Language materials, printed)

Verified software = theories, tools and experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024 : revised selected papers / by: (Language materials, printed)

The connectives in logic and language = 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024 : revised selected papers / by: (Language materials, printed)

Machine learning and soft computing = 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, revised selected papers.. Part I / by: (Language materials, printed)

Chatbots and human-centered AI = 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024 : revised selected papers / by: (Language materials, printed)

Human and artificial rationalities = advances in cognition, computation, and consciousness : third International Conference, HAR 2024, Paris, France, September 17-20, 2024 : proceedings / by: (Language materials, printed)

Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II / by: (Language materials, printed)

Formal methods = foundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings / by: (Language materials, printed)

Show more

Subjects

Knowledge representation (Information theory) .

Image Processing and Computer Vision.

Numerical analysis.

Computer Communication Networks.

Software engineering.

Machine learning.

Signal processing.

Computer science

Mathematical Logic and Foundations.

Application software.

Formal languages

Decidability (Mathematical logic)

Application software

Internet of things.

Embedded computer systems.

Business and Management.

Computers.

Language and logic

Control and Systems Theory.

Law—Philosophy.

Mathematical Modeling and Industrial Mathematics.

Data Structures and Information Theory.

Algorithm Analysis and Problem Complexity.

Computer networks .

Knowledge Based Systems.

System Performance and Evaluation.

Computers, Special purpose.

Algebraic logic

Computational linguistics

Data Structures.

Information Systems Applications (incl. Internet).

Data structures (Computer science).

Mathematics of Computing.

Microprogramming .

Theories of Law, Philosophy of Law, Legal History.

Computer Vision.

Probability and Statistics in Computer Science.

Computer communication systems.

Big Data.

Logic programming.

Special Purpose and Application-Based Systems.

Computer systems.

Electronic data processing

Business.

Numeric Computing.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer software

Mathematical linguistics

Input-output equipment (Computers).

Mathematical logic.

Computer science—Mathematics.

Computer organization.

Computer engineering.

Computer Application in Social and Behavioral Sciences.

Formal methods (Computer science)

Systems and Data Security.

Computers and Education.

Education—Data processing.

Rule-based programming

Computer Appl. in Administrative Data Processing.

Legislative bodies.

Computer programming.

Programming Techniques.

Information technology—Law and legislation.

Computer network architectures.

Computer Systems Organization and Communication Networks.

Logic.

Mathematical Logic and Formal Languages.

Speech processing systems.

Legislative and Executive Politics.

Artificial intelligence

User interfaces (Computer systems).

Information storage and retrieval.

Artificial Intelligence.

Information technology—Management.

Social sciences—Data processing.

Computational Intelligence.

Computer Applications.

Computer simulation

Natural Language Processing (NLP).

Robotics.

Logic

Information Storage and Retrieval.

Business Information Systems.

Software engineering

Calculus.

Programming Languages, Compilers, Interpreters.

System analysis

Image processing.

Compilers (Computer programs).

Applied mathematics.

Mathematical and Computational Engineering.

Computer algorithms

Software Engineering.

Spatial systems.

Software Engineering/Programming and Operating Systems.

Information theory.

Data structures (Computer science)

Communications Engineering, Networks.

Programming Language.

The Computing Profession.

Compilers and Interpreters.

Nanotechnology.

Logic programming

Chatbots

Computational intelligence.

Computer Engineering and Networks.

Temporal automata

Machine learning

Mathematical statistics.

Information Systems and Communication Service.

Expert systems (Computer science).

Legal Aspects of Computing.

Machine Learning.

Control Structures and Microprogramming.

Simulation and Modeling.

Control engineering.

Computer systems

Computer system failures.

Computer Application in Administrative Data Processing.

Natural Language Processing (NLP)

Optical data processing.

User Interfaces and Human Computer Interaction.

Big data.

Input/Output and Data Communications.

Computer Hardware.

Programming languages (Electronic computers).

Data Mining and Knowledge Discovery.

Nanotechnology and Microengineering.

Computer System Implementation.

Artificial intelligence.

Electrical engineering.

Theory of Computation.

Computer programs

Philosophy of Law.

Logics and Meanings of Programs.

Computer and Information Systems Applications.

Description logics.

Business Strategy and Leadership.

Computer Appl. in Social and Behavioral Sciences.

Design and Analysis of Algorithms.

Cyber-physical systems, IoT.

Machine theory.

Mathematical models.

Database Management.

Human-computer interaction

Computer logic.

Knowledge based Systems.

Neural networks (Computer science) .

Signal, Image and Speech Processing.

Formal Languages and Automata Theory.

Coding and Information Theory.

Database Management System.

Natural language processing (Computer science).

Architecture, Computer.

Computer Science.

Computer simulation.

Special purpose computers.

Computer vision.

Management science.

Database management.

Computers—Law and legislation.

Engineering mathematics.

Mathematical Models of Cognitive Processes and Neural Networks.

Computer science.

Engineering Mathematics.

Strategic planning.

Management information systems.

Relation algebras

Programming languages (Electronic computers)

Discrete Mathematics in Computer Science.

Computer security.

Computer Science Logic and Foundations of Programming.

Change password

Login