scientific article; zbMATH DE number 788038

zbMath0850.68138MaRDI QIDQ4844168

Patricia M. Hill, John W. Lloyd

Publication date: 21 August 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (27)

Bounded quantifications for iteration and concurrency in logic programming ⋮ Implementing constructive intensional negation ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Automated reasoning with restricted intensional sets ⋮ Verification of logic programs with delay declarations ⋮ Higher-order narrowing with convergent systems ⋮ VeriFly: On-the-fly Assertion Checking via Incrementality ⋮ Fifty Years of Prolog and Beyond ⋮ Data type inference for logic programming ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Fast offline partial evaluation of logic programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coding guidelines for Prolog ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ Agenda control for heterogeneous reasoners ⋮ \(\exists\)-Universal termination of logic programs ⋮ Reasoning about nonlinear system identification ⋮ A semantics for modular general logic programs ⋮ Functional-logic integration via minimal reciprocal extensions ⋮ Towards Typed Prolog ⋮ Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators ⋮ A Framework for Timed Concurrent Constraint Programming with External Functions ⋮ Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals ⋮ Reflection in conditional rewriting logic ⋮ Proving correctness of Constraint Logic Programs with dynamic scheduling

This page was built for publication: