Theory and Practice of Logic Programming

Defeasible logic programming: an argumentative approach

Alejandro Javier García, Guillermo Ricardo Simari · 2004 · 819 citations · Full text

Computing, Computer Science, Algorithms +14

<i>Dynamic Logic</i> by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

Yde Venema · 2002 · 484 citations

Humanities, Computer Science, Knowledge Representation +8

SWI-Prolog

Jan Wielemaker, Tom Schrijvers, Markus Triska et al. · 2011 · 374 citations · Full text

Computing, Computer Science, Compilers +8

Probabilistic reasoning with answer sets

Chitta Baral, Michael Gelfond, Nelson Rushton · 2009 · 256 citations

Computing, Computer Science, Knowledge Representation +16

Answer sets for consistent query answering in inconsistent databases

Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki · 2003 · 201 citations

Computing, Computer Science, Databases +16