The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "JICSLP"( http://dblp.L3S.de/Venues/JICSLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iclp

Publication years (Num. hits)
1992 (59) 1996 (56) 1998 (1)
Publication types (Num. hits)
inproceedings(113) proceedings(3)
Venues (Conferences, Journals, ...)
JICSLP(116)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 116 publication records. Showing 116 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Joxan Jaffar (eds.) Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998 Search on Bibsonomy JICSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Ulrich Neumerkel Interprocedural Register Allocation for the WAM based on Source to Source Transformations. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Kenta Cho 0003, Kazunori Ueda Diagnosing Non-Well-Moded Concurrent Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Anthony J. Bonner, Michael Kifer Concurrency and Communication in Transaction Logic. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Yves Caseau, François Laburthe Cumulative Scheduling with Task Intervals. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Wolfram Burgard, Armin B. Cremers, Dieter Fox, Angelica Maria Kappel, Stefan Lüttringhaus-Kappel Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Chandrabose Aravindan, Peter Baumgartner 0001, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Pawel Cholewinski, Miroslaw Truszczynski Extremal Problems in Logic Programming and Stable Model Computation. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Stefan Lüttringhaus-Kappel, Dirk Schulz 0001 Applications of Efficient Lazy Set Expression (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Naoyuki Tamura, Yukio Kaneda Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Ulrich Zukowski, Burkhard Freitag Adding Flexibility to Query Evaluation for Modularly Stratified Databases. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Liem Ngo Probabilistic Disjunctive Deductive Databases (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Leuschel, Danny De Schreye, D. Andre de Waal A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Ilkka Niemelä, Patrik Simons Efficient Implementation of the Well-founded and Stable Model Semantics. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Lee Naish A Declarative View of Modes. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1H. Lewis Chau Specification of Complex Systems with Definite Clause Grammar (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Jampel, Jean-Marie Jacquet, David R. Gilbert A General Framework for Integrating HCLP and PCSP (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Frédéric Mesnard Inferring Left-terminating Classes of Queries for Constraint Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Jean-Francois Puget Constraint Programming (Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Juliana Freire, Terrance Swift, David Scott Warren Logic Programming and Databases Integrated at Last? (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert Boosting the Interval Narrowing Algorithm. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Representing Priorities in Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Mireille Ducassé, Jacques Noyé Tracing Prolog without a Tracer (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Gilberto Filé, Francesco Ranzato Complementation of Abstract Domains made Easy. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Rolf Schwitter, Norbert E. Fuchs Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Matteo Baldoni, Laura Giordano 0001, Alberto Martelli A Framework for a Modal Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Anthony J. Kusalik, Steven David Prestwich Visualizing Parallel Logic Program Execution for Performance Tuning. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1François Bry A Compositional Semantics for Logic Programs and Deductive Databases. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Philippe Refalo, Pascal Van Hentenryck CLP(Rlin) Revised. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Olivier Ridoux Engineering Transformations of Attributed Grammars in LambdaProlog. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren An Abstract Machine for Computing the Well-Founded Semantics. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco Asserting Lemmas in the Stable Model Semantics. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Thomas H. Kolbe Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Shekhar Pradhan Logic Programs with Contested Information. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1M. R. K. Krishna Rao Completeness Results for Basic Narrowing in Non-Copying Implementations. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Hendrik Decker An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning Unification via Explicit Substitutions: The Case of Higher-Order Patterns. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap Effectiveness of Optimizing Compilation for CLP(R). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Jichang Tan, I-Peng Lin Type Synthesis for Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Sandro Etalle, Frank Teusink A Compositional Semantics for Normal Open Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Andreas Fordan, Ulrich Geske, Alexander Nareyek Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Andreas Hamfelt, Jørgen Fischer Nilsson Declarative Logic Programming with Primitive Recursive Relations on Lists. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Moreno Falaschi, Patrick Hicks, William H. Winsborough Demand Transformation Analysis for Concurrent Constraint Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Sven-Erik Bornscheuer Generating Rational Models (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Thielscher A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Kish Shen Initial Results of the Parallel Implementation of DASWAM. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Dobrohoczki, Anthony J. Kusalik, Eric Neufeld Colour Tagging for Prolog Visualization (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Ulrich Neumerkel GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Enrico Pontelli, Gopal Gupta Dependent And-Parallelism Revisited (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Neng-Fa Zhou A Novel Implementation Method of Delay. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael J. Maher (eds.) Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996 Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan A Thread in Time Saves Tabling Time. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Gerhard Wetzel, Robert A. Kowalski, Francesca Toni PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli A Linear Logic Calculus Objects. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Geraint A. Wiggins Synthesis and Transformation of Logic Programs in the Whelk Proof Development System. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1William J. Mitchell 0001 The Logic of Architecture: Programming the Invention of Physical Artifacts. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Saumya K. Debray, Sampath Kannan, Mukul Paithane Weighted Decision Trees. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1David Gudeman, Koenraad De Bosschere, Saumya K. Debray jc: An Efficient and Portable Sequential Implementation of Janus. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Bern Martens, Danny De Schreye A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1A. S. Troelstra Tutorial on Linear Logic. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Weidong Chen 0005, David Scott Warren A Goal-Oriented Approach to Computing Well Founded Semantics. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Gert Smolka, Ralf Treinen Records for Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Evan Tick Advanced Tutorial: Concurrent Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Michael Hanus On the Completeness of Residuation. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1James Harland On Normal Forms and Equivalence for Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Piero A. Bonatti Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. (long version: JLP 22(2): 91-149 (1995)) Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Michael Gelfond, Vladimir Lifschitz Representing Actions in Extended Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Ta Chen, I. V. Ramakrishnan, R. Ramesh 0001 Multistage Indexing Algorithms for Speeding Prolog Execution. (final version: SP&E 24(12): 1097-1119 (1994)) Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Zhenyu Qian, Kang Wang Higher-Order E-Unification for Arbitrary Theories. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Salvador Abreu, Luís Moniz Pereira, Philippe Codognet Improving Backward Execution in the Andorra Family of Languages. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Bruno Dumant hecking the Soundness of Resolution Schemes. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1William J. Older, John A. Rummell An Incremental Garbage Collector for WAM-Based Prolog. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Joshua S. Hodas Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Ken Satoh, Noboru Iwayama A Query Evaluation Method for Abductive Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Taisuke Sato Meta-Programming through a Truth Predicate. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher Equational Logic Programming Actions, and Change. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Hélène Kirchner, Christophe Ringeissen A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Melvin Fitting Many-Valued Semantics for Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Jean-Marie Jacquet, Luís Monteiro Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1K. Mani Chandy, Carl Kesselman The Derivation of Compositional Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Margarida Mamede, Luís Monteiro A Contraint Logic Programming Scheme for Taxonomic Reasoning. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Michele Bugliesi A Declarative View of Inheritance in Logic Programming. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Nevin Heintze Practical Aspects of Set Based Analysis. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Yann Rouzaud, Lan Nguyen-Phuong Integrating Modes and Subtypes into a Prolog Type-Checker. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo Observational Equivalences for Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Juergen Haas, Bharat Jayaraman Interactive Synthesis of Definite-Clause Grammars. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Andy King, Paul Soper Schedule Analysis of Concurrent Logic programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Jürgen Dix Classifying Semantics of Disjunctive Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira On Logic Program Semantics with Two Kinds of Negation. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello Normal Logic Programs as Open Positive Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Marc Denecker, Danny De Schreye SLDNFA: An Abductive Procedure for Normal Abductive Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Peter A. Bigot, Saumya K. Debray, Kim Marriott Understanding Finiteness Analysis Using Abstract Interpretation. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Ross A. Overbeek Logic Programming and Genetic Sequence Analysis: a Tutorial. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1François Bronsard, T. K. Lakshman, Uday S. Reddy A Framework of Directionality for Proving Termination of Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo Implementing a Lazy Functional Logic Language with Disequality Constraints. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1David B. Kemp, Peter J. Stuckey, Divesh Srivastava Query Restricted Bottom-Up Evaluation of Normal Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Péter Szeredi Exploiting Or-Parallelism in Optimisation Problems. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 116 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license