C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Specifying Prolog trace models with a continuation semantics.
Erwan Jahier
Mireille Ducassé
Olivier Ridoux
Published in:
LOPSTR (2000)
Keyphrases
</>
logic programming
xml documents
prior knowledge
knowledge representation
programming language
mathematical models
real time
neural network
information systems
domain knowledge
complex systems
statistical model
statistical models
inference engine
formal semantics
logic programming language