Amanote Research

Amanote Research

    RegisterSign In

Complexity of Nonrecursive Logic Programs With Complex Values

doi 10.1145/275487.275515
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1998

Authors
Sergei VorobyovAndrie Voronkov
Publisher

ACM Press


Related search

Logic Programs With Functions and Default Values

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Lower-Bound Time-Complexity Analysis of Logic Programs

1997English

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

On the Equivalence of Recursive and Nonrecursive Datalog Programs

1992English

Logic Programs With Refutation Rules

1994English

Optimization of Logic Programs With Dynamic Scheduling

1997English

Termination of Logic Programs With Delay Declarations

The Journal of Logic Programming
1999English

The Difficulties of Learning Logic Programs With Cut

Journal of Artificial Intelligence Research
Artificial Intelligence
1993English

On the Semantics of Logic Programs With Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy