Login / Signup
Introduction to the Special Issue on Verification and Computational Logic.
Michael Leuschel
Andreas Podelski
C. R. Ramakrishnan
Ulrich Ultes-Nitsche
Published in:
Theory Pract. Log. Program. (2004)
Keyphrases
</>
computational logic
logic programming
multi agent systems
management science
early days
inductive logic programming
artificial intelligence
program synthesis
information management
agent technology
cooperative
multi objective
graphical models
first order logic