The following pages link to M. Martelli (Q198014):
Displaying 24 items.
- Strict completion of logic programs (Q751309) (← links)
- (Q913529) (redirect page) (← links)
- Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions (Q1101250) (← links)
- A new SLDNF-tree (Q1199935) (← links)
- A model-theoretic reconstruction of the operational semantics of logic programs (Q1803658) (← links)
- Negation as instantiation (Q1898466) (← links)
- (Q2763695) (← links)
- Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent (Q3187013) (← links)
- (Q3201746) (← links)
- RECOGNIZING NON-FLOUNDERING LOGIC PROGRAMS AND GOALS (Q3348389) (← links)
- Integrity constraints in logic databases (Q3706527) (← links)
- (Q3727360) (← links)
- (Q3957929) (← links)
- The s-semantics approach: Theory and applications (Q4305626) (← links)
- An effective fixpoint semantics for linear logic programs (Q4452612) (← links)
- (Q4473083) (← links)
- Model checking linear logic specifications (Q4669651) (← links)
- Logic-based specification languages for intelligent software agents (Q4819010) (← links)
- On the Relations between Disjunctive and Linear Logic Programming (Q4923519) (← links)
- Object calculi in linear logic (Q4952027) (← links)
- Proofs as computations in linear logic (Q5941199) (← links)
- Global attractivity and forward neural networks (Q5961680) (← links)
