The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge...

Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world...

In artificial intelligence, symbolic artificial intelligence is the term for the collection of all methods in artificial intelligence research that are...

Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy....

history of artificial intelligence (AI) began in antiquity, with myths, stories and rumors of artificial beings endowed with intelligence or consciousness...

Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...

some programming languages have been specifically designed for artificial intelligence (AI) applications. Nowadays, many general-purpose programming languages...

Generative artificial intelligence (generative AI, GenAI, or GAI) is artificial intelligence capable of generating text, images, videos, or other data...

automated reasoning: IJCAR - International Joint Conference on Automated Reasoning LPAR - International Conference on Logic for Programming, Artificial Intelligence...

Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artificial Intelligence 77(2): 321–358 (1995)...

Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples...

Artificial general intelligence (AGI) is a type of artificial intelligence (AI) that matches or surpasses human capabilities across a wide range of cognitive...

1974 article "A Framework for Representing Knowledge". Frames are the primary data structure used in artificial intelligence frame languages; they are...

Metaheuristic Logic and automated reasoning Programming using logic Logic programming See "Logic as search" above. Forms of Logic Propositional logic First-order...

This is a timeline of artificial intelligence, sometimes alternatively called synthetic intelligence. Timeline of machine translation Timeline of machine...

Machine Learning (XML), either refers to an artificial intelligence (AI) system over which it is possible for humans to retain intellectual oversight, or...

of artificial intelligence is a branch of the philosophy of mind and the philosophy of computer science that explores artificial intelligence and its...

In artificial intelligence (AI), commonsense reasoning is a human-like ability to make presumptions about the type and essence of ordinary situations...

engineered to perform automated reasoning, and has been described as "the first artificial intelligence program". Logic Theorist proved 38 of the first...

In artificial intelligence and philosophy[verification needed], case-based reasoning (CBR), broadly construed, is the process of solving new problems...

to solve problems declaratively based on abductive reasoning. It extends normal logic programming by allowing some predicates to be incompletely defined...

declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation...

Artificial Intelligence: A Modern Approach (AIMA) is a university textbook on artificial intelligence, written by Stuart J. Russell and Peter Norvig....

Tokyo. Also in Artificial Intelligence at MIT, Vol. 2. MIT Press 1991. Hewitt, Carl (March 2006), The repeated demise of logic programming and why it will...

and Nicomachean Ethics Roman lawyers used analogical reasoning and the Greek word analogia. [citation needed] In Islamic logic, analogical reasoning was...

Artificial intelligence in healthcare is the application of artificial intelligence (AI) to copy human cognition in the analysis, presentation, and understanding...

as deduction and induction. Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems. By...

In intelligence and artificial intelligence, an intelligent agent (IA) is an agent acting in an intelligent manner. It perceives its environment, takes...

expressive than first-order logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures...

Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like...