Minimum and Maximum Predicates in Logic Programming

doi 10.1145/113413.113427
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Opaque Predicates, Veiled Sets and Their Logic

Contemporary Mathematics
Mathematics
1999English

Logic Programming

1995English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Modularization and Abstraction in Logic Programming

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
1983English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Foundations for Decision Problems in Separation Logic With General Inductive Predicates

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Global Variables in Logic Programming

1997English

Abduction and Abductive Logic Programming

1994English

Minimum and Maximum Delay Problems in Realtime Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy