Results 271 to 280 of about 484,155 (286)

Logic and logic programming

Communications of the ACM, 1992
openaire   +1 more source

Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming

Studia Logica, 2009
Martin Wa Caminada
exaly  

Logic Programming

1994
M. S. Dawe, C. M. Dawe
openaire   +1 more source

Logic programming and compiler writing

Software - Practice and Experience, 1980
exaly  

Logic Programming

1985
Isaac Balbin, Koenraad Lecot
openaire   +1 more source

Logic Programming

2014
openaire   +2 more sources

Maude: specification and programming in rewriting logic

Theoretical Computer Science, 2002
exaly  

Logic Programming

2003
Thom Frühwirth, Slim Abdennadher
openaire   +1 more source

Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic Programming

INFORMS Journal on Computing, 1998
exaly  

Logic Programming

1997
openaire   +1 more source