Declarative Logic Programming: Theory, Systems, and Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781970001990

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Index

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191327 ◽

2018 ◽

pp. 548-587

Download Full-text

Logic programming applications: what are the abstractions and implementations?

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191326 ◽

2018 ◽

pp. 519-548 ◽

Cited By ~ 1

Author(s):

Yanhong A. Liu

Keyword(s):

Logic Programming

Download Full-text

Preface

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191316 ◽

2018 ◽

pp. xvii-xx

Author(s):

Michael Kifer ◽

Yanhong Annie Liu

Download Full-text

WAM for everyone: a virtual machine for logic programming

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191320 ◽

2018 ◽

pp. 237-277

Author(s):

David S. Warren

Keyword(s):

Logic Programming ◽

Virtual Machine

Download Full-text

Natural language processing with (tabled and constraint) logic programming

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191325 ◽

2018 ◽

pp. 477-511

Author(s):

Henning Christiansen ◽

Veronica Dahl

Keyword(s):

Natural Language Processing ◽

Natural Language ◽

Logic Programming ◽

Language Processing ◽

Constraint Logic Programming

Download Full-text

A survey of probabilistic logic programming

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191319 ◽

2018 ◽

pp. 185-228

Author(s):

Fabrizio Riguzzi ◽

Theresa Swift

Keyword(s):

Logic Programming ◽

Probabilistic Logic ◽

Probabilistic Logic Programming

Download Full-text

State-space search with tabled logic programs

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191324 ◽

2018 ◽

pp. 427-472

Author(s):

C. R. Ramakrishnan

Keyword(s):

State Space ◽

Logic Programs ◽

State Space Search ◽

Tabled Logic Programs

Download Full-text

SolverBlox: algebraic modeling in datalog

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191322 ◽

2018 ◽

pp. 331-354

Author(s):

Conrado Borraz-Sanchez ◽

Diego Klabjan ◽

Emir Pasalic ◽

Molham Aref

Download Full-text

An introduction to the stable and well-founded semantics of logic programs

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191318 ◽

2018 ◽

pp. 121-177 ◽

Cited By ~ 2

Author(s):

Miroslaw Truszczynski

Keyword(s):

Logic Programs ◽

Semantics Of Logic Programs

Download Full-text

Datalog: concepts, history, and outlook

Declarative Logic Programming: Theory, Systems, and Applications ◽

10.1145/3191315.3191317 ◽

2018 ◽

pp. 3-100 ◽

Cited By ~ 4

Author(s):

David Maier ◽

K. Tuncay Tekle ◽

Michael Kifer ◽

David S. Warren

Download Full-text

Declarative Logic Programming: Theory, Systems, and ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Index

Logic programming applications: what are the abstractions and implementations?

Preface

WAM for everyone: a virtual machine for logic programming

Natural language processing with (tabled and constraint) logic programming

A survey of probabilistic logic programming

State-space search with tabled logic programs

SolverBlox: algebraic modeling in datalog

An introduction to the stable and well-founded semantics of logic programs

Datalog: concepts, history, and outlook

Declarative Logic Programming: Theory, Systems, and Applications
Latest Publications