Keyword

logic programming

Description: A programming paradigm in which programs express facts and rules in formal logic and computation proceeds through logical inference.

Primary topic: Logic, programming, and type systems (31%)

Wikidata ID: wiki/Q275603

OpenAlex ID: keywords/logic-programming

Petri nets: Properties, analysis and applications

1989 · T. Murata · Proceedings of the IEEE · 10,617

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

1995 · Phan Minh Dung · Artificial Intelligence · 4,277

Foundations of Logic Programming

1984 · John Wylie Lloyd · Springer eBooks · 4,128

A Machine-Oriented Logic Based on the Resolution Principle

1965 · J. A. Robinson · Journal of the ACM · 3,915

PDF

The stable model semantics for logic programming

1988 · Michael Gelfond, Vladimir Lifschitz · 3,453

Foundations of Logic Programming

1987 · John Wylie Lloyd · Springer eBooks · 2,736

Programming in Prolog

1984 · William F. Clocksin, Christopher S. Mellish · Springer eBooks · 2,047

A Logic-based Calculus of Events

1986 · Robert Kowalski, Marek Sergot · New Generation Computing · 1,700

Logic Programming

1992 · Krzysztof R. Apt · 1,678

Constraint logic programming

1987 · J. Jaffar, J.-L. Lassez · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 1,612

Foundations of logic programming; (2nd extended ed.)

1987 · John W. Lloyd · Springer eBooks · 1,501

The Semantics of Predicate Logic as a Programming Language

1976 · M. H. Van Emden, R. A. Kowalski · Journal of the ACM · 1,450

PDF

Knowledge Representation, Reasoning and Declarative Problem Solving

2003 · Chitta Baral · Cambridge University Press eBooks · 1,414

Constraint logic programming: a survey

1994 · Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1,319

Logic for problem solving

1982 · Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1,213

Constraint satisfaction in logic programming

1989 · Pascal Van Hentenryck · Medical Entomology and Zoology · 1,208

The Art of Prolog

1987 · Leon Sterling, Ehud Shapiro, et al. · IEEE Expert · 1,099

Algorithmic Program Debugging

1983 · Ehud Y. Shapiro · The MIT Press eBooks · 1,075

Prolog programming for artificial intelligence

1986 · Computer-Aided Design · 1,074

Concepts and experiments in computational reflection

1987 · Pattie Maes · Conference on Object-Oriented Programming Systems, Languages, and Applications · 1,003

Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks

1980 · Fernando C.N. Pereira, David H.D. Warren · Artificial Intelligence · 978

Foundations of Deductive Databases and Logic Programming

1988 · Elsevier eBooks · 974

Answer set programming at a glance

2011 · Gerhard Brewka, Thomas Eiter, et al. · Communications of the ACM · 945

Model Theory

1993 · Wilfrid Hodges · Cambridge University Press eBooks · 938

A computational logic

1979 · Robert S. Boyer, J. Strother Moore · 899

Works count: 20,250

Citation count: 220,300