default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iclp/iclp96.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/AravindanBDFNNSS96,
author = {Chandrabose Aravindan and
Peter Baumgartner and
J{\"{u}}rgen Dix and
Ulrich Furbach and
Gerd Neugebauer and
Ilkka Niemel{\"{a}} and
Dorothea Sch{\"{a}}fer and
Frieder Stolzenburg},
editor = {Michael J. Maher},
title = {On Merging Theorem Proving and Logic Programming Paradigms (Poster
Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {546},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278885},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AravindanBDFNNSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaldoniGM96,
author = {Matteo Baldoni and
Laura Giordano and
Alberto Martelli},
editor = {Michael J. Maher},
title = {A Framework for a Modal Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {52--66},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278888},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BaldoniGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BonnerK96,
author = {Anthony J. Bonner and
Michael Kifer},
editor = {Michael J. Maher},
title = {Concurrency and Communication in Transaction Logic},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {142--156},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278930},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BonnerK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bornscheuer96,
author = {Sven{-}Erik Bornscheuer},
editor = {Michael J. Maher},
title = {Generating Rational Models (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {547},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278884},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Bornscheuer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bry96,
author = {Fran{\c{c}}ois Bry},
editor = {Michael J. Maher},
title = {A Compositional Semantics for Logic Programs and Deductive Databases},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {453--467},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278907},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Bry96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BugliesiDML96,
author = {Michele Bugliesi and
Giorgio Delzanno and
Luigi Liquori and
Maurizio Martelli},
editor = {Michael J. Maher},
title = {A Linear Logic Calculus Objects},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {67--81},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278881},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BugliesiDML96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BurgardCFKL96,
author = {Wolfram Burgard and
Armin B. Cremers and
Dieter Fox and
Angelica Maria Kappel and
Stefan L{\"{u}}ttringhaus{-}Kappel},
editor = {Michael J. Maher},
title = {Logic Programming Tools Applied to Fire Detection in Hard-coal Mines
(Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {532},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278901},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BurgardCFKL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaseauL96,
author = {Yves Caseau and
Fran{\c{c}}ois Laburthe},
editor = {Michael J. Maher},
title = {Cumulative Scheduling with Task Intervals},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {363--377},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278914},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CaseauL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Chau96,
author = {H. Lewis Chau},
editor = {Michael J. Maher},
title = {Specification of Complex Systems with Definite Clause Grammar (Poster
Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {544},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278887},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Chau96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChoU96,
author = {Kenta Cho and
Kazunori Ueda},
editor = {Michael J. Maher},
title = {Diagnosing Non-Well-Moded Concurrent Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {215--229},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278925},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChoU96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CholewinskiT96,
author = {Pawel Cholewinski and
Miroslaw Truszczynski},
editor = {Michael J. Maher},
title = {Extremal Problems in Logic Programming and Stable Model Computation},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {408--422},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278911},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CholewinskiT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostantiniLM96,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone and
Giuseppe Magliocco},
editor = {Michael J. Maher},
title = {Asserting Lemmas in the Stable Model Semantics},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {438--452},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278908},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CostantiniLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Decker96,
author = {Hendrik Decker},
editor = {Michael J. Maher},
title = {An Extension of {SLD} by Abduction and Integrity Maintenance for View
Updating in Deductive Databases},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {157--169},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278929},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Decker96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeneckerBDPS96,
author = {Marc Denecker and
Kristof Van Belleghem and
Guy Duchatelet and
Frank Piessens and
Danny De Schreye},
editor = {Michael J. Maher},
title = {A Realistic Experiment in Knowledge Representation in Open Event Calculus:
Protocol Specification},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {170--184},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278928},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DeneckerBDPS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DeransartPBS96,
author = {Pierre Deransart and
Patrick Parot and
Roberto da Silva Bigonha and
Jos{\'{e}} de Siqueira},
editor = {Michael J. Maher},
title = {A Hypertext Based Environment to Write Literate Logic Programs (Poster
Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {540},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278892},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DeransartPBS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DobrohoczkiKN96,
author = {Michael Dobrohoczki and
Anthony J. Kusalik and
Eric Neufeld},
editor = {Michael J. Maher},
title = {Colour Tagging for Prolog Visualization (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {548},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278883},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DobrohoczkiKN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DowekHKP96,
author = {Gilles Dowek and
Th{\'{e}}r{\`{e}}se Hardin and
Claude Kirchner and
Frank Pfenning},
editor = {Michael J. Maher},
title = {Unification via Explicit Substitutions: The Case of Higher-Order Patterns},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {259--273},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278922},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DowekHKP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ducassen96,
author = {Mireille Ducass{\'{e}} and
Jacques Noy{\'{e}}},
editor = {Michael J. Maher},
title = {Tracing Prolog without a Tracer (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {534},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278898},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ducassen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/EtalleT96,
author = {Sandro Etalle and
Frank Teusink},
editor = {Michael J. Maher},
title = {A Compositional Semantics for Normal Open Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {468--482},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278906},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/EtalleT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FalaschiHW96,
author = {Moreno Falaschi and
Patrick Hicks and
William H. Winsborough},
editor = {Michael J. Maher},
title = {Demand Transformation Analysis for Concurrent Constraint Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {333--347},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278916},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FalaschiHW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FileR96,
author = {Gilberto Fil{\'{e}} and
Francesco Ranzato},
editor = {Michael J. Maher},
title = {Complementation of Abstract Domains made Easy},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {348--362},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278915},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FileR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FordanGN96,
author = {Andreas Fordan and
Ulrich Geske and
Alexander Nareyek},
editor = {Michael J. Maher},
title = {Optimizing Constraint-Intensive Problems Using Early Projection (Poster
Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {537},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278895},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FordanGN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FreireSW96,
author = {Juliana Freire and
Terrance Swift and
David Scott Warren},
editor = {Michael J. Maher},
title = {Logic Programming and Databases Integrated at Last? (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {538},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278894},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FreireSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HamfeltN96,
author = {Andreas Hamfelt and
J{\o}rgen Fischer Nilsson},
editor = {Michael J. Maher},
title = {Declarative Logic Programming with Primitive Recursive Relations on
Lists},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {230--243},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278924},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HamfeltN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JampelJG96,
author = {Michael Jampel and
Jean{-}Marie Jacquet and
David R. Gilbert},
editor = {Michael J. Maher},
title = {A General Framework for Integrating {HCLP} and {PCSP} (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {543},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278889},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JampelJG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KellyMMSY96,
author = {Andrew D. Kelly and
Andrew D. Macdonald and
Kim Marriott and
Peter J. Stuckey and
Roland H. C. Yap},
editor = {Michael J. Maher},
title = {Effectiveness of Optimizing Compilation for {CLP(R)}},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {37--51},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278899},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KellyMMSY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Kolbe96,
author = {Thomas H. Kolbe},
editor = {Michael J. Maher},
title = {Recognition of 3D Objects in Aerial Images on Generic Models (Poster
Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {533},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278900},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Kolbe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KusalikP96,
author = {Anthony J. Kusalik and
Steven D. Prestwich},
editor = {Michael J. Maher},
title = {Visualizing Parallel Logic Program Execution for Performance Tuning},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {498--512},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278904},
timestamp = {Mon, 07 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KusalikP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeuschelSW96,
author = {Michael Leuschel and
Danny De Schreye and
D. Andre de Waal},
editor = {Michael J. Maher},
title = {A Conceptual Embedding of Folding into Partial Deduction: Towards
a Maximal Integration},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {319--332},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278917},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LeuschelSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LhommeGRT96,
author = {Olivier Lhomme and
Arnaud Gotlieb and
Michel Rueher and
Patrick Taillibert},
editor = {Michael J. Maher},
title = {Boosting the Interval Narrowing Algorithm},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {378--392},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278913},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LhommeGRT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Luttringhaus-KappelS96,
author = {Stefan L{\"{u}}ttringhaus{-}Kappel and
Dirk Schulz},
editor = {Michael J. Maher},
title = {Applications of Efficient Lazy Set Expression (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {531},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278902},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Luttringhaus-KappelS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Mesnard96,
author = {Fr{\'{e}}d{\'{e}}ric Mesnard},
editor = {Michael J. Maher},
title = {Inferring Left-terminating Classes of Queries for Constraint Logic
Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {7--21},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278921},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Mesnard96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Naish96,
author = {Lee Naish},
editor = {Michael J. Maher},
title = {A Declarative View of Modes},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {185--199},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278927},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Naish96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Neumerkel96,
author = {Ulrich Neumerkel},
editor = {Michael J. Maher},
title = {Interprocedural Register Allocation for the {WAM} based on Source
to Source Transformations},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {127--141},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278931},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Neumerkel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Neumerkel96a,
author = {Ulrich Neumerkel},
editor = {Michael J. Maher},
title = {{GUPU:} {A} Prolog Course Environment and its Programming Methodology
(Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {549},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278882},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Neumerkel96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ngo96,
author = {Liem Ngo},
editor = {Michael J. Maher},
title = {Probabilistic Disjunctive Deductive Databases (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {541},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278891},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ngo96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NiemelaS96,
author = {Ilkka Niemel{\"{a}} and
Patrik Simons},
editor = {Michael J. Maher},
title = {Efficient Implementation of the Well-founded and Stable Model Semantics},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {289--303},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278919},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NiemelaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiPR96,
author = {Alberto Pettorossi and
Maurizio Proietti and
Sophie Renault},
editor = {Michael J. Maher},
title = {How to Extend Partial Deduction to Derive the {KMP} String-Matching
Algorithm from a Naive Specification (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {539},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278893},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PettorossiPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PontelliG96,
author = {Enrico Pontelli and
Gopal Gupta},
editor = {Michael J. Maher},
title = {Dependent And-Parallelism Revisited (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {542},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278890},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PontelliG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Pradhan96,
author = {Shekhar Pradhan},
editor = {Michael J. Maher},
title = {Logic Programs with Contested Information},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {423--437},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278909},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Pradhan96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Puget96,
author = {Jean{-}Francois Puget},
editor = {Michael J. Maher},
title = {Constraint Programming (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {3},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278932},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Puget96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Rao96,
author = {M. R. K. Krishna Rao},
editor = {Michael J. Maher},
title = {Completeness Results for Basic Narrowing in Non-Copying Implementations},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {393--407},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278912},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Rao96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RaoRR96,
author = {Prasad Rao and
C. R. Ramakrishnan and
I. V. Ramakrishnan},
editor = {Michael J. Maher},
title = {A Thread in Time Saves Tabling Time},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {112--126},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278878},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RaoRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RefaloH96,
author = {Philippe Refalo and
Pascal Van Hentenryck},
editor = {Michael J. Maher},
title = {CLP(Rlin) Revised},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {22--36},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278910},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RefaloH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ridoux96,
author = {Olivier Ridoux},
editor = {Michael J. Maher},
title = {Engineering Transformations of Attributed Grammars in LambdaProlog},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {244--258},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278923},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ridoux96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SagonasSW96,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Michael J. Maher},
title = {An Abstract Machine for Computing the Well-Founded Semantics},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {274--288},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278920},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SagonasSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SakamaI96,
author = {Chiaki Sakama and
Katsumi Inoue},
editor = {Michael J. Maher},
title = {Representing Priorities in Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {82--96},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278880},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SakamaI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchwitterF96,
author = {Rolf Schwitter and
Norbert E. Fuchs},
editor = {Michael J. Maher},
title = {Attempto Controlled English {(ACE)} {A} Seemingly Informal Bridgehead
in Formal Territory (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {536},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278896},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchwitterF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Shen96,
author = {Kish Shen},
editor = {Michael J. Maher},
title = {Initial Results of the Parallel Implementation of {DASWAM}},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {513--527},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278903},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Shen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TamuraK96,
author = {Naoyuki Tamura and
Yukio Kaneda},
editor = {Michael J. Maher},
title = {Resource Management Method for a Compiler System of a Linear Logic
Programming Language (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {545},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278886},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/TamuraK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TanL96,
author = {Jichang Tan and
I{-}Peng Lin},
editor = {Michael J. Maher},
title = {Type Synthesis for Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {200--214},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278926},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/TanL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Thielscher96,
author = {Michael Thielscher},
editor = {Michael J. Maher},
title = {A Nonmonotonic Disputation-Based Semantics and Proof Procedure for
Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {483--497},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278905},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Thielscher96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WetzelKT96,
author = {Gerhard Wetzel and
Robert A. Kowalski and
Francesca Toni},
editor = {Michael J. Maher},
title = {{PROCALOG} - Programming with Constraints and Abducibles in Logic
(Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {535},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278897},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WetzelKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Zhou96,
author = {Neng{-}Fa Zhou},
editor = {Michael J. Maher},
title = {A Novel Implementation Method of Delay},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {97--111},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278879},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Zhou96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZukowskiF96,
author = {Ulrich Zukowski and
Burkhard Freitag},
editor = {Michael J. Maher},
title = {Adding Flexibility to Query Evaluation for Modularly Stratified Databases},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {304--318},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278918},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ZukowskiF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1996,
editor = {Michael J. Maher},
title = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515},
isbn = {0-262-63173-3},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-09-22 13:44 CEST from data curated 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:
