Automated reasoning with a constraint-based metainterpreter

DOI10.1016/S0743-1066(98)10009-2zbMath0920.68098OpenAlexW2041726556MaRDI QIDQ4245942

Henning Christiansen

Publication date: 31 May 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10009-2

zbMATH Keywords

automated reasoningmetainterpreter

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (3)

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic

This page was built for publication: Automated reasoning with a constraint-based metainterpreter