登入

跳至 : 概要書目資訊主題

Logic programming.

概要

作品:	49 作品在 12 項出版品 12 種語言

書目資訊

From logic to logic programming / by: (書目-語言資料,印刷品)

Probabilistic Inductive Logic Programming = Theory and Applications / by: (書目-語言資料,印刷品)

Logical and relational learning by: (書目-語言資料,印刷品)

Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Logic Programming with Prolog by: (書目-語言資料,印刷品)

Logic for computer scientists by: (書目-語言資料,印刷品)

Mathematical aspects of logic programming semantics / by: (書目-語言資料,印刷品)

Uncertainty treatment using paraconsistent logic = introducing paraconsistent artificial neural networks / by: (書目-語言資料,印刷品)

Programming logics = essays in memory of Harald Ganzinger / by: (書目-語言資料,印刷品)

Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Subjects

Information Systems Applications (incl.Internet)

Economics/Management Science.

Application software.

e-Commerce/e-business.

Business and Management.

Law—Philosophy.

Mathematical Modeling and Industrial Mathematics.

Data Structures and Information Theory.

Algorithm Analysis and Problem Complexity.

Knowledge Based Systems.

Microprogramming .

Integer programming.

Inference.

Logic programming.

Computer systems.

Business.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computation by Abstract Devices.

Computer science—Mathematics.

Programming Techniques.

Mathematical Logic and Formal Languages.

Computational Intelligence.

Engineering.

Natural Language Processing (NLP).

Compilers (Computer programs).

Programming Language.

Computer Engineering and Networks.

Logic, Symbolic and mathematical.

Control Structures and Microprogramming.

Law—History.

Industrial and Production Engineering.

Programming languages (Electronic computers).

Data Mining and Knowledge Discovery.

Computer System Implementation.

Semantic computing.

Theory of Computation.

Fuzzy logic.

Logics and Meanings of Programs.

Design and Analysis of Algorithms.

Coding theory.

Management.

Leadership.

Mathematical models.

Formal Languages and Automata Theory.

Natural language processing (Computer science).

Optimization.

Database management.

Quantum Computing.

Operations Research/Decision Theory.

Computer science.

Strategic planning.

Computer Application in Social and Behavioral Sciences.

Quantum computers.

Artificial Intelligence (incl. Robotics)

Artificial Intelligence.

Social sciences—Data processing.

Programming Languages, Compilers, Interpreters.

Neural networks (Computer science)

Nonmonotonic reasoning.

Operation Research/Decision Theory.

Inconsistency (Logic)

Expert systems (Computer science).

Control engineering.

Computer Communication Networks.

Software engineering.

Machine learning.

Mathematical Logic and Foundations.

Information Systems Applications (incl. Internet)

Prolog (Computer program language)

Control and Systems Theory.

Computer networks .

Computers, Special purpose.

Relational databases.

Mathematics of Computing.

Data structures (Computer science).

Theories of Law, Philosophy of Law, Legal History.

Computer Vision.

Big Data.

Special Purpose and Application-Based Systems.

Uncertainty (Information theory)

Computer engineering.

Computer programming.

Logic.

Electronic Circuits and Devices.

Information technology—Management.

Robotics.

Software Engineering.

Stochastic processes.

Information theory.

Compilers and Interpreters.

Data mining.

Computer Application in Administrative Data Processing.

Logic design.

Computational Biology/Bioinformatics.

Artificial intelligence.

Logic Design.

Philosophy of Law.

Algorithms.

Computer and Information Systems Applications.

Electrical Engineering.

Business Strategy and Leadership.

Machine theory.

Database Management.

Semantic Web.

Computer logic.

Coding and Information Theory.

Computer Science.

Computer vision.

Management science.

Computers—Law and legislation.

Programming languages (Electronic computers)

Computer Science Logic and Foundations of Programming.

Mathematical logic.

Information technology—Law and legislation.

Reversible computing.

Constraint programming (Computer science)

Information Storage and Retrieval.

Logic in AI.

Legal Aspects of Computing.

Machine Learning.

Simulation and Modeling.

Operations Research, Mathematical Programming.

Big data.