| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Agostino Dovier, Andrea Formisano 0001, Alberto Policriti |
On T Logic Programming.  |
ILPS  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jacinto A. Dávila |
OPENLOG: A Logic Language to Program Reactive and Rational Agents. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Tobias Müller 0002, Jörg Würtz |
Extending a Concurrent Constraint Language by Propagators. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juliana Freire, David Scott Warren |
Controlling the Search in Tabled Evaluations. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jichang Tan, I-Peng Lin |
Recursive Modes for Precise Analysis of Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Heikki Mannila |
Inductive Databases and Condensed Representations for Data Mining. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yan Zhang 0003, Norman Y. Foo |
Answer Sets for Prioritized Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Edmund M. Clarke |
Temporal Logic Model Checking (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Pawel Pietrzak |
Type Inference for CLP(FD). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Kifer |
Transaction Logic: An Introduction (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa |
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Rob Gerth |
Model Checking (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Benjamin N. Grosof |
Prioritized Conflict Handling for Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Gelfond, Alfredo Gabaldon |
From Functional Specifications to Logic Programms. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andreas Podelski |
Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel |
Specialization of Declarative Programs and Its Applications (Workshop Overview). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Joeri Engelfriet, Heinrich Herre |
Generated Preferred Models and Extensions of Nonmonotonic Systems. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori |
Verification, Model Checking and Abstract Interpretation (Workshop Overview). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Multi-Paradigm Declarative Programming (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Johan Montelius, Peter S. Magnusson |
Using SimICS to Evaluate the Penny System. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gert Smolka |
Constraint Programming in Oz (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Verónica Dahl |
Logic Programming for Processing Natural Language (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sofie Verbaeten, Marc Denecker, Danny De Schreye |
Compositionality of Normal Open Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo |
Programming with Global Analysis (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Thomas W. Reps |
Program Analysis via Graph Reachability. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andy King, Kish Shen, Florence Benoy |
Lower-bound Time-complexity Analysis of Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte 0001 |
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Eneia Todoran, Jerry den Hartog, Erik P. de Vink |
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jan Maluszynski (eds.) |
Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997 |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Narendra Jussien, Patrice Boizumault |
Best-First Search for Property Maintenance in Reactive Constraint Systems. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Mauricio Osorio 0001 |
On Well-Behaved Semantics Suitable for Aggregation. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira |
Logic Programming and Knowledge Representation (LPKR'97). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sergio Greco, Domenico Saccà |
NP Optimization Problems in Datalog. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo |
Constraint Logic Programming with Hereditary Harrop Formulas. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Anthony J. Bonner, Burkhard Freitag, Laura Giordano 0001, Robert A. Kowalski |
Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner 0001, Ulrich Furbach |
Calculi for Disjunctive Logic Programming. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Peter Baumgartner 0001 |
A Rational and Efficient Algorithm for View Deletion in Databases. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Seipel, Jack Minker, Carolina Ruiz |
A Characterization of the Partial Stable Models For Disjunctive Databases. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Helmut Seidl, Christian Fecht |
Disjuntive Completion Is Not "Optimal". |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Tran Cao Son |
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Paul Tarau |
Logic Programming Tools for Advanced Internet Programming (Abstract). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Saumya K. Debray, Pedro López-García 0001, Manuel V. Hermenegildo, Nai-Wei Lin |
Lower Bound Cost Estimation for Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
Objects in Forum. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Bigot, Saumya K. Debray |
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Corin A. Gurr |
Declarative Annotations for Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Philip Wadler |
How to Declare an Imperative. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff, James Harland |
Implementing the Linear Logic Programming Language Lygon. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hasan M. Jamil, Laks V. S. Lakshmanan |
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Francesco Scarcello |
Declarative and Fixpoint Characterizations of Disjunctive Stable Models. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Håkan Millroth |
Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marco Comini, Giorgio Levi, Giuliana Vitiello |
Declarative Diagnosis Revisited. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel |
An Introspective Framework for Paraconsistent Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paul Tarau, Verónica Dahl, Andrew Fall |
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marco Comini, Giorgio Levi, Maria Chiara Meo |
Compositionality in SLD-Derivations and their Abstractions. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam |
Practical Model-Based Static Analysis for Definite Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Bernard Malfon, Gérard Ferrand |
Type Correct programs: A semantic approach. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti |
Correctness of Logic Program Transformations Based on Existential Termination. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Björn Carlson, Mats Carlsson, Sverker Janson |
The implementation of AKL(FD). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | John W. Lloyd (eds.) |
Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995 |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Semantical Properties of Encodings in Logic Programming. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kung-Kiu Lau, Mario Ornaghi |
A Formal Approach to Deductive Synthesis of Constraint Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Thomas C. Conway, Fergus Henderson, Zoltan Somogyi |
Code Generation for Mercury. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Vasco Pedro, Luís Monteiro |
An Approach to Verification in Contextual Logic Programming. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Thomas Lindgren |
Control Flow Analysis of Prolog. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Barbara Messing, Peter v. Stackelberg |
Regular Signed Resolution Applied to Annotated Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Alon Y. Levy, Marie-Christine Rousset |
Combining Rules and Description Logics: An Overview of CARIN. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Man-lai Tse, Wing-hang Wong, Ho-fung Leung |
P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo |
The Challenge of Declarative Programming (Panel Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | David Toman 0001 |
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Bern Martens |
Partial Deduction of the Ground Representation and its Application to Integrity Checking. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | William J. McClay |
Surviving the AI Winter. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Nachum Dershowitz |
Goal Solving as Operational Semantics. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Terrance Swift |
Optimizing Clause Resolution: Beyond Unification Factoring. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | John W. Lloyd |
Integration of Functional and Logic Programming Languages (Panel Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Christoph Brzoska |
Temporal Logic Programming in Dense Time. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Christian Prehofer |
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Alain Hui-Bon-Hoa |
Clause-based proofs for hereditary Harrop formulas. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | James Harland, David J. Pym, Michael Winikoff |
Programming in Lygon: A Brief Overview. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier |
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Didier Bert, Rachid Echahed |
Abstraction of Conditional Term Rewriting Systems. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Roberto Giacobazzi, Francesco Ranzato |
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Uday S. Reddy |
Bridging the gap between logic and functional programming (Panel Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Elena Marchiori, Frank Teusink |
Proving Termination of Logic Programs with Delay Declarations. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jean-Francois Puget, Michel Leconte |
Beyond the Glass Box: Constraints as Objects. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mengchi Liu |
Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | James H. Andrews |
A Paralogical Semantics for the Prolog Cut. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kannan Govindarajan, Bharat Jayaraman, Surya Mantha |
Relaxation in Constraint Logic Languages. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Danny De Schreye, Michael Leuschel, Bern Martens |
Tutorial on Program Specialisation (Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Maurizio Gabbrielli |
Modelling Real-Time in Concurrent Constraint Programming. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yves Bekkers, Paul Tarau |
Monadic Constructs for Logic Programming. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Morten Heine Sørensen, Robert Glück |
An Algorithm of Generalization in Positive Supercompilation. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
Efficient Analysis of Logic Programs with Dynamic Scheduling. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Joxan Jaffar, Michael J. Maher, Gustaf Neumann |
Logic Programming and Object Modelling: A Case Study (Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Antonis C. Kakas |
Logic Programming without Negation as Failure. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gérard Ferrand, Arnaud Lallouet |
A Compositional Proof Method of Partial Correctness for Normal Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský |
Synchronisation in Scc. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Herbert Kuchen |
Implementation Issues for Functional Logic Programming (Tutorial Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Chris Moss |
Logic and Objects (Tutorial Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license