Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ILPS 1997: Port Jefferson, NY, USA
- Jan Maluszynski:
Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997. MIT Press 1997, ISBN 0-262-63180-6
Invited Talks
- Edmund M. Clarke:
Temporal Logic Model Checking (Abstract). ILPS 1997: 3 - Thomas W. Reps:
Program Analysis via Graph Reachability. ILPS 1997: 5-19 - Heikki Mannila:
Inductive Databases and Condensed Representations for Data Mining. ILPS 1997: 21-30
Advanced Tutorials
- Paul Tarau:
Logic Programming Tools for Advanced Internet Programming (Abstract). ILPS 1997: 33-34 - Andreas Podelski:
Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). ILPS 1997: 35-36 - Gert Smolka:
Constraint Programming in Oz (Abstract). ILPS 1997: 37-38 - Rob Gerth:
Model Checking (Abstract). ILPS 1997: 39 - Verónica Dahl:
Logic Programming for Processing Natural Language (Abstract). ILPS 1997: 41-42 - Michael Hanus:
Multi-Paradigm Declarative Programming (Abstract). ILPS 1997: 43-45 - Michael Kifer:
Transaction Logic: An Introduction (Abstract). ILPS 1997: 47-48 - Manuel V. Hermenegildo:
Programming with Global Analysis (Abstract). ILPS 1997: 49-50
Refereed Papers
Semantics
- Puri Arenas-Sánchez, Mario Rodríguez-Artalejo:
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67 - Yan Zhang, Norman Y. Foo:
Answer Sets for Prioritized Logic Programs. ILPS 1997: 69-83 - Joeri Engelfriet, Heinrich Herre:
Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS 1997: 85-99 - Eneia Todoran, Jerry den Hartog, Erik P. de Vink:
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS 1997: 101-115
Implementation
- Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa:
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131 - Johan Montelius, Peter S. Magnusson:
Using SimICS to Evaluate the Penny System. ILPS 1997: 133-147 - Tobias Müller, Jörg Würtz:
Extending a Concurrent Constraint Language by Propagators. ILPS 1997: 149-163
Deductive Databases
- Chandrabose Aravindan, Peter Baumgartner:
A Rational and Efficient Algorithm for View Deletion in Databases. ILPS 1997: 165-179 - Sergio Greco, Domenico Saccà:
NP Optimization Problems in Datalog. ILPS 1997: 181-195
Applications
- Benjamin N. Grosof:
Prioritized Conflict Handling for Logic Programs. ILPS 1997: 197-211 - Stéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart E. Madnick, Michael D. Siegel:
A Procedure for Mediation of Queries to Sources in Disparate Contexts. ILPS 1997: 213-227
Disjunctive Logic Programming
- Peter Baumgartner, Ulrich Furbach:
Calculi for Disjunctive Logic Programming. ILPS 1997: 229-243 - Dietmar Seipel, Jack Minker, Carolina Ruiz:
A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS 1997: 245-259
Analysis
- Andy King, Kish Shen, Florence Benoy:
Lower-bound Time-complexity Analysis of Logic Programs. ILPS 1997: 261-275 - Jichang Tan, I-Peng Lin:
Recursive Modes for Precise Analysis of Logic Programs. ILPS 1997: 277-290 - Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin:
Lower Bound Cost Estimation for Logic Programs. ILPS 1997: 291-305
Constraints
- Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formulas. ILPS 1997: 307-321 - Agostino Dovier, Andrea Formisano, Alberto Policriti:
On T Logic Programming. ILPS 1997: 323-337 - Narendra Jussien, Patrice Boizumault:
Best-First Search for Property Maintenance in Reactive Constraint Systems. ILPS 1997: 339-353
Knowledge Representation and Reasoning
- Michael Gelfond, Alfredo Gabaldon:
From Functional Specifications to Logic Programms. ILPS 1997: 355-369 - Sofie Verbaeten, Marc Denecker, Danny De Schreye:
Compositionality of Normal Open Logic Programs. ILPS 1997: 371-385 - Chitta Baral, Tran Cao Son:
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401
Poster Abstracts
- Jürgen Dix, Mauricio Osorio:
On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405 - Jacinto A. Dávila:
OPENLOG: A Logic Language to Program Reactive and Rational Agents. ILPS 1997: 406 - Pawel Pietrzak:
Type Inference for CLP(FD). ILPS 1997: 407 - Helmut Seidl, Christian Fecht:
Disjuntive Completion Is Not "Optimal". ILPS 1997: 408 - Juliana Freire, David Scott Warren:
Controlling the Search in Tabled Evaluations. ILPS 1997: 409
Post-Conference Workshops
- Michael Leuschel:
Specialization of Declarative Programs and Its Applications (Workshop Overview). ILPS 1997: 413-414 - Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski:
Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS 1997: 415-416 - Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte:
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418 - Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira:
Logic Programming and Knowledge Representation (LPKR'97). ILPS 1997: 419-420 - Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori:
Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS 1997: 421-422
a service of 
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-04-22 20:00 CEST 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:
