default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 32
Volume 32, Number 1, July 1997
- Frédéric Benhamou, William J. Older:
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints. 1-24 - Peter A. Bigot, Saumya K. Debray:
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. 25-47 - Dietmar Seipel, Jack Minker, Carolina Ruiz:
Model Generation and State Generation for Disjunctive Logic Programs. 49-69 - Kim Marriott:
Algebraic and Logical Semantics for CLP Languages with Dynamic Scheduling. 71-84
Volume 32, Number 2, August 1997
- François Fages:
Constructive Negation by Pruning. 85-118 - Anthony J. Bonner:
A Logical Semantics for Hypothetical Rulebases with Deletion. 119-170
Volume 32, Number 3, September 1997
- Peter J. Stuckey, S. Sudarshan:
Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. 171-205 - Stefan Brass, Jürgen Dix:
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. 207-228 - Chiaki Sakama, Hirohisa Seki:
Partial Deduction in Disjunctive Logic Programming. 229-245
- Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
:
Exploiting Goal Independence in the Analysis of Logic Programs. 247-261
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-30 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
