Jan Maluszynski
Proceedings of the International Symposium on Logic Programming
ILPS, 1997.

@proceedings{ILPS-1997,
	editor        = "Jan Maluszynski",
	isbn          = "0-262-63180-6",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the International Symposium on Logic Programming}",
	year          = 1997,
}

Event page: http://web.archive.org/web/20070209164758/http://www.ida.liu.se/~ilps97/ilpsprog.html

Contents (38 items)

15 ×#logic programming
7 ×#source code
4 ×#analysis
4 ×#constraints
3 ×#database
3 ×#logic
3 ×#programming
2 ×#bound
2 ×#calculus
2 ×#functional

ILPS-1997-Clarke #logic #model checking

Temporal Logic Model Checking (EMC), p. 3.

ILPS-1997-Reps #graph #program analysis #reachability

Program Analysis via Graph Reachability (TWR), pp. 5–19.

ILPS-1997-Mannila #data mining #database #induction #mining

Inductive Databases and Condensed Representations for Data Mining (HM), pp. 21–30.

ILPS-1997-Tarau #internet #logic programming #tool support

Logic Programming Tools for Advanced Internet Programming (PT), pp. 33–34.

ILPS-1997-Podelski #analysis #logic programming #source code

Set-Based Analysis of Logic Programs and Reactive Logic Programs (AP), pp. 35–36.

ILPS-1997-Smolka #constraints #programming

Constraint Programming in Oz (GS), pp. 37–38.

ILPS-1997-Gerth #model checking

Model Checking (RG), p. 39.

ILPS-1997-Dahl #logic programming #natural language

Logic Programming for Processing Natural Language (VD), pp. 41–42.

ILPS-1997-Hanus #declarative #multi #programming

Multi-Paradigm Declarative Programming (MH), pp. 43–45.

ILPS-1997-Kifer #logic #transaction

Transaction Logic: An Introduction (MK), pp. 47–48.

ILPS-1997-Hermenegildo #analysis #programming

Programming with Global Analysis (MVH), pp. 49–50.

ILPS-1997-Arenas-SanchezR #algebra #calculus #functional #lazy evaluation #logic programming #polymorphism

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 53–67.

ILPS-1997-ZhangF #logic programming #set #source code

Answer Sets for Prioritized Logic Programs (YZ, NYF), pp. 69–83.

ILPS-1997-EngelfrietH #modelling

Generated Preferred Models and Extensions of Nonmonotonic Systems (JE, HH), pp. 85–99.

ILPS-1997-TodoranHV #commit #comparative #logic programming #metric #semantics

Comparative Metric Semantics for Commit in OR-Parallel Logic Programming (ET, JdH, EPdV), pp. 101–115.

ILPS-1997-CorreiaSC #orthogonal #parallel

The SBA: Exploiting Orthogonality in AND-OR Parallel Systems (MEC, FMAS, VSC), pp. 117–131.

ILPS-1997-MonteliusM #using

Using SimICS to Evaluate the Penny System (JM, PSM), pp. 133–147.

ILPS-1997-MullerW #concurrent #constraints

Extending a Concurrent Constraint Language by Propagators (TM, JW), pp. 149–163.

ILPS-1997-AravindanB #algorithm #database #performance

A Rational and Efficient Algorithm for View Deletion in Databases (CA, PB), pp. 165–179.

ILPS-1997-GrecoS #datalog #optimisation #problem

NP Optimization Problems in Datalog (SG, DS), pp. 181–195.

ILPS-1997-Grosof #logic programming #source code

Prioritized Conflict Handling for Logic Programs (BNG), pp. 197–211.

ILPS-1997-BressanGLMS #query

A Procedure for Mediation of Queries to Sources in Disparate Contexts (SB, CHG, TL, SEM, MS), pp. 213–227.

ILPS-1997-BaumgartnerF #calculus #logic programming

Calculi for Disjunctive Logic Programming (PB, UF), pp. 229–243.

ILPS-1997-SeipelMR #database #modelling

A Characterization of the Partial Stable Models For Disjunctive Databases (DS, JM, CR), pp. 245–259.

ILPS-1997-KingSB #analysis #bound #logic programming #source code

Lower-bound Time-complexity Analysis of Logic Programs (AK, KS, FB), pp. 261–275.

ILPS-1997-TanL #analysis #logic programming #precise #recursion #source code

Recursive Modes for Precise Analysis of Logic Programs (JT, IPL), pp. 277–290.

ILPS-1997-DebrayLHL #bound #estimation #logic programming #source code

Lower Bound Cost Estimation for Logic Programs (SKD, PLG, MVH, NWL), pp. 291–305.

ILPS-1997-LeachNR #constraints #logic programming

Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.

ILPS-1997-DovierFP #logic programming #on the

On T Logic Programming (AD, AF, AP), pp. 323–337.

ILPS-1997-JussienB #constraints #maintenance

Best-First Search for Property Maintenance in Reactive Constraint Systems (NJ, PB), pp. 339–353.

ILPS-1997-GelfondG #functional #logic programming #specification

From Functional Specifications to Logic Programms (MG, AG), pp. 355–369.

ILPS-1997-VerbaetenDS #composition #logic programming #source code

Compositionality of Normal Open Logic Programs (SV, MD, DDS), pp. 371–385.

ILPS-1997-BaralS #approximate #reasoning

Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information (CB, TCS), pp. 387–401.

ILPS-1997-DixO #on the #semantics

On Well-Behaved Semantics Suitable for Aggregation (JD, MO), p. 405.

ILPS-1997-Davila #logic #named

OPENLOG: A Logic Language to Program Reactive and Rational Agents (JAD), p. 406.

ILPS-1997-Pietrzak #type inference

Type Inference for CLP(FD) (PP), p. 407.

ILPS-1997-SeidlF

Disjuntive Completion Is Not “Optimal” (HS, CF), p. 408.

ILPS-1997-FreireW

Controlling the Search in Tabled Evaluations (JF, DSW), p. 409.