## 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)

- 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.

15 ×#logic programming

7 ×#source code

4 ×#analysis

4 ×#constraints

3 ×#database

3 ×#logic

3 ×#programming

2 ×#bound

2 ×#calculus

2 ×#functional

7 ×#source code

4 ×#analysis

4 ×#constraints

3 ×#database

3 ×#logic

3 ×#programming

2 ×#bound

2 ×#calculus

2 ×#functional